diff options
| author | krasimir <krasimir@chalmers.se> | 2010-02-22 15:50:41 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-02-22 15:50:41 +0000 |
| commit | 09da1013f9a14dfa672c8e1adea269fc337aa57c (patch) | |
| tree | 07701d44976552ca65a8c67000f6d09f308acc1b /testsuite | |
| parent | 21ad608e2a7a587805a6b99e8c07c6255de348c5 (diff) | |
refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access to the meta store
Diffstat (limited to 'testsuite')
| -rw-r--r-- | testsuite/runtime/typecheck/typecheck.gfs.gold | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/runtime/typecheck/typecheck.gfs.gold b/testsuite/runtime/typecheck/typecheck.gfs.gold index 9630aa3bf..bdc675587 100644 --- a/testsuite/runtime/typecheck/typecheck.gfs.gold +++ b/testsuite/runtime/typecheck/typecheck.gfs.gold @@ -13,7 +13,7 @@ Category unknown_cat is not in scope Cannot infer the type of expression \x -> x
A function type is expected for the expression \x -> x instead of type Int
Expression: append (succ (succ zero)) (succ zero) (vector (succ (succ zero))) (vector (succ zero))
-Type: Vector (plus (succ (succ zero)) (succ zero))
+Type: Vector (succ (succ (succ zero)))
Expression: <\m, n -> vector (plus m n) : (m : Nat) -> (n : Nat) -> Vector (plus m n)>
Type: (m : Nat) -> (n : Nat) -> Vector (plus m n)
|