eval.icl

   1 implementation module eval
   2
   3 import StdEnv
   4 import test
   5
   6 eval :: DSL -> Int
   7 eval (Lit i) = i
   8 eval (Var def) = let (i In d) = def (Lit i) in eval d
   9 eval (a +. b) = eval a + eval b