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