git.iko.soy/Idris-dev
on ce9fa93 help sign in
Idris-dev/test
23 folders, 4 files
../ reg001/Warn when generating a setter for a record fails ...rather than failing (since it may just not work for dependent records) reg002/Allow forward declaration of data structures To support induction-recursion and mutual data definitions Syntax is as a normal data declaration, but without the 'where' or '=' sections reg003/Add reg003 tests reg004/Fix 'where' lifting bug Make sure functions have unique names when lifted reg005/Normalise LHS before compilation ...otherwise in some situations the forcing optimisation may lead to uncompilable code test001/Infrastructure for passing of parameters to idris during tests test002/Infrastructure for passing of parameters to idris during tests test003/Infrastructure for passing of parameters to idris during tests test004/Infrastructure for passing of parameters to idris during tests test005/Infrastructure for passing of parameters to idris during tests test006/Infrastructure for passing of parameters to idris during tests test007/Infrastructure for passing of parameters to idris during tests test008/Infrastructure for passing of parameters to idris during tests test009/Infrastructure for passing of parameters to idris during tests test010/Infrastructure for passing of parameters to idris during tests test011/Infrastructure for passing of parameters to idris during tests test012/Infrastructure for passing of parameters to idris during tests test013/Infrastructure for passing of parameters to idris during tests test014/Add argument passing to new tests test015/Fully compiles and tests under windows mingw32 test016/Add argument passing to new tests test017/Add argument passing to new tests test018/Add argument passing to new tests MakefileAdded test directory and a single test... READMEAdded raw (non-typesafe) message passing library (System.Concurrency.Raw) mktest.plInfrastructure for passing of parameters to idris during tests runtest.plFully compiles and tests under windows mingw32