%%
-file : docOpt decls expOpt SEMIopt (docOpt, decls, expOpt)
+file : docOpt decls expOpt (docOpt, decls, expOpt)
decls : ([])
| decl decls (decl :: decls)
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
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