git.iko.soy/Idris-dev
on 76bb5f7 help sign in
Idris-dev/test
208 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/Consistency of implicit/pattern name binding rules 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/Implicit bindings warnings docs001/Remove redundant --consolewidth settings in tests docs002/Remove redundant --consolewidth settings in tests docs003/Remove redundant --consolewidth settings in tests docs004/Remove redundant --consolewidth settings in 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/make the tests respect the IDRIS env variable effects002/make the tests respect the IDRIS env variable 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/make the tests respect the IDRIS env variable ffi002/Remove redundant --consolewidth settings in tests ffi003/make the tests respect the IDRIS env variable ffi004/make the tests respect the IDRIS env variable ffi005/make the tests respect the IDRIS env variable ffi006/make the tests respect the IDRIS env variable 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/make the tests respect the IDRIS env variable idrisdoc002/Change export qualifier keywords idrisdoc003/Change export qualifier keywords idrisdoc004/Change export qualifier keywords idrisdoc005/Change export qualifier keywords idrisdoc006/Change export qualifier keywords idrisdoc007/make the tests respect the IDRIS env variable idrisdoc008/Change export qualifier keywords idrisdoc009/Change export qualifier keywords interactive001/Fix name unification in interactive case split interactive002/Fix bracketing when solving holes interactively interactive003/Revert to old behaviour on expression search interactive004/Fix bracketing when solving holes interactively interactive005/make the tests respect the IDRIS env variable interactive006/make the tests respect the IDRIS env variable interactive007/make the tests respect the IDRIS env variable interactive008/make the tests respect the IDRIS env variable interactive009/Fix bracketing when solving holes interactively interactive010/Store file with constraints + export interactive011/make the tests respect the IDRIS env variable interactive012/Fix ordering of dependent patterns/implicits interactive013/Normalise less when unifying 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 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/Add some Quotable implementations (#3104) 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 primitives002 primitives003/make the tests respect the IDRIS env variable primitives004-disabled/make the tests respect the IDRIS env variable primitives005/Bump test number. primitives006/New implementation of rewrite proof001/Remove redundant --consolewidth settings in tests proof002/Fix ordering of dependent patterns/implicits proof003/Fix ordering of dependent patterns/implicits proof004/make the tests respect the IDRIS env variable proof005/make the tests respect the IDRIS env variable proof006/make the tests respect the IDRIS env variable proof007/Remove redundant --consolewidth settings in tests proof008/Remove redundant --consolewidth settings in 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/make the tests respect the IDRIS env variable 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 reg002/make the tests respect the IDRIS env variable reg003/Remove redundant --consolewidth settings in tests reg004/make the tests respect the IDRIS env variable reg005/Added test for unsafePerformIO reg006/Totality checking now looks inside case directly reg007/Remove redundant --consolewidth settings in 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/Remove redundant --consolewidth settings in 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/Remove redundant --consolewidth settings in tests reg035/Remove redundant --consolewidth settings in tests reg039/Don't require expect for tests with timeouts reg040/make the tests respect the IDRIS env variable reg041/make the tests respect the IDRIS env variable reg042/make the tests respect the IDRIS env variable reg044/Remove redundant --consolewidth settings in tests reg045/make the tests respect the IDRIS env variable reg048/make the tests respect the IDRIS env variable reg049/Remove redundant --consolewidth settings in tests reg050/make the tests respect the IDRIS env variable reg051-disabled/make the tests respect the IDRIS env variable reg052/make the tests respect the IDRIS env variable reg054/Remove redundant --consolewidth settings in tests reg055/Remove redundant --consolewidth settings in 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 ordering of dependent patterns/implicits 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/Remove redundant --consolewidth settings in 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/Totality checking now looks inside case directly totality010/Remove redundant --consolewidth settings in tests totality011/Make coverage checking more conservative totality012/Totality checking now looks inside case directly totality013/Totality checking now looks inside case directly totality014/Store file with constraints + export tutorial001/make the tests respect the IDRIS env variable 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/Don't normalise constructor types tutorial007/Fix up issues relating to changes in Idris. unique001/Remove redundant --consolewidth settings in tests unique002/Remove redundant --consolewidth settings in tests unique003/Remove redundant --consolewidth settings in tests universes001/Store file with constraints + export universes002/Store file with constraints + export views001/Add Data.Vect.Views views002/Fix views tests on node backend views003/Convention says the function should be 'vList' MakefileDisable views003 on node README.mdTesting Adjustments for Quicker Regression Tests. mktest.plFix warning for implicitable names runtest.hsOnly use IDRIS if there's actually such an executable