From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 5465B7EEFC for ; Tue, 17 Nov 2015 13:20:13 +0100 (CET) IronPort-PHdr: 9a23:06JPRRNffsAiHpK0KIUl6mtUPXoX/o7sNwtQ0KIMzox0KP/5rarrMEGX3/hxlliBBdydsKIZzbeH+Pu7EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35nxirH5oMabSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6Lpyv/JHBK7zeqB9Sb1DEBwnNXo07Yvlr0rtVwyKs3wXTmwdkgBPBUCR6xrmV7/ptS/rvep6wi6ce8PsG+NnEQ++5rtmHUe7wBwMMCQ0pTna Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=octa@polychoron.fr; spf=None smtp.mailfrom=octa@polychoron.fr; spf=None smtp.helo=postmaster@relay5-d.mail.gandi.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of octa@polychoron.fr) identity=pra; client-ip=217.70.183.197; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="octa@polychoron.fr"; x-sender="octa@polychoron.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of octa@polychoron.fr) identity=mailfrom; client-ip=217.70.183.197; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="octa@polychoron.fr"; x-sender="octa@polychoron.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@relay5-d.mail.gandi.net) identity=helo; client-ip=217.70.183.197; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="octa@polychoron.fr"; x-sender="postmaster@relay5-d.mail.gandi.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DEAABNGktWnMW3RtlehA5vAQWrUgaUcyGFbwKBUDsRAQEBAQEBAQEQAQEBAQEGDQkJIS6CLYIIAQEEIw8BBUARCxoCBRYLAgIJAwIBAgFFEwgBAYgqBAmrGJBBDAEggQGFDIVFhFlOgk6BRAWHQYcMh3yBWoNHii6GeZMmAjeCU4FfcAEBAYM9JB8BgQYBAQE X-IPAS-Result: A0DEAABNGktWnMW3RtlehA5vAQWrUgaUcyGFbwKBUDsRAQEBAQEBAQEQAQEBAQEGDQkJIS6CLYIIAQEEIw8BBUARCxoCBRYLAgIJAwIBAgFFEwgBAYgqBAmrGJBBDAEggQGFDIVFhFlOgk6BRAWHQYcMh3yBWoNHii6GeZMmAjeCU4FfcAEBAYM9JB8BgQYBAQE X-IronPort-AV: E=Sophos;i="5.20,307,1444687200"; d="scan'208";a="187884068" Received: from relay5-d.mail.gandi.net ([217.70.183.197]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 17 Nov 2015 13:20:12 +0100 Received: from mfilter48-d.gandi.net (mfilter48-d.gandi.net [217.70.178.179]) by relay5-d.mail.gandi.net (Postfix) with ESMTP id B430C41C075 for ; Tue, 17 Nov 2015 13:20:12 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at mfilter48-d.gandi.net Received: from relay5-d.mail.gandi.net ([IPv6:::ffff:217.70.183.197]) by mfilter48-d.gandi.net (mfilter48-d.gandi.net [::ffff:10.0.15.180]) (amavisd-new, port 10024) with ESMTP id B8Udp8f5-Ycs for ; Tue, 17 Nov 2015 13:20:11 +0100 (CET) X-Originating-IP: 146.232.92.127 Received: from [146.232.92.127] (unknown [146.232.92.127]) (Authenticated sender: octa@polychoron.fr) by relay5-d.mail.gandi.net (Postfix) with ESMTPSA id D961941C0C6 for ; Tue, 17 Nov 2015 13:20:10 +0100 (CET) To: caml-list@inria.fr References: <564B14B0.3020306@gmail.com> From: octachron Message-ID: <564B1B78.3090307@polychoron.fr> Date: Tue, 17 Nov 2015 14:20:08 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.3.0 MIME-Version: 1.0 In-Reply-To: <564B14B0.3020306@gmail.com> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] a question about annotations 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 "-"] > > 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. >