17 Commits

Author	SHA1	Message	Date
hallgren	4e1df7eb59	testsuite: fix test of generate_trees ... There were two differences between the current output and the old gold file: 1. The trees are no longer generated with increasing depth 2. The meaning of the -depth flag has changed: for example, "gt -cat=Nat -depth=1" used to generate only "zero", now you also get "succ zero".	2013-12-10 16:49:40 +00:00
hallgren	4280c885dd	testsuite: reduced the number of failing tests from 25 to 13 ... Some tests may fail on Windows because of \ instead of / in paths.	2013-12-06 16:01:13 +00:00
hallgren	9118f72fda	testsuite: use forward slashes in paths	2013-12-03 16:59:33 +00:00
krasimir	fe1205059b	operations in the abstract syntax	2010-11-12 19:37:19 +00:00
krasimir	2965777003	update the testsuite to the latest state of the compiler/interpreter	2010-10-25 11:50:41 +00:00
krasimir	61a1171811	upgrade the testsuite to work with GHC 6.12	2010-04-30 19:27:53 +00:00
krasimir	ff30de63ce	one more test for cyclic def rules	2010-02-16 20:27:07 +00:00
krasimir	96b1041763	one more test for cyclic operations	2010-02-09 18:38:11 +00:00
krasimir	7588807c1b	test case for invalid parameter definition	2010-02-06 20:15:46 +00:00
krasimir	ed446a4295	update the testsuite	2010-01-29 11:13:31 +00:00
krasimir	1c6d0ee306	add test case for typechecking of lincat	2009-11-13 10:28:37 +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	c61fbb4206	added some tests in the testsuite for the compiler	2009-09-14 12:17: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	8ae43ac855	split the testsuite to different directories for compiler, runtime and libraries	2009-06-13 13:54:06 +00:00