hallgren
4e1df7eb59
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
4280c885dd
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
dd78657191
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
9118f72fda
testsuite: use forward slashes in paths
2013-12-03 16:59:33 +00:00
hallgren
ab97deae57
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
a4ca3ac81d
Adding test case for interaction between record subtyping and record extension
2011-09-19 12:43:14 +00:00
krasimir
72529388bf
added testsuite for the parser
2011-01-10 10:34:09 +00:00
krasimir
adbe9cd94d
fix the computation of abstract expressions in the presence of implicit arguments
2011-01-08 20:55:58 +00:00
krasimir
e41df3c873
bugfix in the handling of implicit arguments in the typechecker
2011-01-08 12:55:50 +00:00
krasimir
5c22ec030c
update the testsuite for the parser to the latest API
2010-12-13 17:53:06 +00:00
krasimir
fe1205059b
operations in the abstract syntax
2010-11-12 19:37:19 +00:00
krasimir
559403eba5
update the testsuite. Now we can typecheck more programs than before
2010-10-27 17:58:40 +00:00
krasimir
9802d534c0
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
2965777003
update the testsuite to the latest state of the compiler/interpreter
2010-10-25 11:50:41 +00:00
ramona.enache
f60fb3bae5
added script for testing the phrasebooks
2010-05-08 13:49:41 +00:00
krasimir
ec968edf9e
test for bracketedLinearize
2010-05-01 20:54:31 +00:00
krasimir
61a1171811
upgrade the testsuite to work with GHC 6.12
2010-04-30 19:27:53 +00:00
krasimir
94235548c4
fix parsing of literals
2010-04-23 20:46:14 +00:00
krasimir
5d2b204246
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
f3c6acc6dc
bugfix in PGF.TypeCheck
2010-02-20 18:48:06 +00:00
krasimir
ff30de63ce
one more test for cyclic def rules
2010-02-16 20:27:07 +00:00
krasimir
96b1041763
one more test for cyclic operations
2010-02-09 18:38:11 +00:00
krasimir
1e7cb24e70
test case for lazy evaluation in the abstract syntax
2010-02-07 22:22:30 +00:00
krasimir
7588807c1b
test case for invalid parameter definition
2010-02-06 20:15:46 +00:00
krasimir
3d5864918b
test case for let expression in def rule
2010-02-01 09:18:42 +00:00
krasimir
884c55f7e6
added tests for literals in the abstract syntax
2010-02-01 08:58:46 +00:00
krasimir
b625b416ee
added test cases for polymorphic and record types in the abstract syntax
2010-01-31 22:16:35 +00:00
krasimir
5eeb41a67f
add test case for abstract types with let bindings
2010-01-31 20:45:48 +00:00
krasimir
9e547710f5
bugfix in the PGF typechecker and more test cases
2010-01-29 21:10:14 +00:00
krasimir
ed446a4295
update the testsuite
2010-01-29 11:13:31 +00:00
krasimir
c00d3be656
additional tests for linearizations
2010-01-12 13:18:37 +00:00
krasimir
884db4c08c
added test grammar for literals in the testsuite
2010-01-04 13:51:36 +00:00
krasimir
7c2bce5779
judgements lindef are now respected by both the parser and the linearizer
2009-12-11 17:39:18 +00:00
krasimir
1c6d0ee306
add test case for typechecking of lincat
2009-11-13 10:28:37 +00:00
krasimir
5b3eef5c1b
update testsuite/runtime/parser/Parse.hs
2009-11-02 16:31:32 +00:00
krasimir
fa187d2c30
update the testsuite
2009-10-28 18:07:49 +00:00
krasimir
52d99546e1
added test cases for cyrcular definitions
2009-10-28 17:59:18 +00:00
krasimir
eae27821a0
update the testsuite
2009-10-03 06:52:14 +00:00
krasimir
2732a7a22e
Implicit arguments in GF. Works only in PGF for now.
2009-10-02 13:25:12 +00:00
krasimir
1dfa67a30a
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
eb139fd705
better error message for the ai command
2009-09-19 10:24:02 +00:00
krasimir
fd63cdaeed
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
krasimir
34c8d78fed
more fixes in the testsuite
2009-09-16 12:49:04 +00:00
krasimir
886d663a96
another fix in the testsuite
2009-09-16 12:13:11 +00:00
krasimir
5c882f9bf9
fix some tests in the testsuite
2009-09-16 11:20:05 +00:00
krasimir
bfe4ff0d7a
update the compiler testsuite
2009-09-14 16:27:37 +00:00
krasimir
c61fbb4206
added some tests in the testsuite for the compiler
2009-09-14 12:17:57 +00:00
krasimir
352a640e64
the testsuite\runtime\parser test now generates random trees to test the parser with
2009-09-13 15:17:15 +00:00
krasimir
54dbfeef48
hopefully complete and correct typechecker in PGF
2009-09-06 20:31:52 +00:00
krasimir
284f382d7a
the parsing test now evaluates all languages
2009-08-19 22:35:57 +00:00
