From 03d68380309177d38a45b680ba953d6ff115dca3 Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Fri, 31 Oct 2014 14:28:52 +0000 Subject: [PATCH] forgotten changes in Predef.gf for making CAPIT a built-in operation --- lib/src/prelude/Predef.gf | 1 + lib/src/prelude/Prelude.gf | 3 +-- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/src/prelude/Predef.gf b/lib/src/prelude/Predef.gf index 6e1ab7cf2..ec7d02140 100644 --- a/lib/src/prelude/Predef.gf +++ b/lib/src/prelude/Predef.gf @@ -39,5 +39,6 @@ resource Predef = { oper nonExist : Str = variants {} ; -- a placeholder for non-existant morphological forms oper BIND : Str = variants {} ; -- a token for gluing oper SOFT_BIND : Str = variants {} ; -- a token for soft gluing + oper CAPIT : Str = variants {} ; -- a token for capitalization } ; diff --git a/lib/src/prelude/Prelude.gf b/lib/src/prelude/Prelude.gf index 9f60ca57c..d725df077 100644 --- a/lib/src/prelude/Prelude.gf +++ b/lib/src/prelude/Prelude.gf @@ -2,7 +2,7 @@ -- This file defines some prelude facilities usable in all grammars. -resource Prelude = Predef[nonExist, BIND, SOFT_BIND] ** open (Predef=Predef) in { +resource Prelude = Predef[nonExist, BIND, SOFT_BIND, CAPIT] ** open (Predef=Predef) in { oper @@ -111,7 +111,6 @@ oper -- These should be hidden, and never changed since they are hardcoded in (un)lexers PARA : Str = "&-" ; - CAPIT : Str = "&|" ; -- Embed between commas, where the latter one disappears in front of other punctuation