#13842: Is this output from :all-types correct -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- @@ -14,1 +14,1 @@ - λ> :all-types + > :all-types New description: Is this the expected outcome of loading {{{#!hs data B = F | T instance Eq B }}} with [https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/ghci.html #ghci-cmd-:set%20+c :set +c] and then running the `:all-types` command? {{{
:all-types /tmp/test.hs:(3,10)-(3,14): GHC.Classes.Eq Main.B /tmp/test.hs:(3,10)-(3,14): (Main.B -> Main.B -> GHC.Types.Bool) -> GHC.Classes.Eq Main.B /tmp/test.hs:(3,10)-(3,14): (Main.B -> Main.B -> GHC.Types.Bool) -> (Main.B -> Main.B -> GHC.Types.Bool) -> GHC.Classes.Eq Main.B /tmp/test.hs:(3,10)-(3,14): Main.B -> Main.B -> GHC.Types.Bool /tmp/test.hs:(3,10)-(3,14): Main.B -> Main.B -> GHC.Types.Bool }}}
-- Comment (by Iceland_jack): Gives me an `Addr#` {{{
:all-types /tmp/test.hs:(6,10)-(6,15): Main.A [a] /tmp/test.hs:(6,10)-(6,15): [a] -> Main.A [a] /tmp/test.hs:(6,10)-(6,15): [a] /tmp/test.hs:(6,10)-(6,15): [a] /tmp/test.hs:(6,10)-(6,15): GHC.Prim.Addr# -> [a] /tmp/test.hs:(6,10)-(6,15): GHC.Prim.Addr# }}}
from {{{#!hs data List a = Nil | a ::: List a class A a where getA :: a instance A [a] }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13842#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler