From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p8FCOmMa014495 for ; Thu, 15 Sep 2011 14:24:48 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: As4GAD7ucU7VuiYS/2dsb2JhbABDhAxJlEGON3iBUwEBBQwXVhAJAhoCJgICLCsZh3mlFJFfDoEehDeBEQSkcw X-IronPort-AV: E=Sophos;i="4.68,387,1312149600"; d="scan'208";a="109189698" Received: from solaria.dimino.org ([213.186.38.18]) by mail4-smtp-sop.national.inria.fr with ESMTP; 15 Sep 2011 14:24:39 +0200 Received: from aurora (localhost.localdomain [127.0.0.1]) by solaria.dimino.org (Postfix) with ESMTP id 764B280048; Thu, 15 Sep 2011 14:24:39 +0200 (CEST) Received: by aurora (Postfix, from userid 1000) id C58BB3FF79; Thu, 15 Sep 2011 14:24:40 +0200 (CEST) From: =?ISO-8859-1?Q?J=E9r=E9mie?= Dimino To: rixed@happyleptic.org Cc: "caml-list@inria.fr" Date: Thu, 15 Sep 2011 14:24:40 +0200 In-Reply-To: <20110914161524.GA9661@yeeloong.happyleptic.org> References: <20110913183714.GA15241@yeeloong.happyleptic.org> <807250F7-599D-4D0D-9397-8A376DC727CA@recoil.org> <20110914161524.GA9661@yeeloong.happyleptic.org> Content-Type: text/plain; charset="UTF-8" X-Mailer: Evolution 3.0.3- Message-ID: <1316089480.28210.11.camel@aurora> Mime-Version: 1.0 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p8FCOmMa014495 Subject: Re: [Caml-list] Lwt and exceptions Le mercredi 14 septembre 2011 à 18:15 +0200, rixed@happyleptic.org a écrit : > -[ Tue, Sep 13, 2011 at 08:17:24PM +0100, Anil Madhavapeddy ]---- > > The occasional exception leak is really hard to track down though, if you let one propagate by mistake. Ban OCaml exceptions! :) > > Yes. Also, I'd like a Lwt.assert syntax extension to replace the > assert keyword. :-( I have added the assert_lwt keyword in pa_lwt. -- Jérémie