From 9cf3c8fea02c9b38a73f2f891825a90ef3a6e8c8 Mon Sep 17 00:00:00 2001 From: krasimir Date: Mon, 11 May 2015 13:01:39 +0000 Subject: [PATCH] added all orthographic primitives --- src/prelude/Predef.gf | 11 +++++++---- src/prelude/Prelude.gf | 2 +- 2 files changed, 8 insertions(+), 5 deletions(-) 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