Move main

Author: wimmers

ML/Mlton_Main.sml

@@ -1,3 +1 @@
-(* val main = check_and_verify_from_stream (TextIO.stdIn) *)
-val main = check_and_verify
 val _ = if MLton.isMLton then main() else ()

ML/Muntax.sml

@@ -54,4 +54,6 @@ fun check_and_verify_from_stream stream _ =
     then println "Failed to read line from input!"
       (* We append a space to terminate the input for the parser *)
     else input ^ " " |> run_and_print check_deadlock
-  end;
+  end;
+
+val main = check_and_verify_from_stream TextIO.stdIn