summaryrefslogtreecommitdiff
path: root/testsuite
AgeCommit message (Expand)Author
2010-10-25when faced with hard unification problem the type checker should just postpon...krasimir
2010-10-25update the testsuite to the latest state of the compiler/interpreterkrasimir
2010-05-08added script for testing the phrasebooksramona.enache
2010-05-01test for bracketedLinearizekrasimir
2010-04-30upgrade the testsuite to work with GHC 6.12krasimir
2010-04-23fix parsing of literalskrasimir
2010-02-22refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access t...krasimir
2010-02-20bugfix in PGF.TypeCheckkrasimir
2010-02-16one more test for cyclic def ruleskrasimir
2010-02-09one more test for cyclic operationskrasimir
2010-02-07test case for lazy evaluation in the abstract syntaxkrasimir
2010-02-06test case for invalid parameter definitionkrasimir
2010-02-01test case for let expression in def rulekrasimir
2010-02-01added tests for literals in the abstract syntaxkrasimir
2010-01-31added test cases for polymorphic and record types in the abstract syntaxkrasimir
2010-01-31add test case for abstract types with let bindingskrasimir
2010-01-29bugfix in the PGF typechecker and more test caseskrasimir
2010-01-29update the testsuitekrasimir
2010-01-12additional tests for linearizationskrasimir
2010-01-04added test grammar for literals in the testsuitekrasimir
2009-12-11judgements lindef are now respected by both the parser and the linearizerkrasimir
2009-11-13add test case for typechecking of lincatkrasimir
2009-11-02update testsuite/runtime/parser/Parse.hskrasimir
2009-10-28update the testsuitekrasimir
2009-10-28added test cases for cyrcular definitionskrasimir
2009-10-03update the testsuitekrasimir
2009-10-02Implicit arguments in GF. Works only in PGF for now.krasimir
2009-09-20change the data types and the syntax in PGF to match the new syntax for impli...krasimir
2009-09-19better error message for the ai commandkrasimir
2009-09-19use the syntax <x : A> in PGF.Expr for typed expressions. This is consistent ...krasimir
2009-09-16more fixes in the testsuitekrasimir
2009-09-16another fix in the testsuitekrasimir
2009-09-16fix some tests in the testsuitekrasimir
2009-09-14update the compiler testsuitekrasimir
2009-09-14added some tests in the testsuite for the compilerkrasimir
2009-09-13the testsuite\runtime\parser test now generates random trees to test the pars...krasimir
2009-09-06hopefully complete and correct typechecker in PGFkrasimir
2009-08-19the parsing test now evaluates all languageskrasimir
2009-07-22added testcase for pattern matching on runtime variableskrasimir
2009-07-22updated the output in testsuite/compiler/check/linskrasimir
2009-07-07added testcases for evaluation with suspensionkrasimir
2009-06-18added testcase for linearization with HOASkrasimir
2009-06-13split the testsuite to different directories for compiler, runtime and librarieskrasimir
2009-05-23added test cases for computation with abstract syntax termskrasimir
2009-05-22some work on evaluation with abstract expressions in PGFkrasimir
2009-05-22fix in testcase testsuite\paraphrasekrasimir
2009-05-22fix the funpatt testcasekrasimir
2009-05-20some more tests for evaluation in the abstract syntaxkrasimir
2009-05-20more friendly error message when renaming patternskrasimir
2009-05-20fix the generation of warnings in CheckGrammar. They are printed even in quie...krasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 05:50:55 +0000