patch applied (testsuite): Add test for Trac #1128

Simon Peyton Jones simonpj at microsoft.com
Tue Feb 6 11:59:52 EST 2007

Previous message: patch applied (ghc): Check for escape when unifying forall-types
Next message: patch applied (testsuite): Add tests for impredicativity
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Tue Feb  6 08:58:46 PST 2007  simonpj at microsoft.com
  * Add test for Trac #1128

    M ./tests/ghc-regress/typecheck/should_fail/all.T +1
    A ./tests/ghc-regress/typecheck/should_fail/tcfail174.hs
    A ./tests/ghc-regress/typecheck/should_fail/tcfail174.stderr

Previous message: patch applied (ghc): Check for escape when unifying forall-types
Next message: patch applied (testsuite): Add tests for impredicativity
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-ghc mailing list