Re: module containing GADTs no longer compiles in ghc 6.8.0

2007-09-28 Thread Ian Lynagh
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

Re: module containing GADTs no longer compiles in ghc 6.8.0

2007-09-27 Thread Daniel Gorín
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

module containing GADTs no longer compiles in ghc 6.8.0

2007-09-26 Thread Daniel Gorín
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