git.iko.soy/Idris-dev
on 7ebefb3 help sign in
Idris-dev/test
75 folders, 4 files
../ basic001/Categorise tests basic002/Categorise tests basic003/Categorise tests basic004/Categorise tests basic005/Categorise tests basic006/Categorise tests basic007/Categorise tests basic008/Categorise tests basic009/Categorise tests buffer001-disabled/Temporarily disable buffer001 test dsl001/Remove | annotation, make Force/Delay implicit dsl002/Remove | annotation, make Force/Delay implicit effects001/Categorise tests effects002/Categorise tests error001/Categorise tests error002/Categorise tests error003/Categorise tests error004/Categorise tests ffi001/Avoid pollution of test case with ANSI codes ffi002/Test updates for executor and type provider update ffi003/Update test to avoid interactive-mode control chars ffi004/Remove reliance on interactive output from test ffi004 interactive001/Categorise tests interactive002/Improve inference in monadic code io001/Remove | annotation, make Force/Delay implicit io002/Categorise tests io003/Remove | annotation, make Force/Delay implicit literate001/Categorise tests primitives001/Categorise tests primitives002/Categorise tests primitives003/Categorise tests proof001/Categorise tests proof002/Categorise tests proof003/Fix filename case in test run scripts proof004/Categorise tests records001/Categorise tests reg001/Remove apply from reg001 since it's in the prelude! reg002/Reset test runscripts to mode 0755 reg003/Implicit "module Main" added reg004/Reset test runscripts to mode 0755 reg005/Categorise tests reg006/Fix earlier %assert_total propagation reg007/Rewrite error printing to use the pretty-printer reg008/Reset test runscripts to mode 0755 reg009/Reset test runscripts to mode 0755 reg010/Rewrite error printing to use the pretty-printer reg011/Reset test runscripts to mode 0755 reg012/Reset test runscripts to mode 0755 reg013/Reset test runscripts to mode 0755 reg014/Reset test runscripts to mode 0755 reg015/Reset test runscripts to mode 0755 reg016/Reset test runscripts to mode 0755 reg017/Reset test runscripts to mode 0755 reg018/Remove | annotation, make Force/Delay implicit reg019/Reset test runscripts to mode 0755 reg020/Reset test runscripts to mode 0755 reg021/Reset test runscripts to mode 0755 reg022/Reset test runscripts to mode 0755 reg023/Rewrite error printing to use the pretty-printer reg024/Adjust tests to the changed String show instance reg025/Adjust tests to the changed String show instance reg026/Reset test runscripts to mode 0755 reg027/Improve type class overlap check reg028/Update result of reg028 reg029/fixes reg029 to not use set -u (which does not exist on macosx) reg030/Fix bug in 'forget' for well-typed terms reg031/Make reg031 char-sign-indifferent. reg032/Categorise tests reg033/Fix silly name shadowing bug and add new test sugar001/Categorise tests sugar002/Categorise tests sugar003/Categorise tests totality001/Categorise tests totality002/Categorise tests totality003/Add assert_smaller function MakefileFix mistake in test Makefile READMECategorise tests mktest.plChange from shebangs with absolute references to using /usr/bin/env runtest.plAdd assert_smaller function