git.iko.soy/Idris-dev
on bf37049 help sign in
Idris-dev/test
192 folders, 4 files
../ basic001/Remove mysterious files in test/basic001 basic002/Move normalisation of deferred types 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/Display expected type of RHS in error messages basic007/Updated changelog basic008/Categorise tests basic009/Display expected type of RHS in error messages basic010/Consistency of implicit/pattern name binding rules basic011/Library rearrangement done. basic012/Add 'determining parameters' for classes basic013/String in C is now UTF8 encoded basic014/Implement a form of pattern unification basic015/Change "class/instance" keywords basic016/Make cycle test work with Curses Idris bignum001/Added a test for bignums bignum002/added test for divNat optimization bounded001/Port Haskell's Bounded class classes001/Change "class/instance" keywords corecords001/Change "class/instance" keywords corecords002/Added tests delab001/Make --quiet imply non-verbosity disambig002/Fix the broken 'Exact' versions of lookups docs001/Change "class/instance" keywords docs002/Update REPL :doc related tests with totality status docs003/Change "class/instance" keywords docs004/Careful when to show namespaces in :doc dsl001/Consistency of implicit/pattern name binding rules dsl002/Change file operation names dsl003/Changed scoping rules for unbound implicits. dsl004/Better error when no alternative is valid effects001/Improve pruning of alternatives effects002/Trying a new Effects api effects003/Change "class/instance" keywords effects004/Forgot to commit effects004 effects005/Updates and Fixes error001/Richer universe error objects error002/Categorise tests error003/Change "class/instance" keywords error004/Display expected type of RHS in error messages error005/Display expected type of RHS in error messages error006/Fix issue #2666 ("with" patterns accepted outside of "with" block) ffi001/Change library and expected test results for Float -> Double change ffi002/Library rearrangement done. ffi003/Make --quiet imply non-verbosity ffi004/File IO type indicates possibility of failure 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/Change "class/instance" keywords 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/Careful when to show namespaces in :doc interactive001/Better case split when all patterns are impossible interactive002/Make --quiet imply non-verbosity interactive003/Proof search should only use user visible names interactive004/Make --quiet imply non-verbosity interactive005/Test output correction interactive006/Make --quiet imply non-verbosity interactive007/Make a mechanism for os-dependent output of tests interactive008/Add maximum pretty-printer depth option. interactive009/Move resolveTC to ProofSearch.hs interactive010/Fix error messages for interfaces interactive011/Change "class/instance" keywords interactive012/Fix test when Idris is compiled with Curses support io001/Change file operation names io002/Address semantic differences in putting things to STDOUT. io003/Check messages are passed to active VMs literate001/set console width / adjust tests by using --consolewidth to make them work with the curses flag meta001/Make FunDefn and FunClause polymorphic over TT and Raw meta002/Change "class/instance" keywords meta003/Added top-level %runElab support meta004/Handle impossible cases on defineFunction pkg001/Make the pkg tests take the same display options as the other tests. pkg002/Make the pkg tests take the same display options as the other tests. pkg003/test/pkg003: Remove generated executable pkg004/Update pkg004/expected for more specific error message primitives001/Changed scoping rules for unbound implicits. primitives002/Fix primitives002 primitives003/Library rearrangement done. primitives004-disabled/Remove Buffer and BitVector from parser proof001/Update tests for proof deprecation proof002/Display expected type of RHS in error messages proof003/Change "class/instance" keywords proof004/Categorise tests proof005/Consistency of implicit/pattern name binding rules proof006/Consistency of implicit/pattern name binding rules proof007/Display expected type of RHS in error messages proof008/Update tests for proof deprecation proof009/Update tests for proof deprecation proof010/Remove argument ordering hack in elaborator proofsearch001/Change "class/instance" keywords proofsearch002/Add Cast instance for String to Nat proofsearch003/Change "class/instance" keywords pruviloj001/Add andThen and refine to Pruviloj quasiquote001/Update Expected Quasiquote output to reflect changes quasiquote002/Move Fin, Vect and So from prelude to base quasiquote003/Display expected type of RHS in error messages quasiquote004/Display expected type of RHS in error messages quasiquote005/Raw quasiquote patterns quasiquote006/Display expected type of RHS in error messages records001/Merged. records002/Change "class/instance" keywords records003/Merged. records004/Multiple record fields on one line (#2460) reg001/Change "class/instance" keywords reg002/Address semantic differences in putting things to STDOUT. reg003/Update error messages in tests reg004/Address semantic differences in putting things to STDOUT. reg006/Show source location of case block names reg007/Display expected type of RHS in error messages reg010/Update error messages in tests reg013/Address semantic differences in putting things to STDOUT. reg016/Address semantic differences in putting things to STDOUT. reg017/Update tests for proof deprecation reg018/Change "class/instance" keywords reg020/Move Fin, Vect and So from prelude to base reg023/Display expected type of RHS in error messages reg024/Adjust tests to the changed String show instance reg025/Move Fin, Vect and So from prelude to base reg027/Change "class/instance" keywords reg028/Update tests for proof deprecation reg029/Make reg029 pass on Windows reg031/Address semantic differences in putting things to STDOUT. reg032/Categorise tests reg034/Update error messages in tests reg035/Change "class/instance" keywords reg036/Change "class/instance" keywords reg037/Change "class/instance" keywords reg038/Change "class/instance" keywords reg039/Don't require expect for tests with timeouts reg040/Address semantic differences in putting things to STDOUT. reg041/Consistency of implicit/pattern name binding rules reg042/Address semantic differences in putting things to STDOUT. reg044/Display expected type of RHS in error messages reg045/Change "class/instance" keywords reg046/Consistency of implicit/pattern name binding rules reg047/Consistency of implicit/pattern name binding rules reg048/Library rearrangement done. reg049/Display expected type of RHS in error messages 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/Change "class/instance" keywords reg059/Change "class/instance" keywords reg060/Change "class/instance" keywords 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/Change "class/instance" keywords reg066/Fix quasiquotes of Raw bindings reg067/Add a regression test. sourceLocation001/Update tests for proof deprecation sugar001/Change "class/instance" keywords sugar002/Categorise tests sugar003/Categorise tests sugar004/Address semantic differences in putting things to STDOUT. sugar005/Address semantic differences in putting things to STDOUT. syntax001/Display expected type of RHS in error messages syntax002/Change "class/instance" keywords tactics001/Update test for improved reflection API totality001/adjust tests with --consolewidth for use with -f curses totality002/Consistency of implicit/pattern name binding rules totality003/Update tests for proof deprecation totality004/Consistency of implicit/pattern name binding rules totality005/Address semantic differences in putting things to STDOUT. totality006/Fix 'impossible' check totality007/Fix expected result of totality007 on windows totality008/Consistency of implicit/pattern name binding rules totality009/Show source location of case block names totality010/Make test totality010 work when ncurses is enabled tutorial001/Fix regression with data declarations in where tutorial002/Change "class/instance" keywords tutorial003/Change "class/instance" keywords tutorial004/Update tests for proof deprecation tutorial005/Add tests for tutorial examples tutorial006/Better inference for case blocks unique001/Change "class/instance" keywords unique002/Change wording in unification errors unique003/Change wording in unification errors MakefileCollection of times during tests optional. READMEAdded a test for bignums mktest.plChange from shebangs with absolute references to using /usr/bin/env runtest.plCollection of times during tests optional.