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

a major refactoring in the C and the Haskell runtimes. Note incompatible change in the PGF format!!!

Browse Source 
The following are the outcomes:

   - Predef.nonExist is fully supported by both the Haskell and the C runtimes

   - Predef.BIND is now an internal compiler defined token. For now
     it behaves just as usual for the Haskell runtime, i.e. it generates &+.
     However, the special treatment will let us to handle it properly in 
     the C runtime.

   - This required a major change in the PGF format since both 
     nonExist and BIND may appear inside 'pre' and this was not supported
     before.
This commit is contained in:
kr.angelov
2013-09-27 15:09:48 +00:00
parent 95bed1e9f6
commit 4891dbce7e
2 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/prelude/Predef.gf
View File

@@ -37,5 +37,6 @@ resource Predef = {
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 nonExist : Str = variants {} ; -- a placeholder for non-existant morphological forms
oper BIND : Str = variants {} ; -- a token for gluing
} ; } ;

2
src/prelude/Prelude.gf
View File

@@ -114,7 +114,7 @@ oper
-- These should be hidden, and never changed since they are hardcoded in (un)lexers -- These should be hidden, and never changed since they are hardcoded in (un)lexers
BIND : Str = "&+" ; BIND : Str = Predef.BIND;
PARA : Str = "&-" ; PARA : Str = "&-" ;
CAPIT : Str = "&|" ; CAPIT : Str = "&|" ;