From 62afa58663ece609c06925b668de75addf4697c2 Mon Sep 17 00:00:00 2001
From: "kr.angelov" <kr.angelov@gmail.com>
Date: Fri, 23 Aug 2013 13:17:45 +0000
Subject: [PATCH] nonExist now does the expected thing

---
 src/prelude/Predef.gf  | 2 +-
 src/prelude/Prelude.gf | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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.