From e470c6281fc2ee7f53fa0ae41d76c30bb52b0f0b Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Mon, 10 Nov 2003 15:45:42 +0000
Subject: New numeral grammars.

---
 grammars/prelude/Prelude.gf | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'grammars/prelude')

diff --git a/grammars/prelude/Prelude.gf b/grammars/prelude/Prelude.gf
index bda2f5f6d..5d8734d04 100644
--- a/grammars/prelude/Prelude.gf
+++ b/grammars/prelude/Prelude.gf
@@ -83,6 +83,10 @@ oper
 -- 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} ;
+    glue : Str -> Str -> Str = \x,y -> x ++ BIND ++ y ;
+    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
+    BIND : Str = "&+" ;
 } ;
-- 
cgit v1.2.3