ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-21 22:17:19 +03:00
Code Issues Projects Releases Wiki Activity
e1e8b95ae4
Idris-dev/test
History
Edwin Brady e1e8b95ae4 New test
2012-01-01 19:59:46 +00:00
..
test001 Generate bytecode so that files don't need to be rechecked every time they're loaded 2011-12-08 23:40:02 +00:00
test002 Don't write .ibc on error; add new test 2011-12-09 07:54:30 +00:00
test003 More in test003; requires latex epic fix 2011-12-17 18:55:58 +00:00
test004 Correct test004 2011-12-16 17:43:08 +00:00
test005 New test 2011-12-21 09:11:49 +00:00
test006 New test 2012-01-01 19:59:46 +00:00
Makefile Added test directory and a single test... 2011-11-17 22:13:33 +01:00
mktest.pl Generate bytecode so that files don't need to be rechecked every time they're loaded 2011-12-08 23:40:02 +00:00
README New test 2012-01-01 19:59:46 +00:00
runtest.pl Added test directory and a single test... 2011-11-17 22:13:33 +01:00

README 

Tests:

001: Well-typed interpreter
002: Universe checking
003: Literate source and string processing
004: File operations
005: Num class resolution [regression]; span & break; ad-hoc overloading
006: Provisional definitions; class resolution in patterns