36 Commits

Author	SHA1	Message	Date
Andreas Källberg	ea3cef46b0	Update test to match new error	2023-09-25 12:01:56 +02:00
krangelov	063c517f3c	more tests for variants	2021-09-22 14:11:11 +02:00
Inari Listenmaa	f23031ea1d	Add command ai f to trigger error msg	2021-06-16 12:23:07 +08:00
Inari Listenmaa	c3153134b7	Remove CStr [] which causes error, update gold	2021-06-16 12:19:35 +08:00
1Regina	c416571406	Rectified gold files	2021-06-11 12:14:49 +08:00
1Regina	a1372040b4	Add RGL dependencies - Prelude and Predef	2021-06-11 11:47:03 +08:00
hallgren	dd1b474a22	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	953c6e8fb5	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	6b3ba6d3ba	testsuite: use forward slashes in paths	2013-12-03 16:59:33 +00:00
hallgren	621291a575	Compute.ConcreteNew: add missing case for variant functions ... Also adding a test case in the test suite for this.	2012-12-10 13:25:32 +00:00
hallgren	c8c81f77f7	Adding test case for interaction between record subtyping and record extension	2011-09-19 12:43:14 +00:00
krasimir	115b4213d5	operations in the abstract syntax	2010-11-12 19:37:19 +00:00
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	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	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	e5de8ea9fe	update the testsuite	2010-01-29 11:13:31 +00:00
krasimir	129d914002	add test case for typechecking of lincat	2009-11-13 10:28:37 +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	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	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	9142fcff76	split the testsuite to different directories for compiler, runtime and libraries	2009-06-13 13:54:06 +00:00
krasimir	c520039f1c	fix the funpatt testcase	2009-05-22 21:42:21 +00:00
krasimir	8f2fb82750	more friendly error message when renaming patterns	2009-05-20 20:24:15 +00:00
krasimir	880665ad0f	testcase for parameters with nested records	2009-05-20 16:38:19 +00:00