From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 33CAA7FF9F for ; Tue, 8 Mar 2016 11:54:45 +0100 (CET) IronPort-PHdr: 9a23:o8QKlB9Vz7Awd/9uRHKM819IXTAuvvDOBiVQ1KB92+scTK2v8tzYMVDF4r011RmSDdqdu64P07WempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lRciC04/viKibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwuwwZgf8q9tZBXKPmZOx4COUAVHV1e1wysejqsRDFejCT730bUGgIkxEAVw3E6Bj8RYvZvS7zt+470y6fa57YV7cxDBav9apuSRKgpCYCNjg+uDXVhs11jaRciBCooRFk35TZbZ3TP/17KPCONegGTHZMC54CHxdKBZmxOs5WV7IM Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jdimino@janestreet.com; spf=Pass smtp.mailfrom=jdimino@janestreet.com; spf=None smtp.helo=postmaster@mxout1.mail.janestreet.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of jdimino@janestreet.com) identity=pra; client-ip=38.105.200.112; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="jdimino@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of jdimino@janestreet.com designates 38.105.200.112 as permitted sender) identity=mailfrom; client-ip=38.105.200.112; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="jdimino@janestreet.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mxout1.mail.janestreet.com) identity=helo; client-ip=38.105.200.112; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="postmaster@mxout1.mail.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BzAADcrt5WknDIaSZchHkGukQBDYFphg8CgS8HOBQBAQEBAQEBARABAQEBBxYJUEESAYFZghUBAQMBEhEdAQE3AQQLCwQHNwICIQESAQUBHAYTCBqHbQMKCAOhPoExPjGKT2eEQQEEhhcNhEQBAQEBAQEEAQEBAQEBAQESBgqGDYQ+gj2EfYE6ly+LeYF1jnuHDYYLER6BDx4BAYI4HoFQaoUShG0BAQE X-IPAS-Result: A0BzAADcrt5WknDIaSZchHkGukQBDYFphg8CgS8HOBQBAQEBAQEBARABAQEBBxYJUEESAYFZghUBAQMBEhEdAQE3AQQLCwQHNwICIQESAQUBHAYTCBqHbQMKCAOhPoExPjGKT2eEQQEEhhcNhEQBAQEBAQEEAQEBAQEBAQESBgqGDYQ+gj2EfYE6ly+LeYF1jnuHDYYLER6BDx4BAYI4HoFQaoUShG0BAQE X-IronPort-AV: E=Sophos;i="5.22,556,1449529200"; d="scan'208,217";a="167603885" Received: from mxout1.mail.janestreet.com ([38.105.200.112]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 08 Mar 2016 11:54:34 +0100 Received: from tot-qpr-mailcore1.delacy.com ([172.27.56.68] helo=tot-qpr-mailcore1) by mxout1.mail.janestreet.com with esmtps (TLSv1:DHE-RSA-AES256-SHA:256) (Exim 4.82) (envelope-from ) id 1adFHc-0001Ja-3R for caml-list@inria.fr; Tue, 08 Mar 2016 05:54:32 -0500 X-JS-Flow: external Received: by tot-qpr-mailcore1 with JS-mailcore (0.1) (envelope-from ) id BW3q9o-AAAAl6-B1; 2016-03-08 05:54:32.059640-05:00 Received: from mail-io0-f174.google.com ([209.85.223.174]) by mxgoog1.mail.janestreet.com with esmtps (UNKNOWN:AES128-GCM-SHA256:128) (Exim 4.72) (envelope-from ) id 1adFHb-0006BE-Uy for caml-list@inria.fr; Tue, 08 Mar 2016 05:54:32 -0500 Received: by mail-io0-f174.google.com with SMTP id g203so21420514iof.2 for ; Tue, 08 Mar 2016 02:54:31 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc; bh=hbb4h47HAafmddI3Kr1h/OnmuDqGP5+Mped9l8LQvag=; b=BY/R1RxJWRQQMCEr4v6txXsuUTD973aI0ZZhHtX/MUbqe2kGlsUQLR8fF3YWmStsfu GnGL6miAlmbugFoBIhTP5WBUHQASywyDpdWoqpM+tcO8D17sBhuqBIFKtTPCBUtmFyut rGkgzWdKxcc/eJeSoLeK/W3bE1FoNsdQ0DuCQ= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc; bh=hbb4h47HAafmddI3Kr1h/OnmuDqGP5+Mped9l8LQvag=; b=Dm3sj0rYI1AU0qYDiAnZGpWo5O4vQroBhOvWbQtLDZ2xGIDYrgB1FUrUrPnlmpvdGb eyXdWQBL32mvoqOIHf7xDcaIJ/7UYYKVH8tV5iiil7tITKYrbmroaRMQjIveP0bVl33M EJ9zMG9JKrWiMs3d0rqR1inzvT0hCSTDV2+W7IBiMeu8Z5YZ61Pe3+MTweOafnXADWk5 wRrJ/W7PAUj/GHFbn7vJBW/20MsFZljFagEUFrqbDfj4wfOJEQe9gtYyFp/lSZoQe+B5 x+JMnwU4Wn3wKWZ1jfXykQtqxWFQJ/gANe/L0i/n2+GUrAmnKin98Iv3yd1ss6NzRNtl MzEg== X-Gm-Message-State: AD7BkJIkPCsJFIbUUhijLeDqWKuudAemSIYpILVbrhITf7krE6Wiw512CNbjlm6CwW8NrzNUK0UMzQYg/WKJqOIq+8n6/rLYhiEZ1dC+RqBgMuaIYIQ6nC0/LhvEDozSvzBwOWkE2L7OZojjccET X-Received: by 10.107.148.202 with SMTP id w193mr24298279iod.82.1457434471658; Tue, 08 Mar 2016 02:54:31 -0800 (PST) MIME-Version: 1.0 X-Received: by 10.107.148.202 with SMTP id w193mr24298270iod.82.1457434471558; Tue, 08 Mar 2016 02:54:31 -0800 (PST) Received: by 10.50.30.193 with HTTP; Tue, 8 Mar 2016 02:54:31 -0800 (PST) In-Reply-To: References: <86oaaqahc1.fsf@gmail.com> <20160307090859.GF30630@nunchakus.loria.fr> Date: Tue, 8 Mar 2016 10:54:31 +0000 Message-ID: From:Jeremie Dimino To:=?UTF-8?Q?Milan_Stanojevi=C4=87?= Cc:Ashish Agarwal , Yotam Barnoy , Simon Cruanes , Malcolm Matalka , Ocaml Mailing List Content-Type: multipart/alternative; boundary=001a113fc640f613a5052d87674a X-JS-Processed-by: mailcore Subject: Re: [Caml-list] Question about Lwt/Async --001a113fc640f613a5052d87674a Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable On Tue, Mar 8, 2016 at 6:55 AM, Milan Stanojevi=C4=87 w= rote: > Of course, devil is in the details. I hope that this is indeed > possible and that changes necessary to Lwt and Async to make this work > are not huge. =E2=80=8BRight now we just need a few modifications to Async to make this w= ork (Lwt using Async backend or vice versa).=E2=80=8B It's relatively easy to get into a state with the limitation that you couldn't use the same file descriptor with Lwt and Async, which seems acceptable. For stdout/stderr it'd be fine as long as you don't print at the same time, in which case the output might be interleaved. But with a bit more work on Lwt and Async this could be sorted --=20 Jeremie --001a113fc640f613a5052d87674a Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
On Tue, Ma= r 8, 2016 at 6:55 AM, Milan Stanojevi=C4=87 <milanst@gmail.com> wrote:
Of course, devil is i= n the details. I hope that this is indeed
possible and that changes necessary to Lwt and Async to make this work
are not huge.

=E2=80=8BRi= ght now we just need a few modifications to Async to make this work (Lwt us= ing Async backend or vice versa).=E2=80=8B

It's relatively easy to get in= to a state with the limitation that you couldn't use the same file desc= riptor with Lwt and Async, which seems acceptable. For stdout/stderr it'= ;d be fine as long as you don't print at the same time, in which case t= he output might be interleaved. But with a bit more work on Lwt and Async t= his could be sorted

--
Jeremie
--001a113fc640f613a5052d87674a--