From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p8EGHYf1028202 for ; Wed, 14 Sep 2011 18:17:35 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnwBACTTcE7UGyoFkWdsb2JhbABBp2cUAQEBAQkLCwcUAyOBUwEBBTpPC0YUSYgMtUSGDmAEmGiLfg X-IronPort-AV: E=Sophos;i="4.68,381,1312149600"; d="scan'208";a="119833438" Received: from smtp5-g21.free.fr ([212.27.42.5]) by mail1-smtp-roc.national.inria.fr with ESMTP; 14 Sep 2011 18:17:03 +0200 Received: from yeeloong (unknown [82.67.194.89]) by smtp5-g21.free.fr (Postfix) with SMTP id 672F3D4805A for ; Wed, 14 Sep 2011 18:16:56 +0200 (CEST) Received: by yeeloong (sSMTP sendmail emulation); Wed, 14 Sep 2011 18:15:24 +0200 Date: Wed, 14 Sep 2011 18:15:24 +0200 From: rixed@happyleptic.org To: "caml-list@inria.fr" Message-ID: <20110914161524.GA9661@yeeloong.happyleptic.org> References: <20110913183714.GA15241@yeeloong.happyleptic.org> <807250F7-599D-4D0D-9397-8A376DC727CA@recoil.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <807250F7-599D-4D0D-9397-8A376DC727CA@recoil.org> User-Agent: Mutt/1.5.21 (2010-09-15) Subject: Re: [Caml-list] Lwt and exceptions -[ 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. :-(