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 721897EF5E for ; Mon, 25 Jul 2016 22:06:32 +0200 (CEST) IronPort-PHdr: 9a23:p+0aWRagdIO2Aj+zdk9Q7B7/LSx+4OfEezUN459isYplN5qZpMy4bnLW6fgltlLVR4KTs6sC0LuO9f65EjVcvN6oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JXvkb7rsMSPPk1hv3mUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD89pozcNLUL37cqIkVvQYSW1+ayFm0vb2rgHORhej4X4VU2Ne0kYZQluN0Bavd5P4sy2ymPB8wyKadZn/Sbk1X3Ks9aZwQx/AjCoXNjA4tmrQj5ojorhcpUeOrhZlwoPQKLqeNPdkc7mVKdwTT3BAU8IXTCdBD5mxdaMACuMAOaBTqIyr9AhGlge3GQT5XLCn8TRPnHKjmPBj3g== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f180.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.223.180; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.223.180 as permitted sender) identity=mailfrom; client-ip=209.85.223.180; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@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-io0-f180.google.com) identity=helo; client-ip=209.85.223.180; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-io0-f180.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DlAgBLcJZXgLTfVdFchBV8BqcjhgCNOySFeQKBOwc8EAEBAQEBAQEBEQEBCQ0JCRcxgjIEARKCFAEFEhEdARsSCwEDDAYFCw0CAgkdAgIiAREBBQEKEgYTEhCHcwEDFw6aPIEyPjGLO4FqgloFhCkKGScDClSDOgEBAQEBAQEDAQEBAQEBARgCBhBxhSmETYQdgySCWgWGVwySRYFfhDiIWIFsToc9hUiOYhIegQ81hC4gMocagUMBAQE X-IPAS-Result: A0DlAgBLcJZXgLTfVdFchBV8BqcjhgCNOySFeQKBOwc8EAEBAQEBAQEBEQEBCQ0JCRcxgjIEARKCFAEFEhEdARsSCwEDDAYFCw0CAgkdAgIiAREBBQEKEgYTEhCHcwEDFw6aPIEyPjGLO4FqgloFhCkKGScDClSDOgEBAQEBAQEDAQEBAQEBARgCBhBxhSmETYQdgySCWgWGVwySRYFfhDiIWIFsToc9hUiOYhIegQ81hC4gMocagUMBAQE X-IronPort-AV: E=Sophos;i="5.28,420,1464645600"; d="scan'208";a="227913730" Received: from mail-io0-f180.google.com ([209.85.223.180]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 25 Jul 2016 22:06:30 +0200 Received: by mail-io0-f180.google.com with SMTP id b62so172764959iod.3 for ; Mon, 25 Jul 2016 13:06:30 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=IwESv76DakxNRA2vqc7z9egqms2n4axsaZXgbWoPpJI=; b=oL+OaU9+sa0/5RhiQDVVSXpj93SbqERZvrfB71gYd9ws51tcWwq6hyrjDsrWk8zEzt BRgsGVbOpyR75V04tV81KfXPoPkljh2lS/K0yHevwZRMrB6JI7+iVAIi3uyBhNV+S0AL dj5RQkNvY+bTpa1y2g68v1kRdjrTIXbFj3n3ruUHeSxoiEVomiZUyxcPEKHGJs7bgbRI OdMlL9csWuZHopq8aLJprhvo5ZKjY0fX7oHEq6dmY3MrLPeu/a3jpweL5xplWqQyTuPn 7F62VQDXXDyz1hm8ex+g1v6sRKH+bTxgFMfb6Rts6SLlzb5mWwtNayTfxXgrcYBqwa2Q bEGg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=IwESv76DakxNRA2vqc7z9egqms2n4axsaZXgbWoPpJI=; b=i2v65HyzfC/Lelg7qhdVm+/AB4vG0J/5QPp5GpIy4L8IIMeCUbkSQ2ISXkfKY6OQwY ZGijENWtJVj17gCFs05pqJDtTAz19P/fp+rvjY5U+kvHWOFa6Rt2UU+IT9xVD9qNDznl 7Upi+lJ0brazoplEMX1LNRHN6P9e+vkuzwh9qtMkuTgmotbN+gfmqlxGj1hhgLdhL7uq gFaN8aGQNIRb4jJWn0fd5xG4EWHvzyp3WXc64OPuBNCwdH4ZacuL28QMyAw3UbOGTzWU ss3B7aOEhXUc3BEv0/0wp7PrEnHqR18T6rTZDrQpB1Rs/cLI466sDkZRXnoFMmUf0Mn+ bnFA== X-Gm-Message-State: AEkoousagMunTKUaOqQT5niMqHgR3RG+qf74LK3yRudB2oUnCGCU6+TTKJ/gGbGcXWTweTS3MxIIHUaj5pasxA== X-Received: by 10.107.139.194 with SMTP id n185mr24541586iod.159.1469477189740; Mon, 25 Jul 2016 13:06:29 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.20.67 with HTTP; Mon, 25 Jul 2016 13:05:50 -0700 (PDT) In-Reply-To: <07e4f1d2-f61f-4047-b1a0-7339b78825e3@lexifi.com> References: <64e8e1be-7081-d683-e777-6f377968f36c@gmail.com> <07e4f1d2-f61f-4047-b1a0-7339b78825e3@lexifi.com> From: Gabriel Scherer Date: Mon, 25 Jul 2016 16:05:50 -0400 Message-ID: To: Alain Frisch Cc: Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com>, caml users Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] exception Foo = Bar.Baz I think it would be nice for users that only read .mli files to know equalities between exceptions, for example if they want to reason on exhaustiveness of exception handling clauses with respect to a given (informal) exception specification. On Mon, Jul 25, 2016 at 4:02 PM, Alain Frisch wrote: > 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 > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs