 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 |
|
|
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
|
a1c70841c1
|
test case for lazy evaluation in the abstract syntax
|
2010-02-07 22:22:30 +00:00 |
|
|
krasimir
|
3b7e39fa4a
|
bugfix in the PGF typechecker and more test cases
|
2010-01-29 21:10:14 +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
|
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
|
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
|
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
|
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 |
|