git.iko.soy/Idris-dev
on 645da8a help sign in
Idris-dev/test
212 folders, 4 files
../ basic001/make the tests respect the IDRIS env variable basic002/Remove redundant --consolewidth settings in tests basic003/make the tests respect the IDRIS env variable basic004/make the tests respect the IDRIS env variable basic005/make the tests respect the IDRIS env variable basic006/Remove redundant --consolewidth settings in tests basic007/make the tests respect the IDRIS env variable basic008/make the tests respect the IDRIS env variable basic009/Implicit bindings warnings basic010/Fix formatting of some tests basic011/make the tests respect the IDRIS env variable basic012/Normalise type when introducing lambda basic013/make the tests respect the IDRIS env variable basic014/make the tests respect the IDRIS env variable basic015/make the tests respect the IDRIS env variable basic016/Remove redundant --consolewidth settings in tests basic017/Remove redundant --consolewidth settings in tests basic018/Implicit bindings warnings bignum001/make the tests respect the IDRIS env variable bignum002/make the tests respect the IDRIS env variable bounded001/make the tests respect the IDRIS env variable corecords001/make the tests respect the IDRIS env variable corecords002/make the tests respect the IDRIS env variable delab001/make the tests respect the IDRIS env variable directives001/Addition of a Fragile directive. directives002/Added test case directive002 disambig002/Add missing test families in test/README.md docs001/Fix formatting of some tests docs002/Fix formatting of some tests docs003/Fix formatting of some tests docs004/Fix formatting of some tests docs005/Fix formatting of some tests dsl001/Changed the '[static]' annotation to '%static', for uniformity with the rest of the language. dsl002/Merge branch 'master' of github.com:idris-lang/Idris-dev dsl003/make the tests respect the IDRIS env variable dsl004/make the tests respect the IDRIS env variable effects001/Fix formatting of some tests effects002/Fix formatting of some tests effects003/Remove redundant --consolewidth settings in tests effects004/make the tests respect the IDRIS env variable effects005/make the tests respect the IDRIS env variable error001/Store file with constraints + export error002/make the tests respect the IDRIS env variable error003/Remove redundant --consolewidth settings in tests error004/Remove redundant --consolewidth settings in tests error005/Remove redundant --consolewidth settings in tests error006/Remove redundant --consolewidth settings in tests error007/Lazy elaboration tweaks error008/Don't use top level elab for resolveTC ffi001/Fix formatting of some tests ffi002/Fix formatting of some tests ffi003/Fix formatting of some tests ffi004/Fix formatting of some tests ffi005/make the tests respect the IDRIS env variable ffi006/Fix formatting of some tests ffi007/Fix handling of multiple value functions as C callbacks ffi008/Add conversion CPtr to Ptr folding001/make the tests respect the IDRIS env variable idrisdoc001/Fix formatting of some tests idrisdoc002/Fix formatting of some tests idrisdoc003/Fix formatting of some tests idrisdoc004/Fix formatting of some tests idrisdoc005/Fix formatting of some tests idrisdoc006/Fix formatting of some tests idrisdoc007/Fix formatting of some tests idrisdoc008/Fix formatting of some tests idrisdoc009/Change export qualifier keywords interactive001/Fix formatting of some tests interactive002/Fix formatting of some tests interactive003/Fix formatting of some tests interactive004/Fix formatting of some tests interactive005/Fix formatting of some tests interactive006/Fix formatting of some tests interactive007/Fix formatting of some tests interactive008/Fix formatting of some tests interactive009/Fix formatting of some tests interactive010/Fix formatting of some tests interactive011/Fix formatting of some tests interactive012/Fix formatting of some tests interactive013/Fix formatting of some tests interfaces001/Change elaboration of interfaces interfaces002/Remove hole in interfaces002 interfaces003/More control over resolving named implementations interfaces004/Search open instances first interfaces005/More flexibility in constraint arguments interfaces006/Fix a unification bug io001/expanded file modes io002/make the tests respect the IDRIS env variable io003/Add System.Concurrency.Channels literate001/Remove redundant --consolewidth settings in tests meta001/Implement DecEq TTName meta002/Fix formatting of some tests meta003/make the tests respect the IDRIS env variable meta004/make the tests respect the IDRIS env variable pkg001/Extend iPKG files to include metadata. pkg002/make the tests respect the IDRIS env variable pkg003/make the tests respect the IDRIS env variable pkg004/make the tests respect the IDRIS env variable primitives001/make the tests respect the IDRIS env variable primitives002/Fix formatting of some tests primitives003/make the tests respect the IDRIS env variable primitives004-disabled/make the tests respect the IDRIS env variable primitives005/Bump test number. primitives006/Deprecate '%assert_total' proof001/Remove redundant --consolewidth settings in tests proof002/Fix ordering of dependent patterns/implicits proof003/Fix ordering of dependent patterns/implicits proof004/Fix formatting of some tests proof005/Fix formatting of some tests proof006/Fix formatting of some tests proof007/Fix formatting of some tests proof008/Fix formatting of some tests proof009/make the tests respect the IDRIS env variable proof010/make the tests respect the IDRIS env variable proof011/Added more context to the no rewriting error, to include terms being rewritten with proofsearch001/make the tests respect the IDRIS env variable proofsearch002/Some universe constraint fixes proofsearch003/Fix formatting of some tests pruviloj001/Some universe constraint fixes quasiquote001/Store file with constraints + export quasiquote002/make the tests respect the IDRIS env variable quasiquote003/Remove redundant --consolewidth settings in tests quasiquote004/Remove redundant --consolewidth settings in tests quasiquote005/make the tests respect the IDRIS env variable quasiquote006/make the tests respect the IDRIS env variable records001/make the tests respect the IDRIS env variable records002/make the tests respect the IDRIS env variable records003/make the tests respect the IDRIS env variable records004/make the tests respect the IDRIS env variable records005/Record update by function application reg002/Fix formatting of some tests reg003/Fix formatting of some tests reg004/make the tests respect the IDRIS env variable reg005/Added test for unsafePerformIO reg006/Totality checking now looks inside case directly reg007/Fix formatting of some tests reg010/Remove redundant --consolewidth settings in tests reg013/make the tests respect the IDRIS env variable reg016/make the tests respect the IDRIS env variable reg017/Remove redundant --consolewidth settings in tests reg018/Totality checking now looks inside case directly reg020/make the tests respect the IDRIS env variable reg023/Fix formatting of some tests reg024/make the tests respect the IDRIS env variable reg025/make the tests respect the IDRIS env variable reg027/Remove redundant --consolewidth settings in tests reg028/Remove redundant --consolewidth settings in tests reg029/make the tests respect the IDRIS env variable reg031/make the tests respect the IDRIS env variable reg032/make the tests respect the IDRIS env variable reg034/Fix formatting of some tests reg035/Fix formatting of some tests reg039/Fix formatting of some tests reg040/Fix formatting of some tests reg041/Deprecate '%assert_total' reg042/make the tests respect the IDRIS env variable reg044/Fix formatting of some tests reg045/make the tests respect the IDRIS env variable reg048/make the tests respect the IDRIS env variable reg049/Fix formatting of some tests reg050/Fix formatting of some tests reg051-disabled/make the tests respect the IDRIS env variable reg052/make the tests respect the IDRIS env variable reg054/Fix formatting of some tests reg055/Fix formatting of some tests reg056/Some universe constraint fixes reg067/make the tests respect the IDRIS env variable reg068/Implicit bindings warnings reg069/Fix behaviour of %hide reg070/Allow setting function flags on instances reg072/Prettier printing in case splitting reg075/Fix formatting of some tests regression001/Testing Adjustments for Quicker Regression Tests. sourceLocation001/Remove redundant --consolewidth settings in tests sugar001/make the tests respect the IDRIS env variable sugar002/make the tests respect the IDRIS env variable sugar003/make the tests respect the IDRIS env variable sugar004/make the tests respect the IDRIS env variable sugar005/make the tests respect the IDRIS env variable syntax001/Remove redundant --consolewidth settings in tests syntax002/make the tests respect the IDRIS env variable tactics001/Implement DecEq TTName totality001/Remove redundant --consolewidth settings in tests totality002/Remove redundant --consolewidth settings in tests totality003/Fix formatting of some tests totality004/Totality checking now looks inside case directly totality005/make the tests respect the IDRIS env variable totality006/Remove redundant --consolewidth settings in tests totality007/make the tests respect the IDRIS env variable totality008/Remove redundant --consolewidth settings in tests totality009/Fix formatting of some tests totality010/Remove redundant --consolewidth settings in tests totality011/Make coverage checking more conservative totality012/Look under if...then...else in totality checker totality013/Totality checking now looks inside case directly totality014/Small reduction in constraint generation totality015/Deprecate '%assert_total' tutorial001/Fix formatting of some tests tutorial002/Remove redundant --consolewidth settings in tests tutorial003/make the tests respect the IDRIS env variable tutorial004/Remove redundant --consolewidth settings in tests tutorial005/make the tests respect the IDRIS env variable tutorial006/Fix formatting of some tests tutorial007/Fix formatting of some tests unique001/Fix formatting of some tests unique002/Fix formatting of some tests unique003/Fix formatting of some tests universes001/Store file with constraints + export universes002/Small reduction in constraint generation views001/Add Data.Vect.Views views002/Fix views tests on node backend views003/Convention says the function should be 'vList' README.mdDocument the new test infrastructure TestData.hsPort the test infrastructure to Tasty TestRun.hsFix test fail on mac mktest.plFix warning for implicitable names