From 59c341b9eda0189f2c32c6584f3bce1cff5723fe Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Mon, 30 Aug 2010 09:34:45 +0000
Subject: [PATCH] prefix and postfix in lib Formal

---
 lib/src/prelude/Formal.gf | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/lib/src/prelude/Formal.gf b/lib/src/prelude/Formal.gf
index c53c63b7f..9902712a4 100644
--- a/lib/src/prelude/Formal.gf
+++ b/lib/src/prelude/Formal.gf
@@ -19,6 +19,11 @@ resource Formal = open Prelude in {
     infixn : Prec -> Str -> (_,_ : TermPrec) -> TermPrec = \p,f,x,y ->
       mkPrec p (usePrec (nextPrec p) x ++ f ++ usePrec (nextPrec p) y) ;
 
+    prefix : Prec -> Str -> TermPrec -> TermPrec = \p,f,x ->
+      mkPrec p (f ++ usePrec p x) ;
+    postfix : Prec -> Str -> TermPrec -> TermPrec = \p,f,x ->
+      mkPrec p (usePrec p x ++ f) ;
+
 -- auxiliaries, should not be needed so much
 
     usePrec : Prec -> TermPrec -> Str = \p,x ->