From 9cd2c273a273ded21c637908f2dfd3c07e785f36 Mon Sep 17 00:00:00 2001 From: aarne Date: Fri, 21 Nov 2003 15:28:25 +0000 Subject: Working on with new resource API. --- grammars/prelude/Prelude.gf | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'grammars/prelude') diff --git a/grammars/prelude/Prelude.gf b/grammars/prelude/Prelude.gf index 5d8734d04..8c29232e7 100644 --- a/grammars/prelude/Prelude.gf +++ b/grammars/prelude/Prelude.gf @@ -42,7 +42,7 @@ oper -- parametric order between two strings preOrPost : Bool -> Str -> Str -> Str = \pr,x,y -> - if_then_else Str pr (x ++ y) (y ++ x) ; + if_then_Str pr (x ++ y) (y ++ x) ; -- Booleans @@ -59,6 +59,7 @@ oper orB : (_,_ : Bool) -> Bool = \a,b -> if_then_else Bool a True b ; notB : Bool -> Bool = \a -> if_then_else Bool a False True ; + if_then_Str : Bool -> Str -> Str -> Str = if_then_else Str ; -- zero, one, two, or more (elements in a list etc) -- cgit v1.2.3