git.iko.soy/Idris-dev
on 4dddfaf help sign in
Idris-dev/test
48 folders, 4 files
../ reg001/rename O into Z reg002/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc reg003/Make 'Type' the type of types instead of Sets ...after mailing list discussion reg004/rename O into Z reg005/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc reg006/rename O into Z reg007/Make sure names are not defined more than once Fixes issue #124 reg008/rename O into Z reg009/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc reg010/rename O into Z reg011/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc 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. reg013/javascript: tests should use node with shebang reg014/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc reg015/Fix eta problem reg016/javascript: tests should use node with shebang reg017/javascript: tests should use node with shebang reg018/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc reg019/Some unification fixes reg020/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc test001/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc test002/Fix error in conversion check Fixes issue #187 test003/javascript: tests should use node with shebang test004/Proper executable and object file creation via maven + need for run_java tests removed test005/rename O into Z test006/rename O into Z test007/rename fmap to map test008/javascript: tests should use node with shebang test009/javascript: tests should use node with shebang test010/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc test011/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc test012/Proper executable and object file creation via maven + need for run_java tests removed test013/javascript: tests should use node with shebang test014/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc test015/rename O into Z test016/rename O into Z test017/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc test018/Proper executable and object file creation via maven + need for run_java tests removed test019/rename O into Z test020/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc test021/adapted expected output of test021 to honor modulo test022/Enable alternate names for shared libraries test023/Update type providers so that the decision of failure or otherwise is made in IO test024/Fixed test test025/Swapped Vect arguments So now nicer to write type class instances for Functor, Applicative, etc test026/Make test026 more robust test027/javascript: tests should use node with shebang test028/javascript: tests should use node with shebang Makefilejavascript: remove duplicate test READMERegression test for StrLen. mktest.plInfrastructure for passing of parameters to idris during tests runtest.plInstead of using the installed global idris for tests, pass the PATH to the current compiled one to test and use this