[Caml-list] a question about annotations

[Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com>]

Dear Ocaml users,

A few days ago there was a question about how to disable a specific warning in a specific location
and the answer was to use

	[@warning "-<num>"]

annotation.

I tried it myself.
By trial and error I was able to figure out how to use it with "function" and "match" constructs.

With this fragment:

	type raw_frame =
	| Known_location of bool * string * int * int * int
	| Unknown_location of bool (*is_raise*)

I would like to temporarily disable warning 37:

	"Warning 37: constructor Known_location is never used to build values.
	 (However, this constructor appears in patterns.)"

However, by trial and error, I failed to figure out where is the proper place to put the [@warning "-37"] annotation:

Is there some document that describes where annotations are supported
and what do they mean?

I have skimmed the Reference Manual, but unfortunatelly, I can't find any relevant information.
Where should I look?

Thanks in advance.