From b97d6abb8190cdcb595b9bf48051cc4a98f01156 Mon Sep 17 00:00:00 2001 From: krasimir Date: Sun, 6 Sep 2009 20:31:52 +0000 Subject: hopefully complete and correct typechecker in PGF --- testsuite/runtime/paraphrase/lambda.gfs.gold | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'testsuite/runtime/paraphrase/lambda.gfs.gold') diff --git a/testsuite/runtime/paraphrase/lambda.gfs.gold b/testsuite/runtime/paraphrase/lambda.gfs.gold index 0d8f027d6..5735dc175 100644 --- a/testsuite/runtime/paraphrase/lambda.gfs.gold +++ b/testsuite/runtime/paraphrase/lambda.gfs.gold @@ -1,10 +1,10 @@ -\v0 -> v0 +\x -> x 1 -\v0 -> v0 +\x -> x -\v0 -> 2 +\x -> 2 1 -- cgit v1.2.3