From 9d4b055f5fcfb07c9987ca0af7b0b8994174d5b7 Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Thu, 1 Aug 2013 15:42:37 +0000
Subject: [PATCH] toUpperFirst and toLowerFirst in Prelude

---
 src/prelude/Prelude.gf | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/src/prelude/Prelude.gf b/src/prelude/Prelude.gf
index cb1bd0ba..8bb2fbee 100644
--- a/src/prelude/Prelude.gf
+++ b/src/prelude/Prelude.gf
@@ -138,5 +138,17 @@ oper
   eNext : ENumber -> ENumber = \e -> case e of {
     E0 => E1 ; E1 => E2 ; _ => Emore} ;
 
+-- convert initial to upper/lower
+
+  toUpperFirst : Str -> Str = \s -> case s of {
+    x@? + xs => Predef.toUpper x + xs ;
+    _ => s
+    } ;
+
+  toLowerFirst : Str -> Str = \s -> case s of {
+    x@? + xs => Predef.toLower x + xs ;
+    _ => s
+    } ;
+
 
 }