gf-book/examples/chapter8/CalculatorS.gf


1
2
3
4
5
6
7
8
9
10
11

concrete CalculatorS of Calculator = open Prelude in {
  lin
    EPlus  = infix "plus" ;
    EMinus = infix "minus" ;
    ETimes = infix "times" ;
    EDiv   = infix ["divided by"] ;
    EInt i = i ;
  oper
    infix : Str -> SS -> SS -> SS = \op,x,y -> 
      ss (x.s ++ op ++ y.s ++ "PAUSE") ;
}