patch applied (testsuite): Fixed by correcting normalisation of dicts

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

Previous message: patch applied (ghc): Coercions from boxy splitters must be sym'ed in pattern matches
Next message: patch applied (testsuite): Fixed by removing GADT refinements in favour of equalities
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Thu Dec  6 23:19:54 PST 2007  Manuel M T Chakravarty <chak at cse.unsw.edu.au>
  * Fixed by correcting normalisation of dicts

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

Previous message: patch applied (ghc): Coercions from boxy splitters must be sym'ed in pattern matches
Next message: patch applied (testsuite): Fixed by removing GADT refinements in favour of equalities
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Cvs-ghc mailing list