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
print ("User " ^ user ^ "'s configuration has errors!\n");
ok := false)
else
- app checker files
+ ();
+ app checker files
end
else
()