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
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
6b3ba6d3ba
testsuite: use forward slashes in paths
2013-12-03 16:59:33 +00:00
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
c8c81f77f7
Adding test case for interaction between record subtyping and record extension
2011-09-19 12:43:14 +00:00
115b4213d5
operations in the abstract syntax
2010-11-12 19:37:19 +00:00
2aea03a614
update the testsuite to the latest state of the compiler/interpreter
2010-10-25 11:50:41 +00:00
af5f12d672
upgrade the testsuite to work with GHC 6.12
2010-04-30 19:27:53 +00:00
d09b05ab3f
one more test for cyclic def rules
2010-02-16 20:27:07 +00:00
ea85cd1078
one more test for cyclic operations
2010-02-09 18:38:11 +00:00
c1d2ed1a7b
test case for invalid parameter definition
2010-02-06 20:15:46 +00:00
563e65c309
test case for let expression in def rule
2010-02-01 09:18:42 +00:00
1cd4a500f5
added tests for literals in the abstract syntax
2010-02-01 08:58:46 +00:00
2d3de22b17
added test cases for polymorphic and record types in the abstract syntax
2010-01-31 22:16:35 +00:00
3be9ce3240
add test case for abstract types with let bindings
2010-01-31 20:45:48 +00:00
e5de8ea9fe
update the testsuite
2010-01-29 11:13:31 +00:00
129d914002
add test case for typechecking of lincat
2009-11-13 10:28:37 +00:00
78355d63ac
update the testsuite
2009-10-28 18:07:49 +00:00
0fb91bbb2f
added test cases for cyrcular definitions
2009-10-28 17:59:18 +00:00
56f979d669
update the testsuite
2009-10-03 06:52:14 +00:00
9ca8db1cdb
another fix in the testsuite
2009-09-16 12:13:11 +00:00
f45e0fe003
fix some tests in the testsuite
2009-09-16 11:20:05 +00:00
88a018d6c8
update the compiler testsuite
2009-09-14 16:27:37 +00:00
70fea39e2b
added some tests in the testsuite for the compiler
2009-09-14 12:17:57 +00:00
3473f0d274
added testcase for pattern matching on runtime variables
2009-07-22 09:53:39 +00:00
4f21b57a86
updated the output in testsuite/compiler/check/lins
2009-07-22 09:51:57 +00:00
9142fcff76
split the testsuite to different directories for compiler, runtime and libraries
2009-06-13 13:54:06 +00:00
c520039f1c
fix the funpatt testcase
2009-05-22 21:42:21 +00:00
8f2fb82750
more friendly error message when renaming patterns
2009-05-20 20:24:15 +00:00
880665ad0f
testcase for parameters with nested records
2009-05-20 16:38:19 +00:00
hallgren