if !ErrorMsg.anyErrors then
G
else
- Tycheck.checkFile G (Defaults.tInit prog) 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