#7872: :info does not display "forall" for a synonym ----------------------------------------------+----------------------------- Reporter: monoidal | Owner: Type: bug | Status: new Priority: normal | Component: Compiler Version: 7.6.3 | Keywords: Os: Unknown/Multiple | Architecture: Unknown/Multiple Failure: Incorrect warning at compile-time | Blockedby: Blocking: | Related: ----------------------------------------------+----------------------------- Define: {{{ data A = A (forall a. a) type B = forall a. a }}} and in ghci we see: {{{ Prelude> :i A data A = A (forall a. a) -- OK Prelude> :i B type B = a -- "forall" missing }}} This is a minor issue, but since "type B = a" is not valid Haskell I'm reporting it. -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/7872 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler