../ reg001/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago reg002/Proper executable and object file creation via maven + need for run_java tests removed14 years ago reg003/Make 'Type' the type of types instead of Sets ...after mailing list discussion14 years ago reg004/Proper executable and object file creation via maven + need for run_java tests removed14 years ago reg005/Proper executable and object file creation via maven + need for run_java tests removed14 years ago reg006/Proper executable and object file creation via maven + need for run_java tests removed14 years ago reg007/Make sure names are not defined more than once Fixes issue #12414 years ago reg008/Changed approach to unification Instead of failing immediately, maintain a list of blocked problems and refine during elaboration.14 years ago reg009/Changed approach to unification Instead of failing immediately, maintain a list of blocked problems and refine during elaboration.14 years ago reg010/Fix error with linearity checking in patterns14 years ago reg011/Be more careful when unifying metavariable applications Otherwise things get solved which shouldn't be. Fixes issue #22714 years ago reg012/Added rewrite ... in ... construct rewrite prf in v rewrites the goal type using prf. It is equivalent to applying replace, without the need to provide a predicate. It works by applying the rewrite tactic with prf before elaborating v.14 years ago reg013/Merge branch 'AddMissingStrLen' of https://github.com/JanBessai/Idris-dev into JanBessai-AddMissingStrLen14 years ago reg014/Improved type-directed name disambiguation14 years ago reg015/Fix eta problem14 years ago reg016/Parsing for Big Integer constants fixed14 years ago reg017/Parser improvement to allow mixing of implicit and non implicit Arguments13 years ago reg018/Look through call graph for mutual recursion when productivity checking Otherwise we might miss non-productive calls, particularly important when using 'with'. Fixes issue #18313 years ago test001/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test002/Fix error in conversion check Fixes issue #18714 years ago test003/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test004/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test005/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test006/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test007/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test008/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test009/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test010/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test011/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test012/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test013/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test014/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test015/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test016/Coinductive types do not get smaller! Fix size change graph builder.13 years ago test017/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test018/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test019/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test020/Improved type-directed name disambiguation14 years ago test021/Proper executable and object file creation via maven + need for run_java tests removed14 years ago test022/Enable alternate names for shared libraries14 years ago test023/Update type providers so that the decision of failure or otherwise is made in IO14 years ago test024/Fixed test14 years ago test025/Proper initialization semantics for raw memory14 years ago test026/Test for simple file-based type providers14 years ago MakefileProper executable and object file creation via maven + need for run_java tests removed14 years ago READMETest for simple file-based type providers14 years ago mktest.plInfrastructure for passing of parameters to idris during tests14 years ago runtest.plInstead of using the installed global idris for tests, pass the PATH to the current compiled one to test and use this13 years ago