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/eval/eval.gfs.gold | 36 ++++++++++++++++-------------------- 1 file changed, 16 insertions(+), 20 deletions(-) (limited to 'testsuite/runtime/eval/eval.gfs.gold') diff --git a/testsuite/runtime/eval/eval.gfs.gold b/testsuite/runtime/eval/eval.gfs.gold index 861c8534c..1c6282f27 100644 --- a/testsuite/runtime/eval/eval.gfs.gold +++ b/testsuite/runtime/eval/eval.gfs.gold @@ -1,30 +1,26 @@ -\v0 -> v0 1 +\x -> x 1 -? 1 +?1 1 -? 1 +?3 1 -unknown variable unknown_var -unknown variable unknown_var -literal of function type f 1 2 -\v0 -> v0 +\x -> x -?666 +?1 f f 1 2 -literal of function type 2 g 0 -\v0 -> g v0 +\x -> g x -g ? +g ?1 5 @@ -32,29 +28,29 @@ g ? g2 -f 3.2 +f 32 -g2 2.3 - -g2 (f 0) 1 +g2 23 3.14 succ zero -? +?1 -\v0 -> dec v0 +\x -> dec x -dec ? +dec ?1 -g3 ? 0 +g3 ?3 0 -g (g2 ? 0) +g (g2 ?1 0) succ (succ zero) zero +dec2 0 err + succ err -- cgit v1.2.3