#10059: :i doesn't work for ~ -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: Other | Test Case: Blocked By: | Blocking: Related Tickets: #10056, #12023 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by RyanGlScott): Then again, it turns out that the `:info` output for `(~~)` is similarly broken: {{{ GHCi, version 8.4.3: http://www.haskell.org/ghc/ :? for help Loaded GHCi configuration from /home/rgscott/.ghci λ> import Data.Type.Equality λ> :i (~~) class ((a :: k0) ~~ (b :: k1)) => (~~) (a :: k0) (b :: k1) -- Defined in ‘GHC.Types’ }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10059#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler