Hello,
I have some code giving me the error message: “GADT pattern match in non-rigid
context for … Tell GHC HQ if you'd like this to unify the context”. I
reduced my code to the following example which still gives this error
message:
data T a b where
C :: T a [b]
f :: (forall
September 2008 12:20
| To: glasgow-haskell-users@haskell.org
| Subject: GADT pattern match in non-rigid context
|
| Hello,
|
| I have some code giving me the error message: “GADT pattern match in non-rigid
| context for … Tell GHC HQ if you'd like this to unify the context”. I
| reduced my code
Message-
| | From: [EMAIL PROTECTED] [mailto:glasgow-haskell-
| [EMAIL PROTECTED] On Behalf Of
| | Neil Mitchell
| | Sent: 17 December 2007 16:23
| | To: glasgow-haskell-users@haskell.org
| | Subject: GADT pattern match in non-rigid context
| |
| | Hi,
| |
| | Upgrading from GHC 6.6
| -Original Message-
| From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of
| Neil Mitchell
| Sent: 17 December 2007 16:23
| To: glasgow-haskell-users@haskell.org
| Subject: GADT pattern match in non-rigid context
|
| Hi,
|
| Upgrading from GHC 6.6 to 6.8 has caused some code to stop working
= []
--
[1 of 1] Compiling Data2( Data2.hs, interpreted )
Data2.hs:12:9:
GADT pattern match in non-rigid context for `CC'
Tell GHC HQ if you'd like this to unify the context
In the pattern: CC
In the definition
CCompany
|
| rewrapCC CC = []
| --
|
| [1 of 1] Compiling Data2( Data2.hs, interpreted )
|
| Data2.hs:12:9:
| GADT pattern match in non-rigid context for `CC'
| Tell GHC HQ if you'd like this to unify
@haskell.org
| Subject: GADT pattern match in non-rigid context
|
| Hi,
|
| Upgrading from GHC 6.6 to 6.8 has caused some code to stop working:
|
| --
| {-# OPTIONS_GHC -fglasgow-exts #-}
|
| module Data2 where
|
| data