git.iko.soy/Idris-dev
on d1663cc help sign in
Idris-dev/test
59 folders, 4 files
../ reg001/Whitespace cleanup. reg002/Whitespace cleanup. reg003/Whitespace cleanup. reg004/Fix test reg004 ignoring extra arguments reg005/Whitespace cleanup. reg006/Whitespace cleanup. reg007/Whitespace cleanup. reg008/rename O into Z reg009/Whitespace cleanup. reg010/Added column name to source reg011/Whitespace cleanup. reg012/Whitespace cleanup. reg013/javascript: tests should use node with shebang reg014/Whitespace cleanup. reg015/Fix eta problem reg016/Change reg016 to test big int literals properly reg017/javascript: tests should use node with shebang reg018/Whitespace cleanup. reg019/Whitespace cleanup. reg020/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc reg021/Unification fix If f x = g y fails to unify due to f and g failing to unify, record the whole application as failed, otherwise we might accidentally unify x and y. Fixes #409 reg022/Whitespace cleanup. reg023/Added column name to source reg024/Fix ambiguity in test reg025/Normalise pattern types when typechecking reg026/Fix regression with implicits, add a test test001/Whitespace cleanup. test002/Refactoring of parser to Trifecta, documenting and updating some items/fixing some issues. test003/Whitespace cleanup. test004/Whitespace cleanup. test005/rename O into Z test006/rename O into Z test007/Whitespace cleanup. test008/Whitespace cleanup. test009/Whitespace cleanup. test010/Added column name to source test011/Whitespace cleanup. test012/Whitespace cleanup. test013/Whitespace cleanup. test014/Whitespace cleanup. test015/Whitespace cleanup. test016/rename O into Z test017/Whitespace cleanup. test018/Whitespace cleanup. test019/rename O into Z test020/Whitespace cleanup. test021/Whitespace cleanup. test022/Enable alternate names for shared libraries test023/Update type providers so that the decision of failure or otherwise is made in IO test024/Separate IO and PrimIO PrimIO is the internal primitive, IO is the user version which requires an explicit World token to be passed in which programmers have no access to directly. Fixes #185 and fixes #325 test025/Whitespace cleanup. test026/Make test026 more robust test027/javascript: tests should use node with shebang test028/javascript: tests should use node with shebang test029/Whitespace cleanup. test030/Whitespace cleanup. test031/Add parser and tests for parser for error reflection extension test032/Whitespace cleanup. test033/Make test033 work with Java by using nullPtr from prelude instead of c function MakefileTest LLVM codegen on travis to reduce future breakage READMEAdd test documentation mktest.plWhitespace cleanup. runtest.plWhitespace cleanup.