msyds/gf-rgl
1
0
Fork 0
forked from GitHub/gf-rgl
Code Pull Requests Activity

added all orthographic primitives

Browse Source
This commit is contained in:
krasimir
2015-05-11 13:01:39 +00:00
parent 61392e052b
commit 9cf3c8fea0
2 changed files with 8 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
src/prelude/Predef.gf
View File

@@ -36,9 +36,12 @@ resource Predef = {
oper toStr : (L : Type) -> L -> Str = variants {} ; -- find the "first" string oper toStr : (L : Type) -> L -> Str = variants {} ; -- find the "first" string
oper mapStr : (L : Type) -> (Str -> Str) -> L -> L = variants {} ; oper mapStr : (L : Type) -> (Str -> Str) -> L -> L = variants {} ;
-- map all strings in a data structure; experimental --- -- 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 nonExist : Str = variants {} ; -- a placeholder for non-existant morphological forms
oper SOFT_BIND : Str = variants {} ; -- a token for soft gluing oper BIND : Str = variants {} ; -- a token for gluing
oper CAPIT : Str = variants {} ; -- a token for capitalization 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
} ; } ;

2
src/prelude/Prelude.gf
View File

@@ -2,7 +2,7 @@
-- This file defines some prelude facilities usable in all grammars. -- 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 oper