From 3346b0669ded95225fca43c53a3eff9c7bd4a972 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Fri, 1 Apr 2005 06:01:07 +0000
Subject: [PATCH] capitalize

---
 lib/prelude/Prelude.gf | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/lib/prelude/Prelude.gf b/lib/prelude/Prelude.gf
index 34f41f3ab..dc117bc9a 100644
--- a/lib/prelude/Prelude.gf
+++ b/lib/prelude/Prelude.gf
@@ -92,14 +92,19 @@ oper
   last : Tok -> Tok = Predef.dp 1 ;
 
 
--- bind together two tokens in the lexer, either obligatorily or optionally
+-- bind together two tokens in some lexers, either obligatorily or optionally
 
   oper 
     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} ;
 
+-- force capitalization of next word in some unlexers
+
+    capitalize : Str -> Str = \s -> CAPIT ++ s ;
+
 -- these should be hidden, and never changed since it's hardcoded in (un)lexers
     BIND : Str = "&+" ;
     PARA : Str = "&-" ;
+    CAPIT : Str = "&|" ;
 } ;