 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
|
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 |
|
|
krasimir
|
02b22b8b78
|
added testcases for evaluation with suspension
|
2009-07-07 11:40:14 +00:00 |
|
|
krasimir
|
cfdd39574c
|
added testcase for linearization with HOAS
|
2009-06-18 17:47:06 +00:00 |
|
|
krasimir
|
8ae43ac855
|
split the testsuite to different directories for compiler, runtime and libraries
|
2009-06-13 13:54:06 +00:00 |
|
|
krasimir
|
d6092e0ab2
|
added test cases for computation with abstract syntax terms
|
2009-05-23 21:43:24 +00:00 |
|