diff options
| author | aarne <unknown> | 2004-10-25 14:22:18 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-10-25 14:22:18 +0000 |
| commit | 24ba5b3b82441ecd9a20f05b7b39071f51c32c03 (patch) | |
| tree | 0eb90e249c51c8bf6c8d4e83d6a313eabfd53c9e /grammars/prelude | |
| parent | 51fb62890f9b7ba0cc13e5b040eace6a97ac6fc2 (diff) | |
markup
Diffstat (limited to 'grammars/prelude')
| -rw-r--r-- | grammars/prelude/Prelude.gf | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/grammars/prelude/Prelude.gf b/grammars/prelude/Prelude.gf index d124d7df6..c84fa6188 100644 --- a/grammars/prelude/Prelude.gf +++ b/grammars/prelude/Prelude.gf @@ -94,6 +94,7 @@ oper glueOpt : Str -> Str -> Str = \x,y -> variants {glue x y ; x ++ y} ; noglueOpt : Str -> Str -> Str = \x,y -> variants {x ++ y ; glue x y} ; --- this should be hidden, and never changed since it's hardcoded in (un)lexers +-- these should be hidden, and never changed since it's hardcoded in (un)lexers BIND : Str = "&+" ; + PARA : Str = "&-" ; } ; |