- 24 Oct, 2001 1 commit
-
-
sewardj authored
Deez dudes are malclassified. Rm dem.
-
- 22 Oct, 2001 1 commit
-
-
simonpj authored
Add tc140
-
- 17 Oct, 2001 2 commits
- 20 Sep, 2001 1 commit
-
-
simonpj authored
Add tc136
-
- 27 Aug, 2001 1 commit
-
-
simonmar authored
Add test for scoped type variables w/ existential constructors (failed in 5.00 but works in 5.02, reported by Peter Gammie <peteg@cse.unsw.EDU.AU>)
-
- 22 Aug, 2001 1 commit
-
-
simonpj authored
Add tc134
-
- 21 Aug, 2001 1 commit
-
-
simonpj authored
Add tc133
-
- 20 Aug, 2001 1 commit
-
-
simonmar authored
update these tests
-
- 25 Jul, 2001 1 commit
-
-
simonpj authored
Add tc132
-
- 23 Jul, 2001 1 commit
-
-
simonpj authored
Add tc131
-
- 12 Jul, 2001 1 commit
-
-
simonpj authored
Add tc130
-
- 25 Jun, 2001 1 commit
-
-
simonpj authored
Add an implicit-parameter test
-
- 20 Jun, 2001 1 commit
-
-
sewardj authored
Quite a significant number of your typechecker tests are belong to fptools/testsuite.
-