patch applied (testsuite): Tests for indexed type synonyms

Roman Leshchinskiy rl at cse.unsw.edu.au
Fri Aug 10 00:01:59 EDT 2007


Thu Aug  9 20:44:36 PDT 2007  Roman Leshchinskiy <rl at cse.unsw.edu.au>
  * Tests for indexed type synonyms
  
  The tests expose bugs in an implementation of indexed type families which
  hasn't been pushed to the HEAD yet. They are all marked as expect_fail.

    A ./tests/ghc-regress/indexed-types/should_compile/Class1.hs
    A ./tests/ghc-regress/indexed-types/should_compile/GADT1.hs
    A ./tests/ghc-regress/indexed-types/should_compile/GADT2.hs
    A ./tests/ghc-regress/indexed-types/should_compile/Infix.hs
    M ./tests/ghc-regress/indexed-types/should_compile/all.T +8



More information about the Cvs-ghc mailing list