Re: assertion fail

2008-10-05 Thread Manuel M T Chakravarty
Simon, I'm getting ASSERT failures for these two: Simple16(normal) T2627b(normal) Both line 286 of TcTyFuns. Hmmm, that's TcSimplify.tcSimplifyRestricted's fault. It calls reduceContext twice with the same set of wanteds. If a wanted equality gets solved the first time around, the

assertion fail

2008-10-03 Thread Simon Peyton-Jones
Manuel I'm getting ASSERT failures for these two: Simple16(normal) T2627b(normal) Both line 286 of TcTyFuns. Simon ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc