X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/82a0d609e39bb052f31efb7b70fe3b84fe4221a3..b3159a7069504fe2fb2b781cd6f438decaf0937a:/src/main.sml

diff --git a/src/main.sml b/src/main.sml
index 5b9ee57..2aa3da7 100644
--- a/src/main.sml
+++ b/src/main.sml
@@ -58,7 +58,9 @@ fun basis () =
 	if !ErrorMsg.anyErrors then
 	    Env.empty
 	else
-	    foldl (fn (fname, G) => check' G fname) Env.empty files
+	    (Tycheck.allowExterns ();
+	     foldl (fn (fname, G) => check' G fname) Env.empty files
+	     before Tycheck.disallowExterns ())
     end
 
 fun check fname =
@@ -72,6 +74,7 @@ fun check fname =
 	    raise ErrorMsg.Error
 	else
 	    let
+		val _ = Tycheck.disallowExterns ()
 		val _ = ErrorMsg.reset ()
 		val prog = Parse.parse fname
 	    in