diff options
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 } ; } |