if !ErrorMsg.anyErrors then
G
else
- Tycheck.checkFile G (Defaults.tInit ()) prog
+ Tycheck.checkFile G prog
end
fun autodoc {outdir, infiles} =
(case isAction evs t of
SOME evs => (types, contexts, s :: actions, vals, evs)
| NONE => (types, contexts, actions, s :: vals, evs))
+ | DEnv (s, _, _) =>
+ (types, contexts, actions, vals, StringSet.add (evs, s))
| DContext s => (types, s :: contexts, actions, vals, evs))
acc decls
end
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