summaryrefslogtreecommitdiff
path: root/testsuite/runtime/typecheck
AgeCommit message (Expand)Author
2011-01-08fix the computation of abstract expressions in the presence of implicit argum...krasimir
2011-01-08bugfix in the handling of implicit arguments in the typecheckerkrasimir
2010-10-27update the testsuite. Now we can typecheck more programs than beforekrasimir
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-04-30upgrade the testsuite to work with GHC 6.12krasimir
2010-02-22refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access t...krasimir
2010-02-20bugfix in PGF.TypeCheckkrasimir
2009-10-28update 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-06hopefully complete and correct typechecker in PGFkrasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 15:32:07 +0000