
------------------------------------------------------------------------
-- Examples to test eval

-- 4! again.
et1 = runEval "{ X1 := 1; \ 
                \ while (> val(X0) 0) do { \ 
                \ X1 := (* val(X1) val(X0)); X0 := (- val(X0) 1) }}"
{- should have result:
    skip
    Locs(!=0): X[1]=24 
-}

et2 = runEval "let x = 2 in (+ 10 x)"