diff options
Diffstat (limited to 'examples/attempto/SymbolsC.gf')
| -rw-r--r-- | examples/attempto/SymbolsC.gf | 19 |
1 files changed, 18 insertions, 1 deletions
diff --git a/examples/attempto/SymbolsC.gf b/examples/attempto/SymbolsC.gf index 9949912ca..b92885bb9 100644 --- a/examples/attempto/SymbolsC.gf +++ b/examples/attempto/SymbolsC.gf @@ -1,7 +1,24 @@ -concrete SymbolsC of Symbols = open Prelude in { +concrete SymbolsC of Symbols = open Precedence, Prelude in { +lincat Term = TermWithPrec ; +lincat Formula = SS ; lincat Var = SS ; +lin plus_Term = mkpInfixL "+" p1 ; +lin minus_Term = mkpInfixL "-" p1 ; +lin div_Term = mkpInfixL "/" p2 ; +lin times_Term = mkpInfixL "*" p2 ; +lin neg_Term = mkpFun1 "-" ; +lin int_Term i = mkpConst i.s ; +lin var_Term i = mkpConst i.s ; + +lin eq_Formula = infixSS "=" ; +lin lt_Formula = infixSS "<" ; +lin gt_Formula = infixSS ">" ; +lin le_Formula = infixSS "=<" ; +lin ge_Formula = infixSS ">=" ; +lin ne_Formula = infixSS "\\=" ; + lin X_Var = ss "X" ; lin Y_Var = ss "Y" ; |