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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 6563C7EF5E for ; Mon, 25 Jul 2016 22:02:33 +0200 (CEST) IronPort-PHdr: 9a23:sK9DyRDWNj0KL83zU6aYUyQJP3N1i/DPJgcQr6AfoPdwSP7ypcbcNUDSrc9gkEXOFd2CrakV06yI6uu5Aj1IyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWD14LpjqvroMybSj4LrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGwD884moutJTaj4N4c/Vr1bRGB7bD5p75Wx5BOdHVuEv3BEXj9Km0BFUlfO4E6kApnZvS7zt+470y6fa4m+RrkxXXGm7rx3YB7ukiYOcTAjo0/NjcklpaZSoRTpiQZ+2IXUKNWcMPN/eOXTZ9IBTmppWstBViJARIi7at1cXKI6Ie9Eotyl9BM1phykCFz0CQ== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=alain.frisch@lexifi.com; spf=None smtp.mailfrom=alain.frisch@lexifi.com; spf=None smtp.helo=postmaster@mx20.yaziba.net Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of alain.frisch@lexifi.com) identity=pra; client-ip=85.233.204.164; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alain.frisch@lexifi.com"; x-sender="alain.frisch@lexifi.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of alain.frisch@lexifi.com) identity=mailfrom; client-ip=85.233.204.164; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alain.frisch@lexifi.com"; x-sender="alain.frisch@lexifi.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mx20.yaziba.net) identity=helo; client-ip=85.233.204.164; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="alain.frisch@lexifi.com"; x-sender="postmaster@mx20.yaziba.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0C2AgCYb5ZXh6TM6VVchD+7NoYdAoFCPBABAQEBAQEBAREBAQEKCwkJGS+CMhWCFgEFIxVRCxgCAiYCAlcGAQwIAQGIMKgijVcBAQEHAQEBAQEBAQEfgQGFKYF4CIJNhB2DJIJaAQSZKIFfjRCBVod+hWuQHwI1gjuBWYgGgUMBAQE X-IPAS-Result: A0C2AgCYb5ZXh6TM6VVchD+7NoYdAoFCPBABAQEBAQEBAREBAQEKCwkJGS+CMhWCFgEFIxVRCxgCAiYCAlcGAQwIAQGIMKgijVcBAQEHAQEBAQEBAQEfgQGFKYF4CIJNhB2DJIJaAQSZKIFfjRCBVod+hWuQHwI1gjuBWYgGgUMBAQE X-IronPort-AV: E=Sophos;i="5.28,420,1464645600"; d="scan'208";a="185911101" Received: from mx20.yaziba.net ([85.233.204.164]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 25 Jul 2016 22:02:32 +0200 Received: from mta20.int.yaziba.net (mta20.int.yaziba.net [10.4.20.31]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by mx20.yaziba.net (mx10.yaziba.net) with ESMTPS id BF9561A77A3; Mon, 25 Jul 2016 22:02:31 +0200 (CEST) Received: from mta20.int.yaziba.net (localhost [127.0.0.1]) by mta20.int.yaziba.net (Postfix) with ESMTPS id D5734CA72A; Mon, 25 Jul 2016 22:02:31 +0200 (CEST) Received: from localhost (localhost [127.0.0.1]) by mta20.int.yaziba.net (Postfix) with ESMTP id C3B76CA74D; Mon, 25 Jul 2016 22:02:31 +0200 (CEST) X-Virus-Scanned: amavisd-new at mta20.int.yaziba.net Received: from mta20.int.yaziba.net ([127.0.0.1]) by localhost (mta20.int.yaziba.net [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id TK8cuhqDtA63; Mon, 25 Jul 2016 22:02:31 +0200 (CEST) Received: from [192.168.1.11] (LFbn-1-535-219.w86-245.abo.wanadoo.fr [86.245.27.219]) by mta20.int.yaziba.net (Postfix) with ESMTPSA id 8A9D3CA76C; Mon, 25 Jul 2016 22:02:31 +0200 (CEST) To: Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com>, caml-list@inria.fr References: <64e8e1be-7081-d683-e777-6f377968f36c@gmail.com> From: Alain Frisch Message-ID: <07e4f1d2-f61f-4047-b1a0-7339b78825e3@lexifi.com> Date: Mon, 25 Jul 2016 22:02:27 +0200 User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:45.0) Gecko/20100101 Thunderbird/45.2.0 MIME-Version: 1.0 In-Reply-To: <64e8e1be-7081-d683-e777-6f377968f36c@gmail.com> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-DRWEB-SCAN: ok X-VRSPAM-SCORE: 0 X-VRSPAM-STATE: legit X-VRSPAM-CAUSE: gggruggvucftvghtrhhoucdtuddrfeeltddriedugddugeehucetufdoteggodetrfcurfhrohhfihhlvgemucggtfgfnhhsuhgsshgtrhhisggvpdgjtegkkfeuteenuceurghilhhouhhtmecufedttdenucenucfjughrpefuvfhfhffkffgfgggjtgfgsehtjeertddtfeejnecuhfhrohhmpeetlhgrihhnucfhrhhishgthhcuoegrlhgrihhnrdhfrhhishgthheslhgvgihifhhirdgtohhmqeenucfkphepkeeirddvgeehrddvjedrvdduleenucfrrghrrghmpehmohguvgepshhmthhpohhuth X-VRSPAM-EXTCAUSE: mhhouggvpehsmhhtphhouhht Subject: Re: [Caml-list] exception Foo = Bar.Baz On 25/07/2016 16:34, Matej Kosik wrote: > That means that, at present, one can put something like: > > exception Foo = Bar.Baz > > inside a _module structure_. > > I am currently wondering why we are not allowed (also) to put this into a _module signature_ ? > Is this a deliberate decision (why?) or merely an omission? What would be the use of putting that in a module signature instead of just "exception Foo"? (This could perhaps allow the compiler to report more pattern as being useless, but this is of limit benefit.) -- Alain