diff --git a/src/prelude/Predef.gf b/src/prelude/Predef.gf index abe6563ad..10af6e3f2 100644 --- a/src/prelude/Predef.gf +++ b/src/prelude/Predef.gf @@ -37,5 +37,6 @@ resource Predef = { 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 } ; diff --git a/src/prelude/Prelude.gf b/src/prelude/Prelude.gf index 027910e3f..fd8ac6aef 100644 --- a/src/prelude/Prelude.gf +++ b/src/prelude/Prelude.gf @@ -114,7 +114,7 @@ oper -- These should be hidden, and never changed since they are hardcoded in (un)lexers - BIND : Str = "&+" ; + BIND : Str = Predef.BIND; PARA : Str = "&-" ; CAPIT : Str = "&|" ;