summaryrefslogtreecommitdiff
path: root/gf-book/examples/chapter8/CalculatorC.gf
blob: 99db805304e687618a7348d5f5e1221a00cacb0e (plain)
1
2
3
4
5
6
7
8
9
10
concrete CalculatorC of Calculator = open Formal, Prelude in {
lincat 
  Exp = TermPrec ;
lin
  EPlus  = infixl 0 "+" ;
  EMinus = infixl 0 "-" ;
  ETimes = infixl 1 "*" ;
  EDiv   = infixl 1 "/" ;
  EInt i = constant i.s ;
}