The unpac monorepo manager self-hosting as a monorepo using unpac
Store only potential unused warnings
+3
-2
+3
-2
typing/typetexp.ml
+3
-2
typing/typetexp.ml
···
280
280
let remember_used ?check name v loc =
281
281
assert (not_generic v);
282
282
let unused = match check with
283
-
| None -> ref false
284
-
| Some check_loc ->
283
+
| Some check_loc
284
+
when Warnings.is_active (Warnings.Unused_type_declaration "") ->
285
285
let unused = ref true in
286
286
!Env.add_delayed_check_forward begin fun () ->
287
287
let warn = Warnings.Unused_type_declaration ("'" ^ name) in
···
289
289
then Location.prerr_warning check_loc warn
290
290
end;
291
291
unused
292
+
| _ -> ref false
292
293
in
293
294
used_variables := TyVarMap.add name (v, loc, unused) !used_variables
294
295