diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-03-05 18:59:14 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-03-05 18:59:14 +0000 |
| commit | fe863958533cd905939241e6fa50af439058cf5a (patch) | |
| tree | c8254e5797d795d733585d0d82e85d4d4a1fa9dd /examples | |
| parent | 674b4765e653d91c8c900da1263df8c0f4d767ad (diff) | |
debugging testgf3
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/features/Param.gf | 5 |
1 files changed, 3 insertions, 2 deletions
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 } ; } |