X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/6be996d467429cc09f81becd3fd4e294ae1871ae..a3698041b3521c3cb17b3546ecdc08ba101c788a:/src/main.sml

diff --git a/src/main.sml b/src/main.sml
index 7f7d2c0..7bc4599 100644
--- a/src/main.sml
+++ b/src/main.sml
@@ -30,6 +30,20 @@ val tInit = (TAction ((CRoot, dmy),
 	     dmy)
 	    
 fun check fname =
+    let
+	val prog = Parse.parse fname
+    in
+	if !ErrorMsg.anyErrors then
+	    ()
+	else
+	    let
+		val G' = Tycheck.checkFile Env.empty tInit prog
+	    in
+		()
+	    end
+    end
+
+fun reduce fname =
     let
 	val prog = Parse.parse fname
     in
@@ -56,4 +70,23 @@ fun check fname =
 	    end
     end
 
+fun eval fname =
+    let
+	val prog = Parse.parse fname
+    in
+	if !ErrorMsg.anyErrors then
+	    ()
+	else
+	    let
+		val G' = Tycheck.checkFile Env.empty tInit prog
+	    in
+		if !ErrorMsg.anyErrors then
+		    ()
+		else
+		    case prog of
+			(_, SOME body) => Eval.exec StringMap.empty body
+		      | _ => ()
+	    end
+    end
+
 end