Re: assertion fail
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
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