../ base001/Add support for running tests on OpenBSD, fixes #39649 years ago basic001/make the tests respect the IDRIS env variable11 years ago basic002/Improve error message locations (#4210)9 years ago basic003/make the tests respect the IDRIS env variable11 years ago basic004/make the tests respect the IDRIS env variable11 years ago basic005/make the tests respect the IDRIS env variable11 years ago basic006/Improve error message locations (#4210)9 years ago basic007/make the tests respect the IDRIS env variable11 years ago basic008/Purify Idris of "return"10 years ago basic009/Improve error message locations (#4210)9 years ago basic010/updated the test output10 years ago basic011/since BitsN is unsigned through the definition, unsigned operations like prim__udivB8 and prim__uremB8 should be used rather than the signed ones10 years ago basic012/Normalise type when introducing lambda11 years ago basic013/Fix tests for ASCII characters in RTS (#3767)9 years ago basic014/make the tests respect the IDRIS env variable11 years ago basic015/make the tests respect the IDRIS env variable11 years ago basic016/Remove redundant --consolewidth settings in tests11 years ago basic017/Remove redundant --consolewidth settings in tests11 years ago basic018/Improve error message locations (#4210)9 years ago basic019/Fix enumFromThenTo10 years ago basic020/Expose `@` patterns to where functions (#4057)9 years ago basic021/added c test using modifyIORef'9 years ago basic022/added javascript test for IORef9 years ago basic023/Allow declaring fixity of ticked operators (#4140)9 years ago basic024/Remove backend tests from input file and into source9 years ago basic025/Use native `atan2` function from backend9 years ago bignum001/make the tests respect the IDRIS env variable11 years ago bignum002/Fix generation of bignum literals9 years ago bounded001/make the tests respect the IDRIS env variable11 years ago buffer001/Fix allocation of buffer9 years ago contrib001/Add a test to demonstrate fix of PrettyPrint performance.9 years ago corecords001/make the tests respect the IDRIS env variable11 years ago corecords002/make the tests respect the IDRIS env variable11 years ago delab001/Set "--port none" in tests10 years ago directives001/Improve error message locations (#4210)9 years ago directives002/Improve error message locations (#4210)9 years ago directives003/Pass directives to C backend in given order (#4078)9 years ago disambig002/Add missing test families in test/README.md10 years ago docs001/Set "--port none" in tests10 years ago docs002/Set "--port none" in tests10 years ago docs003/Prelude: implement Functor for `Pair a`10 years ago docs004/Set "--port none" in tests10 years ago docs005/Set "--port none" in tests10 years ago docs006/Print interface constraints as a separate section10 years ago dsl001/Fix name decoration10 years ago dsl002/Hide more features behind %language pragmas10 years ago dsl003/Hide more features behind %language pragmas10 years ago dsl004/Hide more features behind %language pragmas10 years ago effects001/Purify Idris of "return"10 years ago effects002/Purify Idris of "return"10 years ago effects003/Improve error message locations (#4210)9 years ago effects004/make the tests respect the IDRIS env variable11 years ago effects005/make the tests respect the IDRIS env variable11 years ago error001/Store file with constraints + export10 years ago error002/Purify Idris of "return"10 years ago error003/Improve error message locations (#4210)9 years ago error004/Improve error message locations (#4210)9 years ago error005/Improve error message locations (#4210)9 years ago error006/Fix error location for lhs for prefix app clauses9 years ago error007/Improve error message locations (#4210)9 years ago error008/Don't use top level elab for resolveTC11 years ago error009/Fix error message for unsuccessful namespace disambiguation10 years ago ffi001/Set "--port none" in tests10 years ago ffi002/Improve error message locations (#4210)9 years ago ffi003/Set "--port none" in tests10 years ago ffi004/Set "--port none" in tests10 years ago ffi005/Purify Idris of "return"10 years ago ffi006/Purify Idris of "return"10 years ago ffi007/Prefix for pasting in identifiers in C FFI9 years ago ffi008/Make type of `withAlloc` more general9 years ago ffi009/Added test for incorrect FFI C usage.10 years ago ffi010/added a test for javascript ffi passing functions9 years ago ffi011/fixed point free functions, IO returning functions and added a test, all for js interfaces functionality9 years ago folding001/make the tests respect the IDRIS env variable11 years ago idrisdoc001/Fix formatting of some tests10 years ago idrisdoc002/Fix formatting of some tests10 years ago idrisdoc003/Fix formatting of some tests10 years ago idrisdoc004/replace code level class symbol with inferface10 years ago idrisdoc005/Fix formatting of some tests10 years ago idrisdoc006/Fix formatting of some tests10 years ago idrisdoc007/Fix formatting of some tests10 years ago idrisdoc008/Fix formatting of some tests10 years ago idrisdoc009/Set "--port none" in tests10 years ago interactive001/Indentation configuration via command line args.10 years ago interactive002/Set "--port none" in tests10 years ago interactive003/Set "--port none" in tests10 years ago interactive004/Set "--port none" in tests10 years ago interactive005/Set "--port none" in tests10 years ago interactive006/Set "--port none" in tests10 years ago interactive007/Set "--port none" in tests10 years ago interactive008/Set "--port none" in tests10 years ago interactive009/Set "--port none" in tests10 years ago interactive010/Improve error message locations (#4210)9 years ago interactive011/Indentation configuration via command line args.10 years ago interactive012/Set "--port none" in tests10 years ago interactive013/Set "--port none" in tests10 years ago interactive014/Add test for :exec (+ fix for test/README.md)9 years ago interactive015/Add tests for interactively adding a missing clause9 years ago interactive016/Add tests for interactively adding a missing clause9 years ago interactive017/Enable test interactive017.9 years ago interactive018/Improve interactive018.9 years ago interfaces001/Set "--port none" in tests10 years ago interfaces002/Reorganise interface elaboration10 years ago interfaces003/More control over resolving named implementations10 years ago interfaces004/Search open instances first10 years ago interfaces005/Change meaning of 'data' in interfaces10 years ago interfaces006/Purify Idris of "return"10 years ago interfaces007/Deal with interfaces in totality differently10 years ago interfaces008/Improve error message locations (#4210)9 years ago interfaces009/Add CHANGELOG entry and test9 years ago interpret001/Interpreter tests (#3747)10 years ago interpret002/Interpreter tests (#3747)10 years ago io001/Purify Idris of "return"10 years ago io002/Purify Idris of "return"10 years ago io003/prim__vm needs to take a World reference10 years ago layout001/Extract lhs9 years ago literate001/Remove redundant --consolewidth settings in tests11 years ago meta001/Hide more features behind %language pragmas10 years ago meta002/Improve error message locations (#4210)9 years ago meta003/Improve error message locations (#4210)9 years ago meta004/Improve error message locations (#4210)9 years ago pkg001/Introduce a PkgName abstraction to represent package name instead of String9 years ago pkg002/make the tests respect the IDRIS env variable11 years ago pkg003/make the tests respect the IDRIS env variable11 years ago pkg004/Fix test for Windows path separators9 years ago pkg005/Better handling of optional main in package files10 years ago pkg006/Better handling of optional main in package files10 years ago pkg007/Add a test for #339710 years ago pkg008/Updated CHANGELOG and tests.10 years ago prelude001/make lines and unlines agree with Haskell10 years ago primitives001/make the tests respect the IDRIS env variable11 years ago primitives002/Set "--port none" in tests10 years ago primitives003/add test cases verifying new verbatim string behavior9 years ago primitives004-disabled/make the tests respect the IDRIS env variable11 years ago primitives005/Bump test number.11 years ago primitives006/Purify Idris of "return"10 years ago proof001/Improve error message locations (#4210)9 years ago proof002/Improve error message locations (#4210)9 years ago proof003/Improve error message locations (#4210)9 years ago proof004/Fix formatting of some tests10 years ago proof005/Fix formatting of some tests10 years ago proof006/Fix formatting of some tests10 years ago proof007/Improve error message locations (#4210)9 years ago proof008/Improve error message locations (#4210)9 years ago proof009/Fix name decoration10 years ago proof010/Change Instance to implementation (#3404)10 years ago proof011/Improve error message locations (#4210)9 years ago proofsearch001/make the tests respect the IDRIS env variable11 years ago proofsearch002/prim__vm needs to take a World reference10 years ago proofsearch003/Fix formatting of some tests10 years ago pruviloj001/Get rid of warnings in pruviloj test9 years ago quasiquote001/Normalise embedded paths in `normalise`.10 years ago quasiquote002/make the tests respect the IDRIS env variable11 years ago quasiquote003/Improve error message locations (#4210)9 years ago quasiquote004/Improve error message locations (#4210)9 years ago quasiquote005/make the tests respect the IDRIS env variable11 years ago quasiquote006/Improve error message locations (#4210)9 years ago records001/make the tests respect the IDRIS env variable11 years ago records002/make the tests respect the IDRIS env variable11 years ago records003/make the tests respect the IDRIS env variable11 years ago records004/make the tests respect the IDRIS env variable11 years ago records005/Record update by function application10 years ago reg001/Take some more care with forcing10 years ago reg002/Fix formatting of some tests10 years ago reg004/make the tests respect the IDRIS env variable11 years ago reg005/Added test for unsafePerformIO11 years ago reg007/Consolidate reg007 into regression00210 years ago reg013/make the tests respect the IDRIS env variable11 years ago reg016/make the tests respect the IDRIS env variable11 years ago reg017/Improve error message locations (#4210)9 years ago reg020/make the tests respect the IDRIS env variable11 years ago reg024/make the tests respect the IDRIS env variable11 years ago reg025/make the tests respect the IDRIS env variable11 years ago reg027/Improve error message locations (#4210)9 years ago reg029/make the tests respect the IDRIS env variable11 years ago reg031/make the tests respect the IDRIS env variable11 years ago reg032/make the tests respect the IDRIS env variable11 years ago reg039/Fix reg03910 years ago reg040/Purify Idris of "return"10 years ago reg041/Set "--port none" in tests10 years ago reg042/make the tests respect the IDRIS env variable11 years ago reg045/make the tests respect the IDRIS env variable11 years ago reg048/Purify Idris of "return"10 years ago reg051-disabled/make the tests respect the IDRIS env variable11 years ago reg052/Purify Idris of "return"10 years ago reg067/make the tests respect the IDRIS env variable11 years ago reg075/Set "--port none" in tests10 years ago reg076/Add a regression test.10 years ago reg077/Add regression test for #3651.10 years ago regression001/Fix implicits under rewrite10 years ago regression002/Fix error location for lhs for prefix app clauses9 years ago regression003/Merge branch 'master' of github.com:idris-lang/Idris-dev into add_regression_test_js_unexpected_con_as_glob9 years ago scripts/Move `timeout` from `test/bin/` to `test/scripts/`10 years ago sourceLocation001/Improve error message locations (#4210)9 years ago sugar001/make the tests respect the IDRIS env variable11 years ago sugar002/make the tests respect the IDRIS env variable11 years ago sugar003/Purify Idris of "return"10 years ago sugar004/make the tests respect the IDRIS env variable11 years ago sugar005/make the tests respect the IDRIS env variable11 years ago syntax001/Improve error message locations (#4210)9 years ago syntax002/make the tests respect the IDRIS env variable11 years ago tactics001/Hide more features behind %language pragmas10 years ago totality001/Improve error message locations (#4210)9 years ago totality002/Improve error message locations (#4210)9 years ago totality003/Improve error message locations (#4210)9 years ago totality004/Improve error message locations (#4210)9 years ago totality005/make the tests respect the IDRIS env variable11 years ago totality006/Improve error message locations (#4210)9 years ago totality007/Improve error message locations (#4210)9 years ago totality008/Improve error message locations (#4210)9 years ago totality009/Improve error message locations (#4210)9 years ago totality010/Improve error message locations (#4210)9 years ago totality011/Improve error message locations (#4210)9 years ago totality012/Improve error message locations (#4210)9 years ago totality013/Improve error message locations (#4210)9 years ago totality014/Improve error message locations (#4210)9 years ago totality015/Improve error message locations (#4210)9 years ago totality016/Improve error message locations (#4210)9 years ago totality017/Improve error message locations (#4210)9 years ago totality018/Improve error message locations (#4210)9 years ago totality019/Improve error message locations (#4210)9 years ago totality020/Improve error message locations (#4210)9 years ago totality021/Improve error message locations (#4210)9 years ago totality022/Improve error message locations (#4210)9 years ago totality023/Improve error message locations (#4210)9 years ago totality024/Add test for totality checking of partially applied function9 years ago tutorial001/Fix formatting of some tests10 years ago tutorial002/Improve error message locations (#4210)9 years ago tutorial003/make the tests respect the IDRIS env variable11 years ago tutorial004/Improve error message locations (#4210)9 years ago tutorial005/make the tests respect the IDRIS env variable11 years ago tutorial006/Improve error message locations (#4210)9 years ago tutorial007/Fix formatting of some tests10 years ago unique001/Hide more features behind %language pragmas10 years ago unique004/Improve error message locations (#4210)9 years ago universes001/Improve error message locations (#4210)9 years ago universes002/Improve error message locations (#4210)9 years ago views001/Add Data.Vect.Views11 years ago views002/Fix views tests on node backend11 years ago views003/Convention says the function should be 'vList'11 years ago README.mdadded a test for javascript ffi passing functions9 years ago TestData.hsAdd a test to demonstrate fix of PrettyPrint performance.9 years ago TestRun.hsUnused imports9 years ago mktest.plFix warning for implicitable names11 years ago