diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-11-15 20:08:09 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-11-15 20:08:09 +0000 |
| commit | f30560efcc5acb39f8b9a4a5d0ea0482224a5fc1 (patch) | |
| tree | 91f1e3b2a3044ee3531dcf4a799db427681c81b4 /examples/attempto/SymbolsC.gf | |
| parent | 373b4d6828e0eba56e11cd5851591d303f369b43 (diff) | |
Attempto complete up to spec
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" ; |