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/Test.gf | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'testsuite/runtime/eval/Test.gf')

diff --git a/testsuite/runtime/eval/Test.gf b/testsuite/runtime/eval/Test.gf
index a0131d767..748f974f9 100644
--- a/testsuite/runtime/eval/Test.gf
+++ b/testsuite/runtime/eval/Test.gf
@@ -22,6 +22,9 @@ cat Nat ;
 data zero : Nat ;
      succ : Nat -> Nat ;
      err  : Nat ;
+     
+fun  zeroF : Nat ;
+     succF : Nat -> Nat ;
 
 fun dec : Nat -> Nat ;
 def dec zero     = zero ;
-- 
cgit v1.2.3