From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: <5764c029b688c1c0d24a2e97cd764f@gmail.com> 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 0F7137F084 for ; Tue, 17 Nov 2015 12:51:16 +0100 (CET) IronPort-PHdr: 9a23:ImxXsh1eQCTTIFe9smDT+DRfVm0co7zxezQtwd8ZsegQI/ad9pjvdHbS+e9qxAeQG96LtrQZ2qGM7+jJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6PyZnmnLrus7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cY6Lod8JtLWKD+N7kjQKZDRGAtOmUxocnqrgXrTA2V53JaXH9AwTRSBA2QyRjmU5W5kSzht+k1jHTFY5H9FeplU2ryv6wyQ0fk0nsObTNor2rb1ZIsgopUpRugo1p0xIuCM9LdD+Z3Yq6IJYBSfmFGRMsEDyE= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=5764c029b688c1c0d24a2e97cd764f@gmail.com; spf=Pass smtp.mailfrom=5764c029b688c1c0d24a2e97cd764f@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f47.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of 5764c029b688c1c0d24a2e97cd764f@gmail.com) identity=pra; client-ip=74.125.82.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of 5764c029b688c1c0d24a2e97cd764f@gmail.com designates 74.125.82.47 as permitted sender) identity=mailfrom; client-ip=74.125.82.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f47.google.com) identity=helo; client-ip=74.125.82.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="postmaster@mail-wm0-f47.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CaAAAGFEtWlC9SfUpegj2CQK04hwOMFoMvhDM7EQEBAQEBAQEBEAEBAQEHCwsJHzCCLYIgER0BGxwCAxIQDwIFFgsCCwMCAQIBEREBBQEWDA0IAh6HdgEDEgQBmyWCCIExPjGLSIFqgnmGJwoZJw1WhC4BBQ5zkkaBRAWHQYcMhBqDYo0qiQ0QkVs2gRc3glOBXnGDQCSBJgEBAQ X-IPAS-Result: A0CaAAAGFEtWlC9SfUpegj2CQK04hwOMFoMvhDM7EQEBAQEBAQEBEAEBAQEHCwsJHzCCLYIgER0BGxwCAxIQDwIFFgsCCwMCAQIBEREBBQEWDA0IAh6HdgEDEgQBmyWCCIExPjGLSIFqgnmGJwoZJw1WhC4BBQ5zkkaBRAWHQYcMhBqDYo0qiQ0QkVs2gRc3glOBXnGDQCSBJgEBAQ X-IronPort-AV: E=Sophos;i="5.20,307,1444687200"; d="scan'208";a="187880292" Received: from mail-wm0-f47.google.com ([74.125.82.47]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 17 Nov 2015 12:51:08 +0100 Received: by wmww144 with SMTP id w144so22023697wmw.0 for ; Tue, 17 Nov 2015 03:51:08 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:subject :content-type:content-transfer-encoding; bh=XZOUnhbJiuk91hcJAsvBQTyTtNDe5zud4MRmylu0Zx0=; b=TLtJ0oqQlEMGqFQ+ZjEIBWedz5FYKIREzXC7LxjTNzYCe9f/8M3210xOsrdOQqPFam ZI1jOXQECf9iCoPYnsXdKHV4LuqOV8UwZuhffFrQI2cLuY6JbKUf+ym8ivHeaSMHvrtA f8CWurWgSSe2zpsjiF9bABCvqW7oh7ObJHMS0TinZXZ0D+ayC6r/992pjVZdio1/HAO5 rD9geZlZ1QIB0khqgHrBrw459NsZO3iC7CT24n33tgqVNHN/vMu3NH8snnTw+NBx/tmT qH8L9AJ4vM5UKeuF8nzcZuxkQNt4ZlAZ8l75GQ8WBpQtWsb4eemfQ99/xbgW4gHZW5Th uOkQ== X-Received: by 10.28.15.194 with SMTP id 185mr2326595wmp.9.1447761067817; Tue, 17 Nov 2015 03:51:07 -0800 (PST) Received: from [172.28.46.60] (roam-nat-fw-prg-194-254-61-44.net.univ-paris-diderot.fr. [194.254.61.44]) by smtp.googlemail.com with ESMTPSA id w67sm23575290wmw.17.2015.11.17.03.51.06 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 17 Nov 2015 03:51:06 -0800 (PST) Message-ID: <564B14B0.3020306@gmail.com> Date: Tue, 17 Nov 2015 12:51:12 +0100 From: Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com> User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.8.0 MIME-Version: 1.0 To: caml users Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Subject: [Caml-list] a question about annotations 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.