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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 493AF7ED1A for ; Mon, 21 May 2012 16:18:53 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmIKAJNNuk/RVdi2kGdsb2JhbABEpRmOYQgiAQEBAQkJDQcUBCOCFQEBAQMBEgIsATgBAwwBBQULAzgiEgEFARwGEyKHXgMGBaBvCQOPFIUNJw2JTAEFDIp5hU0DjRWIBo4VPYFTgjY X-IronPort-AV: E=Sophos;i="4.75,631,1330902000"; d="scan'208";a="144510173" Received: from mail-qc0-f182.google.com ([209.85.216.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-MD5; 21 May 2012 16:18:52 +0200 Received: by qcsg15 with SMTP id g15so5016558qcs.27 for ; Mon, 21 May 2012 07:18:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type; bh=RTbmQ2bFNo9zSYNKFV0tg6eO0YqCuK4rNuJu9rBaQfA=; b=ifo4Ou8qfTY2MBDNi4KWnCzSZYWPAiWtzZrIcKLQ8njtnrdZTq865C7QNPmeYY46Mj HetBjpWQ0k3KO2pElVvnRMwVSnzONsY2JPY5xiAa0e/VB7SXZR/6DeABLKbA7lUMvaZP kcKmzd4LCRvofqE2tDg5R2ZU3WPTi6A4Bz3PbNMr0zzocdVnB4uof0S2g+WaztTruJ1Z 9nxRRlaRm01lECbk7Hu6bvOXQTJuwJFLroxdGp6EEyTEv/Qpr914RDLUXWqHpvxZnETN JobU0vSBolUM5Kvn+/oCMWlTwpTW06GgDHeueG+uDxgY7uJilx0REr58byNCcMBM4Hm4 D83w== MIME-Version: 1.0 Received: by 10.60.169.146 with SMTP id ae18mr18974624oec.36.1337609931292; Mon, 21 May 2012 07:18:51 -0700 (PDT) Sender: philippe.wang.lists@gmail.com Received: by 10.182.60.193 with HTTP; Mon, 21 May 2012 07:18:50 -0700 (PDT) In-Reply-To: <1337607107.25112.77.camel@thinkpad> References: <20120521142336.79901oeoxunjuoc8.lealanko@webmail.helsinki.fi> <1337601452.19263.0@samsung> <1337607107.25112.77.camel@thinkpad> Date: Mon, 21 May 2012 16:18:50 +0200 X-Google-Sender-Auth: UKcFVPNNTnq1GR4KhZkGq9uWkug Message-ID: From: Philippe Wang To: Gerd Stolpmann Cc: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] Channels not closed on gc? On Mon, May 21, 2012 at 3:31 PM, Gerd Stolpmann wrote: >> Wouldn't it be a good idea to provide both ways? >> i.e., one that collects automatically, in addition to the current one >> that doesn't. > > You can easily do this yourself: > > Gc.finalise close_in ch Certainly, but I meant on a high-level way, without the need to explicitly use OCaml's internal API, for the sake of "non ocaml hackers". :) -- Philippe Wang