#13843: Expand type information collected (:set +c), used by :all-types, :type-at, .. -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: (none) Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.3 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: | -------------------------------------+------------------------------------- Description changed by Iceland_jack: @@ -1,4 +1,4 @@ - When [collecting type information - https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/ghci.html - #ghci-cmd-:set%20+c] (`:set +c`) GHC does not collect type information - from type variables in type synonyms + When + [https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/ghci.html + #ghci-cmd-:set%20+c collecting type information] (`:set +c`) GHC does not + collect type information from type variables in type synonyms New description: When [https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/ghci.html #ghci-cmd-:set%20+c collecting type information] (`:set +c`) GHC does not collect type information from type variables in type synonyms {{{#!hs type Endo a = a -> a }}} data types and families {{{#!hs data List a = Nil | a ::: List a }}} fixity declarations {{{#!hs infixr 5 ::: }}} type class declarations {{{#!hs class A a where getA :: a }}} and type families.. probably other things: the feature appeared one GHC version ago so, has this just not been implemented yet? -- -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/13843#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler