git.iko.soy/Idris-dev
on dadfc86 help sign in
Idris-dev/test
161 folders, 4 files
../ basic001/Move Fin, Vect and So from prelude to base 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/set console width / adjust tests by using --consolewidth to make them work with the curses flag basic007/Updated changelog basic008/Categorise tests basic009/set console width / adjust tests by using --consolewidth to make them work with the curses flag basic010/Fixed some tests broken under renaming basic011/Library rearrangement done. basic012/Add 'determining parameters' for classes bounded001/Port Haskell's Bounded class buffer001-disabled/Temporarily disable buffer001 test delab001/Fix Curses whitespace issue with test delab001 docs001/set console width / adjust tests by using --consolewidth to make them work with the curses flag docs002/Library rearrangement done. docs003/Improve display of documenation for named instances dsl001/Address semantic differences in putting things to STDOUT. dsl002/Named lambda,let,pi in dsl block dsl003/Named lambda,let,pi in dsl block effects001/Fix visibility of imported things effects002/Address semantic differences in putting things to STDOUT. effects003/Add missing test file error001/Fix constraint generation/tests error002/Categorise tests error003/set console width / adjust tests by using --consolewidth to make them work with the curses flag error004/set console width / adjust tests by using --consolewidth to make them work with the curses flag error005/set console width / adjust tests by using --consolewidth to make them work with the curses flag ffi001/New language-dependent FFI ffi002/Library rearrangement done. ffi003/Update test to avoid interactive-mode control chars ffi004/Library rearrangement done. ffi005/Library rearrangement done. ffi006/Add test for FFI export (ffi006) folding001/Move Fin, Vect and So from prelude to base folding002/Move Fin, Vect and So from prelude to base idrisdoc001/Namespaces only containing private members is now correctly considered empty idrisdoc002/Removed test backups and converted tests to pure bash scripts idrisdoc003/Removed test backups and converted tests to pure bash scripts idrisdoc004/Fixed typo idrisdoc005/Removed test backups and converted tests to pure bash scripts idrisdoc006/Updated idrisdoc006 to be more throughly idrisdoc007/Made test resistant to differences among command implementations idrisdoc008/Added IdrisDoc test which verifies inclusion of abstract and public namespace members idrisdoc009/Fix Curses craziness in test + missing test file interactive001/Move Fin, Vect and So from prelude to base interactive002/Move Fin, Vect and So from prelude to base interactive003/Move Fin, Vect and So from prelude to base interactive004/Move Fin, Vect and So from prelude to base interactive005/Support type errors in docstrings interactive006/Allow REPL to run on another port (flag --port) interactive007/Library rearrangement done. io001/Remove | annotation, make Force/Delay implicit 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 primitives001/Address semantic differences in putting things to STDOUT. primitives002/Add test for new float primitive prim__negFloat primitives003/Library rearrangement done. primitives004/Added bit vectors to the C backend proof001/Move Fin, Vect and So from prelude to base proof002/set console width / adjust tests by using --consolewidth to make them work with the curses flag 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/set console width / adjust tests by using --consolewidth to make them work with the curses flag proof008/"claim" and "unfocus" tactics proof009/Fix interactive prover quasiquote001/Fix constraint generation/tests quasiquote002/Move Fin, Vect and So from prelude to base quasiquote003/adjust test with --consolewidth for use with -f curses quasiquote004/adjust tests with --consolewidth for use with -f curses quasiquote005/Raw quasiquote patterns records001/Address semantic differences in putting things to STDOUT. records002/Rename record002 test to the correct name! records003/Address semantic differences in putting things to STDOUT. reg001/Remove apply from reg001 since it's in the prelude! reg002/Address semantic differences in putting things to STDOUT. reg003/adjust tests with --consolewidth for use with -f curses 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/adjust tests with --consolewidth for use with -f curses reg009/Move Fin, Vect and So from prelude to base reg010/adjust tests with --consolewidth for use with -f curses reg011/Move Fin, Vect and So from prelude to base reg012/Move Fin, Vect and So from prelude to base 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/adjust tests with --consolewidth for use with -f curses 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/Address semantic differences in putting things to STDOUT. 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/adjust tests with --consolewidth for use with -f curses reg035/adjust tests with --consolewidth for use with -f curses reg036/Fix parameter name propagation reg037/Treat (=) as a special function name. Includes a regression test. reg038/Tweak scoping rules in instance generation reg039/Fix test reg039 and add it to idris.cabal reg040/Address semantic differences in putting things to STDOUT. reg041/Fixed failing regression test due to new syntax extension rules reg042/Address semantic differences in putting things to STDOUT. reg044/adjust tests with --consolewidth for use with -f curses reg045/Address semantic differences in putting things to STDOUT. reg046/Remove dodgy unification hack reg047/Fixed some accidentally wrong renamings. Also, adapted some tests to the new names reg048/Library rearrangement done. reg049/adjust tests with --consolewidth for use with -f curses reg050/Prevent unquotations from being parsed as infix operators reg051-disabled/New language-dependent FFI reg052/Updated changelog reg053/Changed (<$>) to (<*>) reg054/adjust tests with --consolewidth for use with -f curses reg055/adjust tests with --consolewidth for use with -f curses reg056/adjust tests with --consolewidth for use with -f curses 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 sourceLocation001/Address semantic differences in putting things to STDOUT. 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/Allow new-style tactics to declare function signatures totality001/adjust tests with --consolewidth for use with -f curses totality002/adjust test totality002 with --consolewidth for use with -f curses 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/adjust test totality006 with --consolewidth for use with -f curses totality007/adjust test totality007 with --consolewidth for use with -f curses totality008/adjust test totality008 with --consolewidth for use with -f curses 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/adjust test tutorial006 with --consolewidth for use with -f curses unique001/typo in unique001 test corrected unique002/adjust test unique002 with --consolewidth for use with -f curses unique003/adjust test unique003 with --consolewidth for use with -f curses MakefileAdd test for FFI export (ffi006) READMEAdded IdrisDoc tests mktest.plChange from shebangs with absolute references to using /usr/bin/env runtest.plMake tests work with sandboxes