#12560: ‘:info TYPE’ mentions any instance that includes ‘Type’ -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: 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: -------------------------------------+------------------------------------- Unexpected behaviour {{{ $ ghci -ignore-dot-ghci GHCi, version 8.0.1: http://www.haskell.org/ghc/ :? for help Prelude> import GHC.Types Prelude GHC.Types> :i TYPE type role TYPE nominal data TYPE (t1 :: RuntimeRep) -- Defined in ‘GHC.Prim’ }}} Importing `Data.Proxy` gives me some of its instances, {{{ Prelude GHC.Types> import Data.Proxy Prelude GHC.Types Data.Proxy> :i TYPE type role TYPE nominal data TYPE (t1 :: RuntimeRep) -- Defined in ‘GHC.Prim’ instance Monad Proxy -- Defined in ‘Data.Proxy’ instance Functor Proxy -- Defined in ‘Data.Proxy’ instance Applicative Proxy -- Defined in ‘Data.Proxy’ instance Foldable Proxy -- Defined in ‘Data.Foldable’ instance Traversable Proxy -- Defined in ‘Data.Traversable’ Prelude GHC.Types Data.Proxy> }}} because they mention `*` {{{ Prelude GHC.Types Data.Proxy> :set -fprint-explicit-kinds Prelude GHC.Types Data.Proxy> :i TYPE type role TYPE nominal data TYPE (t1 :: RuntimeRep) -- Defined in ‘GHC.Prim’ instance Monad (Proxy *) -- Defined in ‘Data.Proxy’ instance Functor (Proxy *) -- Defined in ‘Data.Proxy’ instance Applicative (Proxy *) -- Defined in ‘Data.Proxy’ instance Foldable (Proxy *) -- Defined in ‘Data.Foldable’ instance Traversable (Proxy *) -- Defined in ‘Data.Traversable’ }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12560 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler