git.iko.soy/Idris-dev
on bb400de help sign in
Idris-dev/test
221 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/make the tests respect the IDRIS env variable 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/Remove redundant --consolewidth settings in tests interactive011/make the tests respect the IDRIS env variable interactive012/make the tests respect the IDRIS env variable 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/make the tests respect the IDRIS env variable 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/Allow certain CLI options to work when using iPKG files. 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/Remove redundant --consolewidth settings in tests proof003/Merge branch 'feature/deppairparsing' of https://github.com/ahmadsalim/Idris-dev into ahmadsalim-feature/deppairparsing 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/Add missing test file (sorry!) proofsearch001/make the tests respect the IDRIS env variable proofsearch002/Implicit bindings warnings proofsearch003/make the tests respect the IDRIS env variable pruviloj001/Code style improvements in test quasiquote001/make the tests respect the IDRIS env variable 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 reg001/Renamed `DepPair` to DPair 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 reg036/make the tests respect the IDRIS env variable reg037/make the tests respect the IDRIS env variable reg038/make the tests respect the IDRIS env variable 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 reg046/make the tests respect the IDRIS env variable reg047/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 reg053/make the tests respect the IDRIS env variable reg054/Remove redundant --consolewidth settings in tests reg055/Remove redundant --consolewidth settings in tests reg056/Implicit bindings warnings reg057/make the tests respect the IDRIS env variable reg058/make the tests respect the IDRIS env variable reg059/make the tests respect the IDRIS env variable reg060/make the tests respect the IDRIS env variable reg061/make the tests respect the IDRIS env variable reg062/make the tests respect the IDRIS env variable reg063/make the tests respect the IDRIS env variable reg064/Renamed `DepPair` to DPair reg065/make the tests respect the IDRIS env variable reg066/make the tests respect the IDRIS env variable 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 reg071/Better support for mutually defined types reg072/Prettier printing in case splitting 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 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 views001/Add Data.Vect.Views views002/Fix views tests on node backend views003/Convention says the function should be 'vList' MakefileDisable views003 on node READMEAdded a test for bignums mktest.plFix warning for implicitable names runtest.hsOnly use IDRIS if there's actually such an executable