#7888: Impredicativity flag needed more often
----------------------------------------------+-----------------------------
Reporter: monoidal | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler (Type
checker)
Version: 7.6.3 | Keywords:
Os: Unknown/Multiple | Architecture:
Unknown/Multiple
Failure: Incorrect warning at compile-time | Blockedby:
Blocking: | Related:
----------------------------------------------+-----------------------------
I don't know if this is a bug or a deliberate change, but HEAD requires
-XImpredicativeTypes for this program while 7.6.3 does not.
{{{
{-# LANGUAGE RankNTypes #-}
f :: (forall a. a) -> b
f = undefined
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/7888>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
ghc-tickets mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/ghc-tickets
