patch applied (testsuite): type families: Temporary fail

chak at cse.unsw.edu.au chak at cse.unsw.edu.au
Sat Dec 8 19:56:15 EST 2007

Previous message: patch applied (testsuite): Fixed by removing GADT refinements in favour of equalities
Next message: patch applied (testsuite): gadt: slighly changed error msg with equalities
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Sat Dec  8 03:03:17 PST 2007  Manuel M T Chakravarty <chak at cse.unsw.edu.au>
  * type families: Temporary fail
  - GADT3 fails with equalities instead of GADT refinement due to a known bug

    M ./tests/ghc-regress/indexed-types/should_compile/all.T -1 +1

Previous message: patch applied (testsuite): Fixed by removing GADT refinements in favour of equalities
Next message: patch applied (testsuite): gadt: slighly changed error msg with equalities
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-ghc mailing list