git.iko.soy/Idris-dev
on bfacfbc help sign in
Idris-dev/test
179 folders, 4 files
../ basic001/Remove mysterious files in test/basic001 basic002/Address semantic differences in putting things to STDOUT. basic003/Address semantic differences in putting things to STDOUT. basic004/Address semantic differences in putting things to STDOUT. basic005/Address semantic differences in putting things to STDOUT. basic006/Update error messages in tests basic007/Updated changelog basic008/Categorise tests basic009/Update error messages in tests basic010/Don't require expect for tests with timeouts basic011/Library rearrangement done. basic012/Add 'determining parameters' for classes basic013/String in C is now UTF8 encoded bignum001/Added a test for bignums bignum002/added test for divNat optimization bounded001/Port Haskell's Bounded class classes001/Allow type classes to have explicitly-named instance constructors corecords001/Added tests corecords002/Added tests delab001/Make --quiet imply non-verbosity disambig001/Don't include the executable in the output. disambig002/Fix the broken 'Exact' versions of lookups docs001/Make --quiet imply non-verbosity docs002/Make --quiet imply non-verbosity docs003/Make --quiet imply non-verbosity docs004/Fix test bitrot dsl001/Address semantic differences in putting things to STDOUT. dsl002/Reading from a file shouldn't strip \n dsl003/Named lambda,let,pi in dsl block effects001/Remove argument ordering hack in elaborator effects002/Trying a new Effects api effects003/Fix missing check on case in types effects004/Forgot to commit effects004 error001/Richer universe error objects error002/Categorise tests error003/Update error messages in tests error004/Don't totality check PE definitions error005/Update error messages in tests ffi001/Make --quiet imply non-verbosity ffi002/Library rearrangement done. ffi003/Make --quiet imply non-verbosity ffi004/Library rearrangement done. ffi005/Library rearrangement done. ffi006/Don't hardcodee 'cc' as the compiler folding001/Move Fin, Vect and So from prelude to base idrisdoc001/Make --quiet imply non-verbosity idrisdoc002/Make --quiet imply non-verbosity idrisdoc003/Make --quiet imply non-verbosity idrisdoc004/Make --quiet imply non-verbosity idrisdoc005/Make --quiet imply non-verbosity idrisdoc006/Make --quiet imply non-verbosity idrisdoc007/Make --quiet imply non-verbosity idrisdoc008/Make --quiet imply non-verbosity idrisdoc009/Make --quiet imply non-verbosity interactive001/Make --quiet imply non-verbosity interactive002/Make --quiet imply non-verbosity interactive003/Make --quiet imply non-verbosity interactive004/Make --quiet imply non-verbosity interactive005/Fix display of output from :total interactive006/Make --quiet imply non-verbosity interactive007/Make a mechanism for os-dependent output of tests interactive008/Add maximum pretty-printer depth option. io001/Reading from a file shouldn't strip \n io002/Address semantic differences in putting things to STDOUT. io003/Library rearrangement done. literate001/set console width / adjust tests by using --consolewidth to make them work with the curses flag meta001/Add reasonable tests for elaborator reflection meta002/Update error messages in tests primitives001/Address semantic differences in putting things to STDOUT. primitives002/Add test for new float primitive prim__negFloat primitives003/Library rearrangement done. primitives004-disabled/Remove Buffer and BitVector from parser proof001/Move Fin, Vect and So from prelude to base proof002/Update error messages in tests proof003/Address semantic differences in putting things to STDOUT. proof004/Categorise tests proof005/Removed '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up proof006/Removed '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up proof007/Update error messages in tests proof008/"claim" and "unfocus" tactics proof009/Make --quiet imply non-verbosity proof010/Remove argument ordering hack in elaborator quasiquote001/Add showPrec to Show quasiquote002/Move Fin, Vect and So from prelude to base quasiquote003/Update error messages in tests quasiquote004/Update error messages in tests quasiquote005/Raw quasiquote patterns quasiquote006/Update error messages in tests records001/Merged. records002/Changed tests for new record syntax. records003/Merged. reg001/Remove apply from reg001 since it's in the prelude! reg002/Address semantic differences in putting things to STDOUT. reg003/Update error messages in tests reg004/Address semantic differences in putting things to STDOUT. reg005/Move Fin, Vect and So from prelude to base reg006/adjust tests with --consolewidth for use with -f curses reg007/Update error messages in tests reg009/Move Fin, Vect and So from prelude to base reg010/Update error messages in tests reg011/Move Fin, Vect and So from prelude to base reg012/High-level if ... then ... else ... expression reg013/Address semantic differences in putting things to STDOUT. reg014/Move Fin, Vect and So from prelude to base reg015/Reset test runscripts to mode 0755 reg016/Address semantic differences in putting things to STDOUT. reg017/Address semantic differences in putting things to STDOUT. reg018/adjust tests with --consolewidth for use with -f curses reg019/Reset test runscripts to mode 0755 reg020/Move Fin, Vect and So from prelude to base reg021/Reset test runscripts to mode 0755 reg022/Reset test runscripts to mode 0755 reg023/Update error messages in tests reg024/Adjust tests to the changed String show instance reg025/Move Fin, Vect and So from prelude to base reg026/Move Fin, Vect and So from prelude to base reg027/adjust test with --consolewidth for use with -f curses reg028/adjust tests with --consolewidth for use with -f curses reg029/Make reg029 pass on Windows reg030/Fix reg030. reg031/Address semantic differences in putting things to STDOUT. reg032/Categorise tests reg033/Move Fin, Vect and So from prelude to base reg034/Update error messages in tests reg035/Require unique global names in TT reg036/Fix parameter name propagation reg037/Remove PEq reg038/Tweak scoping rules in instance generation reg039/Don't require expect for tests with timeouts reg040/Address semantic differences in putting things to STDOUT. reg041/Make --quiet imply non-verbosity reg042/Address semantic differences in putting things to STDOUT. reg044/Update error messages in tests reg045/Address semantic differences in putting things to STDOUT. reg046/Remove dodgy unification hack reg047/Remove PRefl and all references to it reg048/Library rearrangement done. reg049/Update error messages in tests reg050/Prevent unquotations from being parsed as infix operators reg051-disabled/New language-dependent FFI reg052/Updated changelog reg053/Changed (<$>) to (<*>) reg054/Better partial evaluation of polymorphic HOFs reg055/Update error messages in tests reg056/Remove PRefl and all references to it reg057/Allow class constraints to be named reg058/Scoped implicits fix reg059/Trickiness with implicits in dependent classes reg060/Avoid test clash with upstream reg061/Avoid test clash with upstream reg062/Don't look for the parameters of bound variables. reg063/Fix elaboration of "with ... proof ..." clauses reg064/Fix the broken 'Exact' versions of lookups reg065/Fix dictionary arguments in dependent type class methods sourceLocation001/Better highlighting for data declarations sugar001/Address semantic differences in putting things to STDOUT. sugar002/Categorise tests sugar003/Categorise tests sugar004/Address semantic differences in putting things to STDOUT. sugar005/Address semantic differences in putting things to STDOUT. tactics001/Update indentation in test totality001/adjust tests with --consolewidth for use with -f curses totality002/High-level if ... then ... else ... expression totality003/adjust test totality003 with --consolewidth for use with -f curses totality004/adjust test totality004 with --consolewidth for use with -f curses totality005/Address semantic differences in putting things to STDOUT. totality006/Fix 'impossible' check totality007/Make --quiet imply non-verbosity totality008/adjust test totality008 with --consolewidth for use with -f curses totality009/Fix 'impossible' check tutorial001/Fix regression with data declarations in where tutorial002/Address semantic differences in putting things to STDOUT. tutorial003/Changed (<$>) to (<*>) tutorial004/Removed '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match up tutorial005/Add tests for tutorial examples tutorial006/Update error messages in tests unique001/Change wording in unification errors unique002/Change wording in unification errors unique003/Change wording in unification errors MakefileDisable disambig001 test for js READMEAdded a test for bignums mktest.plChange from shebangs with absolute references to using /usr/bin/env runtest.plMerge pull request #2108 from Heather/sandbox_path