Suppress unused env var warnings for lib.dtl

diff --git a/src/domtool.grm b/src/domtool.grm
index 13ee80b..bd2726c 100644 (file)
--- a/src/domtool.grm
+++ b/src/domtool.grm
@@ -79,7 +79,7 @@ open Ast
 
 %%
 
-file   : docOpt decls expOpt SEMIopt       (docOpt, decls, expOpt)
+file   : docOpt decls expOpt               (docOpt, decls, expOpt)
 
 decls  :                                   ([])
        | decl decls                        (decl :: decls)

diff --git a/src/main.sml b/src/main.sml
index a0f402d..b2f59b5 100644 (file)
--- a/src/main.sml
+++ b/src/main.sml
@@ -46,7 +46,10 @@ fun check' G fname =
        if !ErrorMsg.anyErrors then
            G
        else
-           (Option.app (Unused.check G) (#3 prog);
+           (if isLib fname then
+                ()
+            else
+                Option.app (Unused.check G) (#3 prog);
             Tycheck.checkFile G (Defaults.tInit prog) prog)
     end
 
@@ -102,7 +105,10 @@ fun check G fname =
                        if !ErrorMsg.anyErrors then
                            raise ErrorMsg.Error
                        else
-                           (Option.app (Unused.check G) (#3 prog);
+                           (if isLib fname then
+                                ()
+                            else
+                                Option.app (Unused.check G) (#3 prog);
                             (G', #3 prog))
                    end
            end