diff --git a/src/prelude/Predef.gf b/src/prelude/Predef.gf index 15eec3984..abe6563ad 100644 --- a/src/prelude/Predef.gf +++ b/src/prelude/Predef.gf @@ -36,6 +36,6 @@ 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 } ; - diff --git a/src/prelude/Prelude.gf b/src/prelude/Prelude.gf index 8bb2fbee0..027910e3f 100644 --- a/src/prelude/Prelude.gf +++ b/src/prelude/Prelude.gf @@ -35,7 +35,7 @@ oper -- Missing form. - nonExist : Str = variants {} ; + nonExist : Str = Predef.nonExist; -- Optional string with preference on the string vs. empty.