From fe50f6dc26ddf5d694753adb2f1a9cad41ddce02 Mon Sep 17 00:00:00 2001
From: peb <peb@cs.chalmers.se>
Date: Thu, 9 Feb 2006 08:08:06 +0000
Subject: [PATCH] two versions of optStr

---
 prelude/Prelude.gf | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/prelude/Prelude.gf b/prelude/Prelude.gf
index 300e387a1..cbda26ecb 100644
--- a/prelude/Prelude.gf
+++ b/prelude/Prelude.gf
@@ -20,7 +20,8 @@ oper
 
   nonExist : Str = variants {} ;
 
-  optStr : Str -> Str = \s -> variants {s ; []} ;
+  optStr : Str -> Str = \s -> variants {[] ; s} ;
+  strOpt : Str -> Str = \s -> variants {s ; []} ;
 
   constTable : (A,B : Type) -> B -> A => B = \_,_,b -> \\_ => b ;
   constStr   : (A : Type) -> Str -> A => Str = \A -> constTable A Str ;