From 119f7bc78ac60a44a579b1753f2f3f20527118cd Mon Sep 17 00:00:00 2001 From: krasimir Date: Wed, 27 Oct 2010 17:58:40 +0000 Subject: [PATCH] update the testsuite. Now we can typecheck more programs than before --- testsuite/runtime/typecheck/typecheck.gfs.gold | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/testsuite/runtime/typecheck/typecheck.gfs.gold b/testsuite/runtime/typecheck/typecheck.gfs.gold index 436ea2bc0..c7f28b75b 100644 --- a/testsuite/runtime/typecheck/typecheck.gfs.gold +++ b/testsuite/runtime/typecheck/typecheck.gfs.gold @@ -66,9 +66,9 @@ Type: Vector (succ (succ zero)) Couldn't match expected type Vector (plus (succ (succ (succ zero))) (succ (succ zero))) against inferred type Vector (succ (succ (succ (succ zero)))) In the expression: vector (succ (succ (succ (succ zero)))) -Couldn't match expected type Vector ?1 - against inferred type Vector zero -In the expression: vector zero +Expression: idMorph (mkMorph2 (\x -> x) (vector zero)) +Type: Nat + Couldn't match expected type Vector zero against inferred type Vector n In the expression: x