#3830: weird error message from type qualification mistake
-------------------------------+--------------------------------------------
Reporter: guest | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 6.10.4 | Keywords:
Os: Linux | Testcase:
Architecture: x86_64 (amd64) | Failure: Incorrect warning at compile-time
-------------------------------+--------------------------------------------
{-# LANGUAGE GADTs, RankNTypes #-}
data Parity a where
Odd :: Int -> forall a. Parity (Int,Int,a)
(the "forall a" is in the wrong place) gives the error message
Malformed constructor result type:
forall a :: k_a3Gz. Parity (Int, Int, a)
That k_a3Gz. is a little bit cryptic.
--solrize
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3830>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
