-
rl@cse.unsw.edu.au authored
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.
4e4d35bf
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.