From 09da1013f9a14dfa672c8e1adea269fc337aa57c Mon Sep 17 00:00:00 2001 From: krasimir Date: Mon, 22 Feb 2010 15:50:41 +0000 Subject: refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access to the meta store --- testsuite/runtime/typecheck/typecheck.gfs.gold | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'testsuite') 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) -- cgit v1.2.3