275f8f37ce
handle pre when it is in the arguments of a Predef function
2021-12-19 10:43:06 +01:00
4ed287a809
bug fix and refactoring in the cc command
2021-12-16 13:14:29 +01:00
38d189f8ef
bugfix for predefined operations
2021-10-21 08:55:22 +02:00
e33d881ce8
finished the partial evaluator
2021-10-07 11:47:51 +02:00
fd6cd382c5
added VGlue to cover the case where we can't precompute the glue
2021-10-05 19:39:24 +02:00
2a2d7269cf
remove the Term(Error) constructor. Better propagation of errors.
2021-10-05 19:31:12 +02:00
3c4e7dd20c
partial evaluation for (+)
2021-10-05 15:37:42 +02:00
6d898fc325
fix the gold standard
2021-10-05 13:24:44 +02:00
26be741dea
most primitives in Predef.gf are now implemented
2021-10-05 11:31:39 +02:00
0fa739e6e3
one more test
2021-09-30 05:18:02 +02:00
0229329d7c
implemented pattern macros
2021-09-29 17:38:53 +02:00
6efb878c43
pattern matching for "x"*
2021-09-29 14:57:18 +02:00
86326d282f
pattern matching on strings
2021-09-29 09:18:52 +02:00
fee186feca
fix table selection with meta variables and lambda variables
2021-09-28 13:49:35 +02:00
f83ea160da
more patterns in the partial evaluator
2021-09-24 19:14:48 +02:00
c5b6432016
implemented tables and parameters
2021-09-24 17:20:25 +02:00
ad9fbdef6f
added test case for parameters
2021-09-24 15:55:59 +02:00
eba37f5b09
fix typo
2021-09-24 15:49:41 +02:00
d294033822
added more tests
2021-09-24 15:43:53 +02:00
886592f345
renamed tests
2021-09-24 15:41:05 +02:00
3dc2af61a6
done with partial evaluation for records and variants
2021-09-24 15:00:34 +02:00
063c517f3c
more tests for variants
2021-09-22 14:11:11 +02:00
f23031ea1d
Add command ai f to trigger error msg
2021-06-16 12:23:07 +08:00
c3153134b7
Remove CStr [] which causes error, update gold
2021-06-16 12:19:35 +08:00
c416571406
Rectified gold files
2021-06-11 12:14:49 +08:00
a1372040b4
Add RGL dependencies - Prelude and Predef
2021-06-11 11:47:03 +08:00
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
krangelov