debugging testgf3

2008-03-05 18:59:14 +00:00
parent d4f22b01bd
commit 9779c35b8e
5 changed files with 20 additions and 11 deletions
--- 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
    } ;

 }