diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-02-22 15:17:50 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-02-22 15:17:50 +0000 |
| commit | 2faba9011978f29f56bbc27287720a08b08b7adb (patch) | |
| tree | faf7919dc7068cb3f91efa033e851eccf17bff89 /examples | |
| parent | 9e6064709f621c1489f18ee94612226014646a9a (diff) | |
started a directory of grammars testing testgf3 features
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/features/Param.gf | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/examples/features/Param.gf b/examples/features/Param.gf new file mode 100644 index 000000000..0b5ed2453 --- /dev/null +++ b/examples/features/Param.gf @@ -0,0 +1,10 @@ +resource Param = { + + param Bool = True | False ; + + oper and : Bool -> Bool -> Bool = \x,y -> case x of { + True => y ; + _ => False + } ; + +} |
