../ basic001/Categorise tests13 years ago basic002/Another unification fix13 years ago basic003/Categorise tests13 years ago basic004/Categorise tests13 years ago basic005/Categorise tests13 years ago basic006/Categorise tests13 years ago basic007/Categorise tests13 years ago basic008/Categorise tests13 years ago basic009/Categorise tests13 years ago buffer001-disabled/Temporarily disable buffer001 test13 years ago dsl001/Remove | annotation, make Force/Delay implicit13 years ago dsl002/Remove | annotation, make Force/Delay implicit13 years ago effects001/Categorise tests13 years ago effects002/Categorise tests13 years ago error001/Categorise tests13 years ago error002/Categorise tests13 years ago error003/Categorise tests13 years ago error004/Categorise tests13 years ago ffi001/Avoid pollution of test case with ANSI codes13 years ago ffi002/Test updates for executor and type provider update13 years ago ffi003/Update test to avoid interactive-mode control chars13 years ago ffi004/Remove reliance on interactive output from test ffi00413 years ago interactive001/Categorise tests13 years ago interactive002/Improve inference in monadic code13 years ago io001/Remove | annotation, make Force/Delay implicit13 years ago io002/Categorise tests13 years ago io003/Remove | annotation, make Force/Delay implicit13 years ago literate001/Categorise tests13 years ago primitives001/Categorise tests13 years ago primitives002/Categorise tests13 years ago primitives003/Categorise tests13 years ago proof001/Categorise tests13 years ago proof002/Fix parameter propagation13 years ago proof003/Fix filename case in test run scripts13 years ago proof004/Categorise tests13 years ago records001/Categorise tests13 years ago reg001/Remove apply from reg001 since it's in the prelude!13 years ago reg002/Reset test runscripts to mode 075513 years ago reg003/Implicit "module Main" added13 years ago reg004/Reset test runscripts to mode 075513 years ago reg005/Categorise tests13 years ago reg006/Fix earlier %assert_total propagation13 years ago reg007/Rewrite error printing to use the pretty-printer13 years ago reg008/Reset test runscripts to mode 075513 years ago reg009/Reset test runscripts to mode 075513 years ago reg010/Rewrite error printing to use the pretty-printer13 years ago reg011/Reset test runscripts to mode 075513 years ago reg012/Reset test runscripts to mode 075513 years ago reg013/Reset test runscripts to mode 075513 years ago reg014/Reset test runscripts to mode 075513 years ago reg015/Reset test runscripts to mode 075513 years ago reg016/Reset test runscripts to mode 075513 years ago reg017/Reset test runscripts to mode 075513 years ago reg018/Remove | annotation, make Force/Delay implicit13 years ago reg019/Reset test runscripts to mode 075513 years ago reg020/Reset test runscripts to mode 075513 years ago reg021/Reset test runscripts to mode 075513 years ago reg022/Reset test runscripts to mode 075513 years ago reg023/Rewrite error printing to use the pretty-printer13 years ago reg024/Adjust tests to the changed String show instance13 years ago reg025/Unification changes13 years ago reg026/Unification changes13 years ago reg027/Unification changes13 years ago reg028/Update result of reg02813 years ago reg029/fixes reg029 to not use set -u (which does not exist on macosx)13 years ago reg030/Fix bug in 'forget' for well-typed terms13 years ago reg031/Make reg031 char-sign-indifferent.13 years ago reg032/Categorise tests13 years ago reg033/Fix silly name shadowing bug and add new test13 years ago reg034/Add new regression test13 years ago sugar001/Categorise tests13 years ago sugar002/Categorise tests13 years ago sugar003/Categorise tests13 years ago totality001/Categorise tests13 years ago totality002/Categorise tests13 years ago totality003/Add assert_smaller function13 years ago Makefilejavascript: added reg031 to test_js13 years ago READMECategorise tests13 years ago mktest.plChange from shebangs with absolute references to using /usr/bin/env13 years ago runtest.plAdd assert_smaller function13 years ago