home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Source Code / C / Applications / Moscow ML 1.42 / examples / manual / Evaluate.sml < prev    next >
Encoding:
Text File  |  1997-08-18  |  201 b   |  8 lines  |  [TEXT/R*ch]
  1. local open Expr 
  2. in 
  3.     fun eval (Cst n)         = n
  4.       | eval (Neg e)         = ~ (eval e)
  5.       | eval (Plus (e1, e2)) = eval e1 + eval e2;
  6.     fun test e = (eval e = eval (Reduce.reduce e))
  7. end
  8.