diff options
| author | aarne <aarne@cs.chalmers.se> | 2009-03-26 22:40:44 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2009-03-26 22:40:44 +0000 |
| commit | 3a67fd9b56c335e2135079dbb4c00639502df209 (patch) | |
| tree | 5df35ffe6a87bc4f1a4f8e39dce0ff78043af7fa /next-lib/src/prelude | |
| parent | 215d74e58e77a3afc8145b2d2173cae4d16ad7af (diff) | |
adapt Precedence.gf to new syntax; bug fix in Swedish mkA
Diffstat (limited to 'next-lib/src/prelude')
| -rw-r--r-- | next-lib/src/prelude/Precedence.gf | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/next-lib/src/prelude/Precedence.gf b/next-lib/src/prelude/Precedence.gf index 1e0b1a77c..ad166e515 100644 --- a/next-lib/src/prelude/Precedence.gf +++ b/next-lib/src/prelude/Precedence.gf @@ -7,8 +7,8 @@ resource Precedence = open Prelude in { param Prec = p4 | p3 | p2 | p1 | p0 ; -lintype -PrecTerm = Prec => Str ; +oper +PrecTerm : Type = Prec => Str ; oper pss : PrecTerm -> {s : PrecTerm} = \s -> {s = s} ; @@ -75,7 +75,7 @@ mkInfixR : Str -> Prec -> PrecTerm -> PrecTerm -> PrecTerm = -- alternative: -- precedence as inherent feature -lintype TermWithPrec = {s : Str ; p : Prec} ; +oper TermWithPrec : Type = {s : Str ; p : Prec} ; oper mkpPrec : Str -> Prec -> TermWithPrec = @@ -114,4 +114,4 @@ mkpInfixL : Str -> Prec -> TermWithPrec -> TermWithPrec -> TermWithPrec = mkpInfixR : Str -> Prec -> TermWithPrec -> TermWithPrec -> TermWithPrec = \f -> \p -> \x -> \y -> mkpPrec (usePrec x (nextPrec ! p) ++ f ++ usePrec y p) p ; -} ;
\ No newline at end of file +} ; |