#include "syntax.RD.m"

in

#include "semantics.m"

in case parse input in
   CmdErr m: "syntax error: " @ m  ||
   prog    : let st s f ans = C prog (\x. fail("undec id " @ x))
                                     (st (\l. fail("unset locn "@itos l)) 0 [])
             in show ans
   end


--\fB Interpreter for Toy Language in LML. \fP
-- L.Allison, Department of Computer Science, Monash University, Australia