From 3b7e39fa4ab2dcfc6ec9591be6476b4240baf671 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Fri, 29 Jan 2010 21:10:14 +0000
Subject: bugfix in the PGF typechecker and more test cases

---
 testsuite/runtime/eval/eval.gfs.gold | 8 ++++++++
 1 file changed, 8 insertions(+)

(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 1c6282f27..665ee86fb 100644
--- a/testsuite/runtime/eval/eval.gfs.gold
+++ b/testsuite/runtime/eval/eval.gfs.gold
@@ -38,6 +38,12 @@ succ zero
 

 ?1

 

+zeroF

+

+dec (succF zeroF)

+

+dec zeroF

+

 \x -> dec x

 

 dec ?1

@@ -54,3 +60,5 @@ dec2 0 err
 

 succ err

 

+\x -> dec (dec x)

+

-- 
cgit v1.2.3