krasimir 119f7bc78a update the testsuite. Now we can typecheck more programs than before

2010-10-27 17:58:40 +00:00

..

eval

update the testsuite to the latest state of the compiler/interpreter

2010-10-25 11:50:41 +00:00

linearize

update the testsuite to the latest state of the compiler/interpreter

2010-10-25 11:50:41 +00:00

paraphrase

update the testsuite to the latest state of the compiler/interpreter

2010-10-25 11:50:41 +00:00

parser

fix parsing of literals

2010-04-23 20:46:14 +00:00

typecheck

update the testsuite. Now we can typecheck more programs than before

2010-10-27 17:58:40 +00:00