Hi Daniel,
On Thu, Sep 27, 2007 at 07:45:58PM -0300, Daniel Gorín wrote:
After replacing them with case statements everything compiles fine as
long
as I don't turn on -O2 optimizations :(
This boiled-down example illustrates my problem:
Thanks for the testcase! I've trac'ed it
Of Daniel
| Gorín
| Sent: 26 September 2007 17:34
| To: glasgow-haskell-users@haskell.org
| Subject: module containing GADTs no longer compiles in ghc 6.8.0
|
| Hi
|
| I just tried to compile a project of mine that builds fine using ghc
| 6.6.1 and got many errors like this:
|
| src/HyLo
Hi
I just tried to compile a project of mine that builds fine using ghc 6.6.1 and
got many errors like this:
src/HyLo/Formula/NNF.hs:247:48:
GADT pattern match in non-rigid context for `Opaque'
Tell GHC HQ if you'd like this to unify the context
In the pattern: Opaque f'
In