36 Commits

Author	SHA1	Message	Date
krasimir	7c2bce5779	judgements lindef are now respected by both the parser and the linearizer	2009-12-11 17:39:18 +00:00
krasimir	1c6d0ee306	add test case for typechecking of lincat	2009-11-13 10:28:37 +00:00
krasimir	5b3eef5c1b	update testsuite/runtime/parser/Parse.hs	2009-11-02 16:31:32 +00:00
krasimir	fa187d2c30	update the testsuite	2009-10-28 18:07:49 +00:00
krasimir	52d99546e1	added test cases for cyrcular definitions	2009-10-28 17:59:18 +00:00
krasimir	eae27821a0	update the testsuite	2009-10-03 06:52:14 +00:00
krasimir	2732a7a22e	Implicit arguments in GF. Works only in PGF for now.	2009-10-02 13:25:12 +00:00
krasimir	1dfa67a30a	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	eb139fd705	better error message for the ai command	2009-09-19 10:24:02 +00:00
krasimir	fd63cdaeed	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	34c8d78fed	more fixes in the testsuite	2009-09-16 12:49:04 +00:00
krasimir	886d663a96	another fix in the testsuite	2009-09-16 12:13:11 +00:00
krasimir	5c882f9bf9	fix some tests in the testsuite	2009-09-16 11:20:05 +00:00
krasimir	bfe4ff0d7a	update the compiler testsuite	2009-09-14 16:27:37 +00:00
krasimir	c61fbb4206	added some tests in the testsuite for the compiler	2009-09-14 12:17:57 +00:00
krasimir	352a640e64	the testsuite\runtime\parser test now generates random trees to test the parser with	2009-09-13 15:17:15 +00:00
krasimir	54dbfeef48	hopefully complete and correct typechecker in PGF	2009-09-06 20:31:52 +00:00
krasimir	284f382d7a	the parsing test now evaluates all languages	2009-08-19 22:35:57 +00:00
krasimir	219f19d265	added testcase for pattern matching on runtime variables	2009-07-22 09:53:39 +00:00
krasimir	af41bcd46e	updated the output in testsuite/compiler/check/lins	2009-07-22 09:51:57 +00:00
krasimir	02b22b8b78	added testcases for evaluation with suspension	2009-07-07 11:40:14 +00:00
krasimir	cfdd39574c	added testcase for linearization with HOAS	2009-06-18 17:47:06 +00:00
krasimir	8ae43ac855	split the testsuite to different directories for compiler, runtime and libraries	2009-06-13 13:54:06 +00:00
krasimir	d6092e0ab2	added test cases for computation with abstract syntax terms	2009-05-23 21:43:24 +00:00
krasimir	f9c877eec6	some work on evaluation with abstract expressions in PGF	2009-05-22 18:54:51 +00:00
krasimir	f29bdd762e	fix in testcase testsuite\paraphrase	2009-05-22 22:14:57 +00:00
krasimir	d2f2922102	fix the funpatt testcase	2009-05-22 21:42:21 +00:00
krasimir	f9574dcf77	some more tests for evaluation in the abstract syntax	2009-05-20 20:27:19 +00:00
krasimir	38d5846b44	more friendly error message when renaming patterns	2009-05-20 20:24:15 +00:00
krasimir	baf56d651c	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
krasimir	4e2e2b2535	testcase for parameters with nested records	2009-05-20 16:38:19 +00:00
krasimir	c6dcec2e9c	added testcase for categories with lincat C = {};	2009-05-20 16:27:12 +00:00
krasimir	4a2b219921	added testcases for abstract syntax computation	2009-05-20 15:01:52 +00:00
krasimir	9a3576c1d2	the treebank test for the resource libraries is moved to the testsuite	2009-05-20 14:59:46 +00:00
krasimir	a911f41020	remove the obsolete testsuite/srg directory	2009-05-20 12:39:32 +00:00
krasimir	0cb89b2a77	examples/test is moved to testsuite	2009-05-20 11:25:00 +00:00