hcoop: update library defaults

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

diff --git a/src/autodoc.sml b/src/autodoc.sml
index bdf2527..baa8d54 100644 (file)
--- a/src/autodoc.sml
+++ b/src/autodoc.sml
@@ -36,7 +36,7 @@ fun check' G fname =
        if !ErrorMsg.anyErrors then
            G
        else
-           Tycheck.checkFile G (Defaults.tInit prog) prog
+           Tycheck.checkFile G prog
     end
 
 fun autodoc {outdir, infiles} =
@@ -232,6 +232,8 @@ fun makeEmacsKeywords 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