krasimir 72529388bf added testsuite for the parser

2011-01-10 10:34:09 +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

added testsuite for the parser

2011-01-10 10:34:09 +00:00

typecheck

fix the computation of abstract expressions in the presence of implicit arguments

2011-01-08 20:55:58 +00:00