[GHC] #7872: :info does not display "forall" for a synonym

[GHC]

#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