if !ErrorMsg.anyErrors then
G
else
- Tycheck.checkFile G (Defaults.tInit ()) prog
+ Tycheck.checkFile G prog
end
fun autodoc {outdir, infiles} =
printKind ("contexts", contexts);
printKind ("actions", actions);
printKind ("vals", vals);
- printKind ("env-vars", StringSet.listItems evs)
+ printKind ("env-vars", StringSet.listItems evs);
+ print "(provide 'domtool-tables)\n"
end
end