n
| Behalf Of Wolfgang Jeltsch
| Sent: 02 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
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 ::
l do that.
Simon
| >> | -Original 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: GAD
| -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
| 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:
> |
> | --
> | {-# OPTION
ise 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
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 the context
In the pattern: CC
In t
