#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 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- 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 }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13842 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler