capitalize

This commit is contained in:
aarne
2005-04-01 06:01:07 +00:00
parent e9063a42dc
commit 3346b0669d

View File

@@ -92,14 +92,19 @@ oper
last : Tok -> Tok = Predef.dp 1 ; 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 oper
glue : Str -> Str -> Str = \x,y -> x ++ BIND ++ y ; glue : Str -> Str -> Str = \x,y -> x ++ BIND ++ y ;
glueOpt : Str -> Str -> Str = \x,y -> variants {glue x y ; x ++ 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} ; 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 -- these should be hidden, and never changed since it's hardcoded in (un)lexers
BIND : Str = "&+" ; BIND : Str = "&+" ;
PARA : Str = "&-" ; PARA : Str = "&-" ;
CAPIT : Str = "&|" ;
} ; } ;