From b1a51f46f5d137ab4d65a4381b349af3291a944d Mon Sep 17 00:00:00 2001 From: krasimir Date: Sun, 20 Sep 2009 11:43:41 +0000 Subject: change the data types and the syntax in PGF to match the new syntax for implict arguments --- testsuite/runtime/typecheck/typecheck.gfs.gold | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'testsuite/runtime') diff --git a/testsuite/runtime/typecheck/typecheck.gfs.gold b/testsuite/runtime/typecheck/typecheck.gfs.gold index 5e27e1482..a43a0c216 100644 --- a/testsuite/runtime/typecheck/typecheck.gfs.gold +++ b/testsuite/runtime/typecheck/typecheck.gfs.gold @@ -30,7 +30,7 @@ In the expression: mkMorph (\x -> succ zero) Expression: Vector (succ zero) -> Vector (succ zero)> Type: Vector zero -> Vector (succ zero) -> Vector (succ zero) -Expression: <\n, v1, n'1, v2 -> append n n'1 v1 v2 : (n : Nat) -> Vector n -> (m : Nat) -> Vector m -> Vector (plus n m)> +Expression: <\n, v1, n1, v2 -> append n n1 v1 v2 : (n : Nat) -> Vector n -> (m : Nat) -> Vector m -> Vector (plus n m)> Type: (n : Nat) -> Vector n -> (m : Nat) -> Vector m -> Vector (plus n m) Category EQ is not in scope -- cgit v1.2.3