 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 |
|
|
krasimir
|
6c7330131d
|
more fixes in the testsuite
|
2009-09-16 12:49:04 +00:00 |
|
|
krasimir
|
9ca8db1cdb
|
another fix in the testsuite
|
2009-09-16 12:13:11 +00:00 |
|
|
krasimir
|
f45e0fe003
|
fix some tests in the testsuite
|
2009-09-16 11:20:05 +00:00 |
|
|
krasimir
|
88a018d6c8
|
update the compiler testsuite
|
2009-09-14 16:27:37 +00:00 |
|
|
krasimir
|
70fea39e2b
|
added some tests in the testsuite for the compiler
|
2009-09-14 12:17:57 +00:00 |
|
|
krasimir
|
4111438979
|
the testsuite\runtime\parser test now generates random trees to test the parser with
|
2009-09-13 15:17:15 +00:00 |
|
|
krasimir
|
b97d6abb81
|
hopefully complete and correct typechecker in PGF
|
2009-09-06 20:31:52 +00:00 |
|
|
krasimir
|
a73273895d
|
the parsing test now evaluates all languages
|
2009-08-19 22:35:57 +00:00 |
|
|
krasimir
|
3473f0d274
|
added testcase for pattern matching on runtime variables
|
2009-07-22 09:53:39 +00:00 |
|
|
krasimir
|
4f21b57a86
|
updated the output in testsuite/compiler/check/lins
|
2009-07-22 09:51:57 +00:00 |
|
|
krasimir
|
5abc99b291
|
added testcases for evaluation with suspension
|
2009-07-07 11:40:14 +00:00 |
|
|
krasimir
|
eeb08bbd4d
|
added testcase for linearization with HOAS
|
2009-06-18 17:47:06 +00:00 |
|
|
krasimir
|
9142fcff76
|
split the testsuite to different directories for compiler, runtime and libraries
|
2009-06-13 13:54:06 +00:00 |
|
|
krasimir
|
3efb7a671b
|
added test cases for computation with abstract syntax terms
|
2009-05-23 21:43:24 +00:00 |
|
|
krasimir
|
41b263cf6a
|
some work on evaluation with abstract expressions in PGF
|
2009-05-22 18:54:51 +00:00 |
|
|
krasimir
|
7a204376c9
|
fix in testcase testsuite\paraphrase
|
2009-05-22 22:14:57 +00:00 |
|
|
krasimir
|
c520039f1c
|
fix the funpatt testcase
|
2009-05-22 21:42:21 +00:00 |
|
|
krasimir
|
401dfc28d6
|
some more tests for evaluation in the abstract syntax
|
2009-05-20 20:27:19 +00:00 |
|
|
krasimir
|
8f2fb82750
|
more friendly error message when renaming patterns
|
2009-05-20 20:24:15 +00:00 |
|
|
krasimir
|
6de94f5300
|
fix the generation of warnings in CheckGrammar. They are printed even in quiet mode and the prefix "Warning" is added automatically
|
2009-05-20 17:05:58 +00:00 |
|