Re: [Caml-list] a question about annotations

[octachron <octa@polychoron.fr>]

Concerning the documentation, as often with the reference manual, the 
relevant section is in the language extension part:
http://caml.inria.fr/distrib/ocaml-4.02/ocaml-4.02-refman.html#sec241.

However, this section is slightly out of date in the released manual due 
to recent change in the placement of the attribute:
https://github.com/ocaml/ocaml/pull/152.

Le 11/17/15 13:51, Matej Kosik a écrit :
> 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.
>