diff --git a/src/prelude/Predef.gf b/src/prelude/Predef.gf index ec7d02140..b4dcbc5e9 100644 --- a/src/prelude/Predef.gf +++ b/src/prelude/Predef.gf @@ -36,9 +36,12 @@ resource Predef = { oper toStr : (L : Type) -> L -> Str = variants {} ; -- find the "first" string oper mapStr : (L : Type) -> (Str -> Str) -> L -> L = variants {} ; -- map all strings in a data structure; experimental --- - oper nonExist : Str = variants {} ; -- a placeholder for non-existant morphological forms - oper BIND : Str = variants {} ; -- a token for gluing - oper SOFT_BIND : Str = variants {} ; -- a token for soft gluing - oper CAPIT : Str = variants {} ; -- a token for capitalization + + oper nonExist : Str = variants {} ; -- a placeholder for non-existant morphological forms + oper BIND : Str = variants {} ; -- a token for gluing + oper SOFT_BIND : Str = variants {} ; -- a token for soft gluing + oper SOFT_SPACE : Str = variants {} ; -- a token for soft space + oper CAPIT : Str = variants {} ; -- a token for capitalization + oper ALL_CAPIT : Str = variants {} ; -- a token for capitalization of abreviations } ; diff --git a/src/prelude/Prelude.gf b/src/prelude/Prelude.gf index d725df077..ab1fccba8 100644 --- a/src/prelude/Prelude.gf +++ b/src/prelude/Prelude.gf @@ -2,7 +2,7 @@ -- This file defines some prelude facilities usable in all grammars. -resource Prelude = Predef[nonExist, BIND, SOFT_BIND, CAPIT] ** open (Predef=Predef) in { +resource Prelude = Predef[nonExist, BIND, SOFT_BIND, SOFT_SPACE, CAPIT, ALL_CAPIT] ** open (Predef=Predef) in { oper