E-mail aliases

[hcoop/domtool2.git] / src / main.sml

diff --git a/src/main.sml b/src/main.sml
index 7740522..bbf1091 100644 (file)
--- a/src/main.sml
+++ b/src/main.sml
@@ -84,7 +84,15 @@ fun eval fname =
                    ()
                else
                    case prog of
-                       (_, SOME body) => Eval.exec StringMap.empty body
+                       (_, SOME body) =>
+                       let
+                           val body' = Reduce.reduceExp G' body
+                       in
+                           if !ErrorMsg.anyErrors then
+                               ()
+                           else
+                               Eval.exec StringMap.empty body'
+                       end
                      | _ => ()
            end
     end