krangelov
063c517f3c
more tests for variants
2021-09-22 14:11:11 +02:00
Inari Listenmaa
4e8859aa75
Merge pull request #118 from GrammaticalFramework/canonical
...
Fixes to canonical compilation
2021-07-06 09:16:52 +02:00
John J. Camilleri
a27b07542d
Add run-on-grammar canonical test script
2021-07-01 14:05:30 +02:00
John J. Camilleri
78b73fba20
Make cleanupRecordFields also recurse into variants
...
It's possible that more constructors need to be handled
2021-07-01 13:53:33 +02:00
John J. Camilleri
e5a2aed5b6
Remove record fields not in lincat
...
Fixes #100 , #101
2021-07-01 11:47:14 +02:00
John J. Camilleri
32be75ca7d
Reduce Phrasebook grammars in testsuite/canonical to bare minimum
2021-07-01 09:22:57 +02:00
John J. Camilleri
587004f985
Sort record fields in lin definitions
...
Fixes #102
2021-06-30 14:14:54 +02:00
John J. Camilleri
4436cb101e
Move testsuite/compiler/canonical on level up, update test script
2021-06-30 13:47:15 +02:00
John J. Camilleri
0f5be0bbaa
Add shell script in testsuite/compiler/canonical for replicating known issues
...
Ideally this is integrated into proper test suite, but that's too much overhead for now
2021-06-30 12:41:56 +02:00
John J. Camilleri
d5c6aec3ec
Superficial refactoring to testsuite module
2021-06-30 12:12:26 +02:00
Andreas Källberg
0a18688788
Remove gf-lib-path from testsuite
...
Since it no longer depends on RGL and it caused issues in the testsuite
2021-06-17 19:24:14 +08:00
Andreas Källberg
65522a63c3
Testsuite: Add support for expected failures
...
And mark the currently failing tests as expected failures
2021-06-17 16:38:33 +08:00
Andreas Källberg
f505d88a8e
Fix build of test suite on ghc-8.2.2
2021-06-16 14:27:19 +08: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
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
