patch applied (testsuite): TypeFamilies: test for decidable tyfam instances

chak at cse.unsw.edu.au chak at cse.unsw.edu.au
Thu Aug 30 19:24:09 EDT 2007


Thu Aug 30 07:47:24 PDT 2007  Manuel M T Chakravarty <chak at cse.unsw.edu.au>
  * TypeFamilies: test for decidable tyfam instances

    A ./tests/ghc-regress/indexed-types/should_fail/TyFamUndec.hs
    A ./tests/ghc-regress/indexed-types/should_fail/TyFamUndec.stderr
    M ./tests/ghc-regress/indexed-types/should_fail/all.T +1



More information about the Cvs-ghc mailing list