31 Commits

Author	SHA1	Message	Date
krasimir	37d0200c7f	added testsuite for the parser	2011-01-10 10:34:09 +00:00
krasimir	5941995c59	fix the computation of abstract expressions in the presence of implicit arguments	2011-01-08 20:55:58 +00:00
krasimir	d465292fde	bugfix in the handling of implicit arguments in the typechecker	2011-01-08 12:55:50 +00:00
krasimir	0c4f5030c7	update the testsuite for the parser to the latest API	2010-12-13 17:53:06 +00:00
krasimir	119f7bc78a	update the testsuite. Now we can typecheck more programs than before	2010-10-27 17:58:40 +00:00
krasimir	0ba1daf5eb	when faced with hard unification problem the type checker should just postpone the decision instead of failing immediately. added test case as well	2010-10-25 15:47:33 +00:00
krasimir	2aea03a614	update the testsuite to the latest state of the compiler/interpreter	2010-10-25 11:50:41 +00:00
krasimir	029fbec8f3	test for bracketedLinearize	2010-05-01 20:54:31 +00:00
krasimir	af5f12d672	upgrade the testsuite to work with GHC 6.12	2010-04-30 19:27:53 +00:00
krasimir	9253ee6010	fix parsing of literals	2010-04-23 20:46:14 +00:00
krasimir	09da1013f9	refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access to the meta store	2010-02-22 15:50:41 +00:00
krasimir	59d640088e	bugfix in PGF.TypeCheck	2010-02-20 18:48:06 +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	f8af5122b5	additional tests for linearizations	2010-01-12 13:18:37 +00:00
krasimir	5276ddab7d	added test grammar for literals in the testsuite	2010-01-04 13:51:36 +00:00
krasimir	5804db9816	judgements lindef are now respected by both the parser and the linearizer	2009-12-11 17:39:18 +00:00
krasimir	ea49556395	update testsuite/runtime/parser/Parse.hs	2009-11-02 16:31:32 +00:00
krasimir	78355d63ac	update the testsuite	2009-10-28 18:07:49 +00:00
krasimir	8e79954861	Implicit arguments in GF. Works only in PGF for now.	2009-10-02 13:25:12 +00:00
krasimir	b1a51f46f5	change the data types and the syntax in PGF to match the new syntax for implict arguments	2009-09-20 11:43:41 +00:00
krasimir	884747508e	better error message for the ai command	2009-09-19 10:24:02 +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	4111438979	the testsuite\runtime\parser test now generates random trees to test the parser with	2009-09-13 15:17:15 +00:00
krasimir	b97d6abb81	hopefully complete and correct typechecker in PGF	2009-09-06 20:31:52 +00:00
krasimir	a73273895d	the parsing test now evaluates all languages	2009-08-19 22:35:57 +00:00
krasimir	5abc99b291	added testcases for evaluation with suspension	2009-07-07 11:40:14 +00:00
krasimir	eeb08bbd4d	added testcase for linearization with HOAS	2009-06-18 17:47:06 +00:00
krasimir	9142fcff76	split the testsuite to different directories for compiler, runtime and libraries	2009-06-13 13:54:06 +00:00
krasimir	3efb7a671b	added test cases for computation with abstract syntax terms	2009-05-23 21:43:24 +00:00