From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <N.Ojeda.Bar@dpmms.cam.ac.uk>
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 0EE427EE4C
	for <caml-list@sympa.inria.fr>; Thu, 17 Oct 2013 20:34:56 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  N.Ojeda.Bar@dpmms.cam.ac.uk) identity=pra;
  client-ip=131.111.24.3;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="N.Ojeda.Bar@dpmms.cam.ac.uk";
  x-sender="N.Ojeda.Bar@dpmms.cam.ac.uk";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  N.Ojeda.Bar@dpmms.cam.ac.uk designates 131.111.24.3 as
  permitted sender) identity=mailfrom; client-ip=131.111.24.3;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="N.Ojeda.Bar@dpmms.cam.ac.uk";
  x-sender="N.Ojeda.Bar@dpmms.cam.ac.uk";
  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.dpmms.cam.ac.uk) identity=helo;
  client-ip=131.111.24.3;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="N.Ojeda.Bar@dpmms.cam.ac.uk";
  x-sender="postmaster@mail.dpmms.cam.ac.uk";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ArsBAGMtYFKDbxgDl2dsb2JhbABakFKycBYOAQEBAQEIFgc1B4JmgX2IGQSfMJg6iRSSd4EHA5gGlSk
X-IPAS-Result: ArsBAGMtYFKDbxgDl2dsb2JhbABakFKycBYOAQEBAQEIFgc1B4JmgX2IGQSfMJg6iRSSd4EHA5gGlSk
X-IronPort-AV: E=Sophos;i="4.93,516,1378850400"; 
   d="scan'208";a="37524443"
Received: from mail.dpmms.cam.ac.uk ([131.111.24.3])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 17 Oct 2013 20:34:54 +0200
Received: from cpc19-cmbg14-2-0-cust477.5-4.cable.virginmedia.com ([86.6.31.222]:51892 helo=[192.168.0.3])
	by mail.dpmms.cam.ac.uk with esmtpsa (TLSv1:AES128-SHA:128)
	(Exim 4.80.1)
	(envelope-from <N.Ojeda.Bar@dpmms.cam.ac.uk>)
	id 1VWsPP-0000D2-12
	for caml-list@yquem.inria.fr; Thu, 17 Oct 2013 19:34:55 +0100
From: Nicolas Ojeda Bar <N.Ojeda.Bar@dpmms.cam.ac.uk>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-Id: <A69C1CFF-ED2F-4F49-BAAE-EE5F5E13D605@dpmms.cam.ac.uk>
Date: Thu, 17 Oct 2013 19:34:53 +0100
To: "caml-list@yquem.inria.fr" <caml-list@yquem.inria.fr>
Mime-Version: 1.0 (Mac OS X Mail 6.6 \(1510\))
X-Mailer: Apple Mail (2.1510)
X-ACL-Warn: checking mime attachment  
X-DPMMS-Spam-Score: -1.0 (-)
X-DPMMS-Spam-Report: score -1.0 from SpamAssassin-3.3.1
 -1.0 ALL_TRUSTED            Passed through trusted hosts only via SMTP
X-Validation-by: n.ojeda.bar@dpmms.cam.ac.uk
Subject: [Caml-list] async exceptions with lwt/async?

Hi,

Is there a way to raise an exception in a different thread than the
currently executing one with lwt? What about J. Street's async?

I am essentially looking for a replacement of Haskell's 'killthread'.

Thank you very much,
Nicolas