From fe863958533cd905939241e6fa50af439058cf5a Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Wed, 5 Mar 2008 18:59:14 +0000
Subject: debugging testgf3

---
 examples/features/Param.gf | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'examples')

diff --git a/examples/features/Param.gf b/examples/features/Param.gf
index 0b5ed2453..15b0cd8b7 100644
--- a/examples/features/Param.gf
+++ b/examples/features/Param.gf
@@ -2,9 +2,10 @@ resource Param = {
 
   param Bool = True | False ;
 
-  oper and : Bool -> Bool -> Bool = \x,y -> case x of {
+  oper and  -- : Bool -> Bool -> Bool 
+   = \\x,y => case x of {
     True => y ;
-    _ => False
+    False => False
     } ;
 
 }
-- 
cgit v1.2.3