From f30560efcc5acb39f8b9a4a5d0ea0482224a5fc1 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Sat, 15 Nov 2008 20:08:09 +0000
Subject: Attempto complete up to spec

---
 examples/attempto/SymbolsC.gf | 19 ++++++++++++++++++-
 1 file changed, 18 insertions(+), 1 deletion(-)

(limited to 'examples/attempto/SymbolsC.gf')

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" ;
 
-- 
cgit v1.2.3