From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <ivg@ieee.org>
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 95EBC7EE25
	for <caml-list@sympa.inria.fr>; Tue, 19 Nov 2013 05:49:04 +0100 (CET)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  ivg@ieee.org) identity=pra; client-ip=209.85.217.182;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org";
  x-conformance=sidf_compatible
Received-SPF: PermError (mail2-smtp-roc.national.inria.fr: cannot
  correctly interpret sender authenticity information from
  domain of ivg@ieee.org) identity=mailfrom;
  client-ip=209.85.217.182;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org";
  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-lb0-f182.google.com) identity=helo;
  client-ip=209.85.217.182;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="ivg@ieee.org";
  x-sender="postmaster@mail-lb0-f182.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AiEDANbsilLRVdm2lGdsb2JhbABZxGoWDgEBAQEHCwsJEiqCZns0AQQgAQUBFoggBAGgfIMEnkGPdIQbA4k8jlSQIUGEWA
X-IPAS-Result: AiEDANbsilLRVdm2lGdsb2JhbABZxGoWDgEBAQEHCwsJEiqCZns0AQQgAQUBFoggBAGgfIMEnkGPdIQbA4k8jlSQIUGEWA
X-IronPort-AV: E=Sophos;i="4.93,727,1378850400"; 
   d="scan'208";a="43654234"
Received: from mail-lb0-f182.google.com ([209.85.217.182])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 19 Nov 2013 05:49:04 +0100
Received: by mail-lb0-f182.google.com with SMTP id u14so2149121lbd.41
        for <caml-list@inria.fr>; Mon, 18 Nov 2013 20:49:03 -0800 (PST)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=x-gm-message-state:from:to:subject:date:message-id:user-agent
         :mime-version:content-type;
        bh=Jecuq2kcyVcd7qsAQXQzHYfI48q8gcX2AhbnM8e1kc8=;
        b=mz5+ah5Lo2HnTjoYsNrhKC/IbCHi7P+rwceGva2jUqWslwwuzr9r7Dt7gTgQHezlEo
         9mXU8nmUf0tWHT+ksksp3irxaAtf08rWlMsVYfllIp1NGPS/BJ+FWjBVXd7GOfiIY2R0
         Ahj6Xz0SWnbNxqCAxk6BsBecM2kGTr6hXUhzm5co82AuxSmgOSML6E/NGlRvFSkAUCEg
         AnVAbeHfDjbPYj9LvJuy2KhRZ5bd0Yvyd0EOt0BPH6dA/VmR/t5jWBzEx4k/jJxCHD3l
         XIbzvnI7oT2g0KOE87A+hEw6POxgQtnbPxnwxSoCmKQOu0egQ45dWwqv5hCShoNG8V4a
         ReyQ==
X-Gm-Message-State: ALoCoQkbb/HDx//jXk8Y5jIcmONKviRtNco7Ba56S036CM9Lv4whrZW/zbfa8Lb6lXM1vuPeOmrn
X-Received: by 10.112.89.232 with SMTP id br8mr16290297lbb.20.1384836543141;
        Mon, 18 Nov 2013 20:49:03 -0800 (PST)
Received: from golf.niidar.ru.niidar.ru ([109.188.127.34])
        by mx.google.com with ESMTPSA id vs11sm20495465lac.3.2013.11.18.20.49.01
        for <caml-list@inria.fr>
        (version=TLSv1.1 cipher=RC4-SHA bits=128/128);
        Mon, 18 Nov 2013 20:49:02 -0800 (PST)
From: Ivan Gotovchits <ivg@ieee.org>
To: caml-list@inria.fr
Date: Tue, 19 Nov 2013 08:48:55 +0400
Message-ID: <8738mthu88.fsf@golf.niidar.ru>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Subject: [Caml-list] lwt exceptions and infinite loops


consider the following simple example:

  open Lwt
  let rec loop () = Lwt_unix.sleep 1. >> loop ()
  let bad () = Lwt_unix.sleep 1. >> fail Not_found
  let () = Lwt_main.run (join [loop (); bad ()])


This program never terminates with an exception as I expect.

Can someone clarify to me what really happens underneath the hood?

Thanks in advance!