Allow some of a user's config to survive regen, even when some doesn't type-check

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

diff --git a/src/main.sml b/src/main.sml
index fc8df17..d769a61 100644 (file)
--- a/src/main.sml
+++ b/src/main.sml
@@ -939,7 +939,13 @@ fun domainList dname =
 
 fun regenerateEither tc checker context =
     let
 
 fun regenerateEither tc checker context =
     let

-       val domainsBefore = domainList Config.resultRoot
+       val () = print "Starting regeneration....\n"
+
+       val domainsBefore =
+           if tc then
+               SS.empty
+           else
+               domainList Config.resultRoot

 
        fun ifReal f =
            if tc then
 
        fun ifReal f =
            if tc then


@@ -1015,7 +1021,8 @@ fun regenerateEither tc checker context =
                             print ("User " ^ user ^ "'s configuration has errors!\n");
                             ok := false)
                        else
                             print ("User " ^ user ^ "'s configuration has errors!\n");
                             ok := false)
                        else

-                           app checker files
+                           ();
+                       app checker files

                    end
                else
                    ()
                    end
                else
                    ()