Annotation [@warning "-32"] does not work correctly

[vicuna]

Original bug ID: 7624
Reporter: dinosaure
Assigned to: @alainfrisch
Status: resolved (set by @alainfrisch on 2017-09-13T21:51:21Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 4.03.0
Fixed in version: 4.06.0 +dev/beta1/beta2/rc1
Category: language features

Bug description

When we have a unused value annotated with [@warning "-32"] and we compile with '-w @32', the compiler remains in fail.

Steps to reproduce

main.ml:
let[@warning "-32"] f x = x

let g x = x

let () = print_endline "Hello Word!"

main.mli:
val g : 'a -> 'a

$ ocamlc -w @32 main.mli main.ml

Additional information

When we put [@@@warning "-32"] at top-level, all works - but I don't want to silent warning about all unused values.

[vicuna]

Comment author: dinosaure

Tested with 4.06.0+pr1248 too.

[vicuna]

Comment author: @xclerc

Pull request: #1327