diff options
| author | aarne <unknown> | 2003-11-10 12:50:22 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-11-10 12:50:22 +0000 |
| commit | c84ce99de2e9a17e2413f2f81cae0088170cc3b9 (patch) | |
| tree | b1ccdf00e62655a6115330da88cc13ff5c673752 /grammars/prelude | |
| parent | 47c029be3d92c5cdf7cf60ca1622dfbbfa1d2e30 (diff) | |
Glue things
Diffstat (limited to 'grammars/prelude')
| -rw-r--r-- | grammars/prelude/Prelude.gf | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/grammars/prelude/Prelude.gf b/grammars/prelude/Prelude.gf index f5903d7ec..bda2f5f6d 100644 --- a/grammars/prelude/Prelude.gf +++ b/grammars/prelude/Prelude.gf @@ -80,4 +80,9 @@ oper Predef.PFalse => False ; Predef.PTrue => True } ; +-- bind together two tokens in the lexer, either obligatorily or optionally + + oper + bind : Str -> Str -> Str = \x,y -> x ++ "&+" ++ y ; + bindOpt : Str -> Str -> Str = \x,y -> variants {bind x y ; x ++ y} ; } ; |