From 4d79ef0c41c732282f230b08d168f655ae1f4367 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Fri, 1 Apr 2005 20:24:24 +0000
Subject: [PATCH] mapStr ; appPredefined in err monad

---
 prelude/Predef.gf            | 4 +++-
 resource/english/RulesEng.gf | 2 +-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/prelude/Predef.gf b/prelude/Predef.gf
index 961e99eb3..0b93b7f57 100644
--- a/prelude/Predef.gf
+++ b/prelude/Predef.gf
@@ -22,7 +22,9 @@ resource Predef = {
   oper occur  : Tok -> Tok -> PBool    = variants {} ; -- test if occurs as substring
   oper show   : (P : Type) -> P -> Tok = variants {} ; -- convert param to string
   oper read   : (P : Type) -> Tok -> P = variants {} ; -- convert string to param
-  oper toStr  : (P : Type) -> P -> Str = variants {} ; -- find the "first" string
+  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
 
   } ;
 
diff --git a/resource/english/RulesEng.gf b/resource/english/RulesEng.gf
index fe934e7b9..27ecc4881 100644
--- a/resource/english/RulesEng.gf
+++ b/resource/english/RulesEng.gf
@@ -29,7 +29,7 @@ flags
   optimize=all ;
 
 lin 
-  UseN = noun2CommNounPhrase ;
+  UseN  = noun2CommNounPhrase ;
   UsePN = nameNounPhrase ;
 
   SymbPN i = {s = table {Nom => i.s ; Gen => i.s ++ "'s"} ; g = Neutr} ; ---