git.iko.soy/Idris-dev
on cf0ef4f help sign in
Idris-dev/test
72 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/Endianness is redundant for Bits8 dsl001/Categorise tests dsl002/Categorise tests effects001/Categorise tests effects002/Categorise tests error001/Categorise tests error002/Categorise tests error003/Categorise tests error004/Categorise tests ffi001/Categorise tests ffi002/Categorise tests ffi003/Categorise tests ffi004/Categorise tests interactive001/Categorise tests io001/Categorise tests io002/Categorise tests io003/Categorise tests literate001/Categorise tests primitives001/Categorise tests primitives002/Categorise tests primitives003/Categorise tests proof001/Categorise tests proof002/Categorise tests proof003/Categorise tests 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/Reset test runscripts to mode 0755 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 sugar001/Categorise tests sugar002/Categorise tests sugar003/Categorise tests totality001/Categorise tests totality002/Categorise tests MakefileDisable buffer tests on non-C backends for now READMECategorise tests mktest.plChange from shebangs with absolute references to using /usr/bin/env runtest.plRun 'diff' on test failure