GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-21 09:02:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

prefix and postfix in lib Formal

Browse Source
This commit is contained in:
aarne
2010-08-30 09:34:45 +00:00
parent d3e7095ceb
commit 59c341b9ed
1 changed files with 5 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
lib/src/prelude/Formal.gf
View File

@@ -19,6 +19,11 @@ resource Formal = open Prelude in {
infixn : Prec -> Str -> (_,_ : TermPrec) -> TermPrec = \p,f,x,y -> infixn : Prec -> Str -> (_,_ : TermPrec) -> TermPrec = \p,f,x,y ->
mkPrec p (usePrec (nextPrec p) x ++ f ++ usePrec (nextPrec p) 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 -- auxiliaries, should not be needed so much
usePrec : Prec -> TermPrec -> Str = \p,x -> usePrec : Prec -> TermPrec -> Str = \p,x ->