Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix #6677: allow to disable warning 39 through an [@ocaml.warning] attribute on the first value binding.

master
alainfrisch 2016-03-14 17:16:48 +01:00
parent e329753384
commit ddb2826029
1 changed files with 8 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
typing/typecore.ml
View File

@ -4004,9 +4004,14 @@ and type_let ?(check = fun s -> Warnings.Unused_var s)
spat_sexp_list pat_slot_list in
current_slot := None;
if is_recursive && not !rec_needed
&& Warnings.is_active Warnings.Unused_rec_flag then
Location.prerr_warning (List.hd spat_sexp_list).pvb_pat.ppat_loc
Warnings.Unused_rec_flag;
&& Warnings.is_active Warnings.Unused_rec_flag then begin
let {pvb_pat; pvb_attributes} = List.hd spat_sexp_list in
(* See PR#6677 *)
Builtin_attributes.with_warning_attribute pvb_attributes
(fun () ->
Location.prerr_warning pvb_pat.ppat_loc Warnings.Unused_rec_flag
)
end;
List.iter2
(fun pat exp ->
ignore(check_partial env pat.pat_type pat.pat_loc [case pat exp]))