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 p8DIcxvd006402 for ; Tue, 13 Sep 2011 20:38:59 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgwBAHWib07UGyoFkWdsb2JhbABCmSWOSxQBAQEBCQsLBxQDI4IUgTSIVZgEn1+GDmAEmGSLfQ X-IronPort-AV: E=Sophos;i="4.68,375,1312149600"; d="scan'208";a="119652637" Received: from smtp5-g21.free.fr ([212.27.42.5]) by mail1-smtp-roc.national.inria.fr with ESMTP; 13 Sep 2011 20:38:54 +0200 Received: from yeeloong (unknown [82.67.194.89]) by smtp5-g21.free.fr (Postfix) with SMTP id 3B928D4815F for ; Tue, 13 Sep 2011 20:38:47 +0200 (CEST) Received: by yeeloong (sSMTP sendmail emulation); Tue, 13 Sep 2011 20:37:15 +0200 Date: Tue, 13 Sep 2011 20:37:15 +0200 From: rixed@happyleptic.org To: caml-list@inria.fr Message-ID: <20110913183714.GA15241@yeeloong.happyleptic.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.21 (2010-09-15) Subject: [Caml-list] Lwt and exceptions The Lwt doc states that you should not use "raise" when using Lwt but use Lwt.fail instead. So, is it still OK to call functions (for instance from the stdlib) that may raise an exception, provided we catch it soon enough ? And by "soon enough" I mean: before an Lwt call that could schedule another thread.