56 Commits

Author	SHA1	Message	Date
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
ramona.enache	b0f7db3270	added script for testing the phrasebooks	2010-05-08 13:49: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	d09b05ab3f	one more test for cyclic def rules	2010-02-16 20:27:07 +00:00
krasimir	ea85cd1078	one more test for cyclic operations	2010-02-09 18:38:11 +00:00
krasimir	a1c70841c1	test case for lazy evaluation in the abstract syntax	2010-02-07 22:22:30 +00:00
krasimir	c1d2ed1a7b	test case for invalid parameter definition	2010-02-06 20:15:46 +00:00
krasimir	563e65c309	test case for let expression in def rule	2010-02-01 09:18:42 +00:00
krasimir	1cd4a500f5	added tests for literals in the abstract syntax	2010-02-01 08:58:46 +00:00
krasimir	2d3de22b17	added test cases for polymorphic and record types in the abstract syntax	2010-01-31 22:16:35 +00:00
krasimir	3be9ce3240	add test case for abstract types with let bindings	2010-01-31 20:45:48 +00:00
krasimir	3b7e39fa4a	bugfix in the PGF typechecker and more test cases	2010-01-29 21:10:14 +00:00
krasimir	e5de8ea9fe	update the testsuite	2010-01-29 11:13:31 +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	129d914002	add test case for typechecking of lincat	2009-11-13 10:28:37 +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	0fb91bbb2f	added test cases for cyrcular definitions	2009-10-28 17:59:18 +00:00
krasimir	56f979d669	update the testsuite	2009-10-03 06:52:14 +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	9ca8db1cdb	another fix in the testsuite	2009-09-16 12:13:11 +00:00
krasimir	f45e0fe003	fix some tests in the testsuite	2009-09-16 11:20:05 +00:00
krasimir	88a018d6c8	update the compiler testsuite	2009-09-14 16:27:37 +00:00
krasimir	70fea39e2b	added some tests in the testsuite for the compiler	2009-09-14 12:17:57 +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	3473f0d274	added testcase for pattern matching on runtime variables	2009-07-22 09:53:39 +00:00
krasimir	4f21b57a86	updated the output in testsuite/compiler/check/lins	2009-07-22 09:51: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
krasimir	41b263cf6a	some work on evaluation with abstract expressions in PGF	2009-05-22 18:54:51 +00:00
krasimir	7a204376c9	fix in testcase testsuite\paraphrase	2009-05-22 22:14:57 +00:00
krasimir	c520039f1c	fix the funpatt testcase	2009-05-22 21:42:21 +00:00
krasimir	401dfc28d6	some more tests for evaluation in the abstract syntax	2009-05-20 20:27:19 +00:00
krasimir	8f2fb82750	more friendly error message when renaming patterns	2009-05-20 20:24:15 +00:00
krasimir	6de94f5300	fix the generation of warnings in CheckGrammar. They are printed even in quiet mode and the prefix "Warning" is added automatically	2009-05-20 17:05:58 +00:00