Re: [Caml-list] lwt exceptions and infinite loops

[Jacques-Pascal Deplaix <jp.deplaix@gmail.com>]

Oh ok, I didn't know that, thanks.

On 11/19/2013 12:11 PM, Raphaël Proust wrote:
> On Tue, Nov 19, 2013 at 11:06 AM, Jacques-Pascal Deplaix
> <jp.deplaix@gmail.com> wrote:
>> Where did you find the operator (>>) ? Your function loop doesn't
>> terminate because (>>) evaluates both arguments.
> Lwt's syntax extensions provides (>>) as sugar for `>>= fun () ->`.
>
> http://ocsigen.org/lwt/api/Pa_lwt
>
>
>> On 11/19/2013 05:48 AM, Ivan Gotovchits wrote:
>>> 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!
>>>
>
>