patch applied (ghc): Remove GADT refinements, part 1

Wed Feb 27 20:53:51 PST 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Remove GADT refinements, part 1 - A while ago, I changed the type checker to use equality constraints together with implication constraints to track local type refinement due to GADT pattern matching. This patch

[nightly] 27-Feb-2008 build of HEAD on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com)

Build description = HEAD on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com) Build location= /playpen/simonmar/nightly/HEAD Build config file = /home/simonmar/nightly/site/msrc/conf-HEAD-cam-02-unx Nightly build started on cam-02-unx at Wed Feb 27 18:00:01 GMT 2008. checking out

[nightly] 27-Feb-2008 build of STABLE on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com)

Build description = STABLE on i386-unknown-linux (cam-02-unx.europe.corp.microsoft.com) Build location= /playpen/simonmar/nightly/STABLE Build config file = /home/simonmar/nightly/site/msrc/conf-STABLE-cam-02-unx Nightly build started on cam-02-unx at Wed Feb 27 18:10:01 GMT 2008. checki

patch applied (testsuite): Type families: tests for SkolemOccurs loop

Wed Feb 27 16:56:18 PST 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Type families: tests for SkolemOccurs loop - Two tricky tests by Tom Schrijvers and Martin Sulzmann A ./tests/ghc-regress/indexed-types/should_fail/SkolemOccursLoop.hs A ./tests/ghc-regress/indexed-types/should_

patch applied (ghc): Eliminate SkolemOccurs skolems only after checkLoop reached a fixed point

Wed Feb 27 16:19:57 PST 2008 Manuel M T Chakravarty <[EMAIL PROTECTED]> * Eliminate SkolemOccurs skolems only after checkLoop reached a fixed point - See test case indexed-types/should_fail/SkolemOccursLoop, which sends the type checker into an endless loop without this fix M ./compil

patch applied (ghc): Fix Trac #2126: re-order tests (easy)

Wed Feb 27 08:32:02 PST 2008 [EMAIL PROTECTED] * Fix Trac #2126: re-order tests (easy) M ./compiler/typecheck/TcTyClsDecls.lhs -4 +6 ___ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc

patch applied (testsuite): Test Trac 2126

Wed Feb 27 08:33:03 PST 2008 [EMAIL PROTECTED] * Test Trac 2126 A ./tests/ghc-regress/typecheck/should_fail/T2126.hs A ./tests/ghc-regress/typecheck/should_fail/T2126.stderr M ./tests/ghc-regress/typecheck/should_fail/all.T +2 ___ Cvs-ghc

RE: Core Lint = complete typechecker?

It's a bug. It should be the case that if you pass Core Lint you can't segfault. #1496 is an embarrassing flaw, but the only solutions I've thought of so far involve making the system more complicated, so I'm making haste slowly to fix it. The other deliberate loophole is unsafeCoerce which l

Daily report for head

Build results: x86-64 Linux head:lost x86 Windows head: fail (failed bindisttest) x86 Windows head fast:pass pass lost pass pass pass gabor head: pass kahl G5 Gentoo Linux head:pass mnemosyne x86-64 Gentoo head: pass tnaur PPC OSX head 2:

Daily report for stable

Build results: gabor stable:lost kahl G5 Gentoo Linux stable: pass x86 Windows stable: fail (failed stage1) x86 Windows stable fast: pass pass pass pass pass pass x86-64 Linux stable: lost Old unexpected test failures: 1679 1 kahl G5 Gentoo