From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <alain@frisch.fr>
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 9D4937F7B4
	for <caml-list@sympa.inria.fr>; Mon, 10 Feb 2014 15:39:46 +0100 (CET)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  alain@frisch.fr) identity=pra; client-ip=193.252.23.215;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  alain@frisch.fr) identity=mailfrom; client-ip=193.252.23.215;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@msa.smtpout.orange.fr) identity=helo;
  client-ip=193.252.23.215;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="alain@frisch.fr";
  x-sender="postmaster@msa.smtpout.orange.fr";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ar0BAGjj+FLB/BfXnGdsb2JhbAA/GoNEwBSBJg4BAQEBAQgLCQkUKIImAQU4QAEQCw4TFg8JAwIBAgFFBgEMAQcBAYgFCTbJDxeOOEUHhDgElEKDaYEyhRaPBw
X-IPAS-Result: Ar0BAGjj+FLB/BfXnGdsb2JhbAA/GoNEwBSBJg4BAQEBAQgLCQkUKIImAQU4QAEQCw4TFg8JAwIBAgFFBgEMAQcBAYgFCTbJDxeOOEUHhDgElEKDaYEyhRaPBw
X-IronPort-AV: E=Sophos;i="4.95,818,1384297200"; 
   d="scan'208";a="57705629"
Received: from msa06.smtpout.orange.fr (HELO msa.smtpout.orange.fr) ([193.252.23.215])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 10 Feb 2014 15:39:46 +0100
Received: from [192.168.1.133] ([92.151.124.253])
	by mwinf5d46 with ME
	id Qefl1n0045U8taL03efl0e; Mon, 10 Feb 2014 15:39:45 +0100
Message-ID: <52F8E4B4.3090704@frisch.fr>
Date: Mon, 10 Feb 2014 15:39:48 +0100
From: Alain Frisch <alain@frisch.fr>
User-Agent: Mozilla/5.0 (X11; Linux i686 on x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.3.0
MIME-Version: 1.0
To: Ben Millwood <bmillwood@janestreet.com>, 
 Goswin von Brederlow <goswin-v-b@web.de>
CC: caml-list@inria.fr
References: <CAAxsn=HZF+=-BCA+f3aU91tpAbOAG6wdCJW2CichbV4NsT4ncA@mail.gmail.com>	<20140206105811.GD28534@frosties>	<CA+MHO51M-kdY+JA9D0ryKMq_Gz=_EyFjc=10ope_M_1de1hCfQ@mail.gmail.com>	<20140210084746.GB26593@frosties> <CA+MHO5324Bi44vWJGhstsS_MAs9aZgFDdL26Ra3VwKWh=nm3tg@mail.gmail.com>
In-Reply-To: <CA+MHO5324Bi44vWJGhstsS_MAs9aZgFDdL26Ra3VwKWh=nm3tg@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] Proposal: extend try to handle success

Other people seem to prefer a syntax which would allow (maybe in the 
future) sharing exceptional and non-exceptional cases in the same clause.

In order to keep the discussion in one place, could you (Goswin and Ben, 
in particular) summarize your proposal on the corresponding Mantis ticket?

http://caml.inria.fr/mantis/view.php?id=6318


Thanks!


Alain