9 Commits

Author	SHA1	Message	Date
krasimir	2aea03a614	update the testsuite to the latest state of the compiler/interpreter	2010-10-25 11:50:41 +00:00
krasimir	af5f12d672	upgrade the testsuite to work with GHC 6.12	2010-04-30 19:27:53 +00:00
krasimir	a1c70841c1	test case for lazy evaluation in the abstract syntax	2010-02-07 22:22:30 +00:00
krasimir	3b7e39fa4a	bugfix in the PGF typechecker and more test cases	2010-01-29 21:10:14 +00:00
krasimir	502979bef1	use the syntax <x : A> in PGF.Expr for typed expressions. This is consistent with the GF language	2009-09-19 10:16:37 +00:00
krasimir	6c7330131d	more fixes in the testsuite	2009-09-16 12:49:04 +00:00
krasimir	b97d6abb81	hopefully complete and correct typechecker in PGF	2009-09-06 20:31:52 +00:00
krasimir	5abc99b291	added testcases for evaluation with suspension	2009-07-07 11:40:14 +00:00
krasimir	3efb7a671b	added test cases for computation with abstract syntax terms	2009-05-23 21:43:24 +00:00