From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 7A7195D5 for ; Mon, 7 May 2018 17:02:04 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.49,374,1520895600"; d="scan'208";a="326096052" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 07 May 2018 19:02:03 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id EF5D18244C; Mon, 7 May 2018 19:02:02 +0200 (CEST) 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 2C4178240C for ; Mon, 7 May 2018 19:01:56 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=fperriot@gmail.com; spf=Pass smtp.mailfrom=fperriot@gmail.com; spf=None smtp.helo=postmaster@mail-lf0-f52.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AE2O2XRDpUG6NqhGHlvBJUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPT6o8bcNUDSrc9gkEXOFd2Cra4c0KyO6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglUijexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfO?= =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?= =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Qiqp4bt1RxD0iS?= =?us-ascii?q?cHLz85/3/Risxsl6JQvRatqwViz4LIfI2ZMfxzdb7fc9wHX2pMRsReVyJBDI2y?= =?us-ascii?q?bIUBEvQPMvpDoonhu1cDtweyCRWwCO7tzDJDm3/43bc90+QkCQzI3BYgEMwTv3?= =?us-ascii?q?vKttX1NbsdWv2vwqbW1zXDdfJW2TDh6IPVdR0hr+mMUqxqccrLyEkvEB/Fg06f?= =?us-ascii?q?qYzgJTyV1+ANv3KH4OpnUOKikmgqoBxyrDi33soglJXFi4YPxl3H9Sh12pg5Kc?= =?us-ascii?q?C4RUJhYdOoDp1dvDyAOYRsWMMtWWRotT46yrIYvZ67ezAHyJE9yB7eb/yLaoyI?= =?us-ascii?q?4hz/WOqILzd1hGxpdKiwhxa19kigxen8Wdeu3FlWqSpFl8HAtnEL1xPN9siKUu?= =?us-ascii?q?Vx8lul1DqV1A3e6vtILV4pmafbMZIswqA8moIWsUvZHy/2nEv2jLWRdkUh4uWo?= =?us-ascii?q?5fznbav8pp+GNo90jR3+P78hmsy6G+s4MwwOU3KH9uS70b3v5Vf5T6lSjv0qjq?= =?us-ascii?q?nZt4jXJMsfpqGnGQ9V1YYi5g2+Djen1dQXhmMHI0hfdBKGiYjpIVDOL+riAfex?= =?us-ascii?q?mVSmiC1ryOzePr39HpXNKWDOn6v7crZ4705Q0Q4zzdFE55JIEbwBO/LyWkrptN?= =?us-ascii?q?PCFBM5Mgq0w/zmCNpnzI8eV3iPUeelN/b5sVKUrscyOfWMdcdBvSvnN/g0ofXu?= =?us-ascii?q?gGMRlloUfK3v1pwSPiOWBPNjdmuDbHbhmNYKWV8HpBA/S/Ci3FOaXCRJZnGud6?= =?us-ascii?q?057zA/TomhCNGQFciWnLWd0XLjTdVtbWdcBwXJSC+wLtTWa7I3cCuXZ/RZvHkB?= =?us-ascii?q?XLmlRZUm0Ej35gD/wrtjaOHT/39B7M6x5J1O/+TW0CoK23lsFc3EijOCSmh1mi?= =?us-ascii?q?UDQDpkhPki83w48U+K1O1Du9IdFdFX4KkUAAIzNJqZy+IiTt6vAETOedCGTFvg?= =?us-ascii?q?SdKjU2k8?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BKAwA7hfBafzTXVdFcHAEBAQQBAQoBA?= =?us-ascii?q?YUfFRMKg2WDbZEIgXmBD4dhi0WBeAuEbAKCTAcZBwEEMRcBAgEBAQEBAQEBARM?= =?us-ascii?q?BAQkLCwgmJQyCNSQBgk8BAgIBIx0BGx0BAwwGBQsPAiYCAiIBEQEFARwGLoRtA?= =?us-ascii?q?QMNCJ0NPIsFgX8FAReCcAWDTAoZJg1UV4JAAgYSd4ccgVQ/hBqHc4JUApgqCI5?= =?us-ascii?q?NgScBizqQPQ8DHoEEHQGCCDMaCBsVOzGCEoIUg2iKVD0wkEQBAQ?= X-IPAS-Result: =?us-ascii?q?A0BKAwA7hfBafzTXVdFcHAEBAQQBAQoBAYUfFRMKg2WDbZE?= =?us-ascii?q?IgXmBD4dhi0WBeAuEbAKCTAcZBwEEMRcBAgEBAQEBAQEBARMBAQkLCwgmJQyCN?= =?us-ascii?q?SQBgk8BAgIBIx0BGx0BAwwGBQsPAiYCAiIBEQEFARwGLoRtAQMNCJ0NPIsFgX8?= =?us-ascii?q?FAReCcAWDTAoZJg1UV4JAAgYSd4ccgVQ/hBqHc4JUApgqCI5NgScBizqQPQ8DH?= =?us-ascii?q?oEEHQGCCDMaCBsVOzGCEoIUg2iKVD0wkEQBAQ?= X-IronPort-AV: E=Sophos;i="5.49,374,1520895600"; d="scan'208";a="326096030" Received: from mail-lf0-f52.google.com ([209.85.215.52]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 07 May 2018 19:01:55 +0200 Received: by mail-lf0-f52.google.com with SMTP id f18-v6so16024250lfc.5; Mon, 07 May 2018 10:01:55 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=c85RqWZ1+wzXtrRJU9gbpUVBQtcYhb837cUo9+hBdBo=; b=IetntUvNGUZZMGWcAetVfLTHByXBK9GppEGzHE608JjvcR2yEkUTAgC97YvWf9k9Im Cn8WHUpXh9ZPgn+3gKwTupOlAt54p9pXN5QGbmdl+rjQ1CnC2VJ1sBdOHe1BPLJaTWJH C8ROD1Z9wA3ZPcZOAAPJF11TWPEA/5Y4eJqlBjATsDZv2Dex6zGkCmewmnrclqsA3Hgz BH3Z0VQs9iRpogtM9h4djh3ok2A/65UXEbtZG/k0INt2da7DNl3lukohMY8NRuX+qzzP 4QzXi4apAq8cnLgtI4W+vxdqNAR2387lC+8lGegE9EiFHyQnnk4K5ekvrL6241txPbLE Nm4A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=c85RqWZ1+wzXtrRJU9gbpUVBQtcYhb837cUo9+hBdBo=; b=haIpEoGS275uWb9l2ZRmnUtN3oKl/7vnEh0PvapV88TkF2+KraO36md0Q2rJNON/rP tYBXA6ZLlci6QRX0iHzqG2Q7KPPrvBcPTSdR/5MtCH5+G3ZAjs3VvlLalGLrsUQfTf1q ftxWEw0zwHp8xZkwQN7BVMLUqAewRmF9cnxyD9p/xieO2QfjVkc/f4RLqogTojTzJBTR dPktT3z1k/qXb5UuoOr52cQYD29ES8UGDhuQ5nBGKuSxk+XLJl7eZmR+vlCRMq0zyOPX AK3BxRpbG24aNrnoVtEIpo5pzujEz6O2TDjkNlrphSa0ggWPBP07zIWx33z5UNzeJdOf /mzQ== X-Gm-Message-State: ALQs6tA0K7Rq7Fqcgzt7WejLua3KlLMwud2op1Um+MzpGE7PQaE3YbDf hDvpNsVPSqweGHZffvlsmUHJ4PlCXEptEIEXHLr6XTAV X-Google-Smtp-Source: AB8JxZotyiJNnWYj1J4wdYknP5nLRkO3HTWaDOmJhy0O2oyk5J+xyaRVDdvNjJc3ckS2J3Ug7QdMpGlyi1AN664ivU0= X-Received: by 2002:a2e:3613:: with SMTP id d19-v6mr11543146lja.100.1525712514510; Mon, 07 May 2018 10:01:54 -0700 (PDT) MIME-Version: 1.0 Received: by 10.46.85.200 with HTTP; Mon, 7 May 2018 10:01:54 -0700 (PDT) In-Reply-To: References: From: Frederic Perriot Date: Mon, 7 May 2018 19:01:54 +0200 Message-ID: To: Chet Murthy Cc: Xavier Leroy , caml-list Content-Type: text/plain; charset="UTF-8" Subject: Re: [Caml-list] an implicit GC rule? Reply-To: Frederic Perriot X-Loop: caml-list@inria.fr X-Sequence: 16883 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Chet Murthy and Xavier Leroy answered: >>> Even better, you could linearize the tree of expressions into a sequence, >> Yes, that's the robust solution. [...] thanks folks, I'll do that :) FP -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs