krasimir 5804db9816 judgements lindef are now respected by both the parser and the linearizer

2009-12-11 17:39:18 +00:00

..

eval

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

linearize

judgements lindef are now respected by both the parser and the linearizer

2009-12-11 17:39:18 +00:00

paraphrase

more fixes in the testsuite

2009-09-16 12:49:04 +00:00

parser

update testsuite/runtime/parser/Parse.hs

2009-11-02 16:31:32 +00:00

typecheck

update the testsuite

2009-10-28 18:07:49 +00:00