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
Inari Listenmaa
53c3afbd6f
Remove CallStack outputs from gold files
...
Rather, we should not output these, or output them in a nicer way.
2021-06-11 13:55:04 +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
1Regina
67fcf21577
remove testsuite/libraries
2021-06-11 11:43:41 +08:00
Ruslan Khafizov
1740181daf
Enable tests
2020-11-10 19:15:57 +08:00
Andreas Källberg
05903b271c
Fix testsuite compatability with newer Cabal
2020-08-05 18:48:24 +02: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
f5cda1e6a3
testsuite: Use Cabal's new test suite interface
...
* The old way: a user hook in Setup.hs
* The new way: specify it in gf.cabal
* The test suite is now called gf-tests, and it runs testsuite/run.hs.
* You can run it manually with 'runhaskell testsuite/run.hs'. It also runs,
together with rgl-tests, when you do 'cabal test'
* Currently only 9 of 34 tests pass. Many failures have silly causes:
- Error messages that look slightly different
- Same output but in a different order
- Absolute paths in output
2013-12-03 17:13:39 +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
37d0200c7f
added testsuite for the parser
2011-01-10 10:34:09 +00:00
krasimir
5941995c59
fix the computation of abstract expressions in the presence of implicit arguments
2011-01-08 20:55:58 +00:00
krasimir
d465292fde
bugfix in the handling of implicit arguments in the typechecker
2011-01-08 12:55:50 +00:00
krasimir
0c4f5030c7
update the testsuite for the parser to the latest API
2010-12-13 17:53:06 +00:00
krasimir
115b4213d5
operations in the abstract syntax
2010-11-12 19:37:19 +00:00
krasimir
119f7bc78a
update the testsuite. Now we can typecheck more programs than before
2010-10-27 17:58:40 +00:00
krasimir
0ba1daf5eb
when faced with hard unification problem the type checker should just postpone the decision instead of failing immediately. added test case as well
2010-10-25 15:47:33 +00:00
krasimir
2aea03a614
update the testsuite to the latest state of the compiler/interpreter
2010-10-25 11:50:41 +00:00
ramona.enache
b0f7db3270
added script for testing the phrasebooks
2010-05-08 13:49:41 +00:00
krasimir
029fbec8f3
test for bracketedLinearize
2010-05-01 20:54:31 +00:00
krasimir
af5f12d672
upgrade the testsuite to work with GHC 6.12
2010-04-30 19:27:53 +00:00
krasimir
9253ee6010
fix parsing of literals
2010-04-23 20:46:14 +00:00
krasimir
09da1013f9
refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access to the meta store
2010-02-22 15:50:41 +00:00
krasimir
59d640088e
bugfix in PGF.TypeCheck
2010-02-20 18:48:06 +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
a1c70841c1
test case for lazy evaluation in the abstract syntax
2010-02-07 22:22:30 +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
3b7e39fa4a
bugfix in the PGF typechecker and more test cases
2010-01-29 21:10:14 +00:00
krasimir
e5de8ea9fe
update the testsuite
2010-01-29 11:13:31 +00:00
krasimir
f8af5122b5
additional tests for linearizations
2010-01-12 13:18:37 +00:00
krasimir
5276ddab7d
added test grammar for literals in the testsuite
2010-01-04 13:51:36 +00:00
krasimir
5804db9816
judgements lindef are now respected by both the parser and the linearizer
2009-12-11 17:39:18 +00:00
krasimir
129d914002
add test case for typechecking of lincat
2009-11-13 10:28:37 +00:00
krasimir
ea49556395
update testsuite/runtime/parser/Parse.hs
2009-11-02 16:31:32 +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
8e79954861
Implicit arguments in GF. Works only in PGF for now.
2009-10-02 13:25:12 +00:00
krasimir
b1a51f46f5
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
884747508e
better error message for the ai command
2009-09-19 10:24:02 +00:00
krasimir
502979bef1
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
