#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
_______________________________________________
ghc-tickets mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-tickets
