From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.6 required=5.0 tests=NO_REAL_NAME autolearn=disabled version=3.1.3 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 62C7BBC6B for ; Sun, 9 Dec 2007 22:25:38 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAIjrW0fBMKMDh2dsb2JhbACObnUCAQgKKQ X-IronPort-AV: E=Sophos;i="4.23,274,1194217200"; d="scan'208";a="6641947" Received: from zenobe.lpn.cnrs.fr ([193.48.163.3]) by mail3-smtp-sop.national.inria.fr with ESMTP; 09 Dec 2007 22:25:38 +0100 Received: from webmail.lpn.cnrs.fr (localhost.localdomain [127.0.0.1]) by zenobe.lpn.cnrs.fr (Postfix) with ESMTP id 6BCBC524005 for ; Sun, 9 Dec 2007 22:25:37 +0100 (CET) Received: from 81.57.198.61 (SquirrelMail authenticated user fab) by webmail.lpn.cnrs.fr with HTTP; Sun, 9 Dec 2007 22:25:37 +0100 (CET) Message-ID: <51051.81.57.198.61.1197235537.squirrel@webmail.lpn.cnrs.fr> Date: Sun, 9 Dec 2007 22:25:37 +0100 (CET) Subject: Ask for a more efficient way to deallocate memory From: Fabrice.Pardo@lpn.cnrs.fr To: caml-list@yquem.inria.fr User-Agent: SquirrelMail/1.4.9a MIME-Version: 1.0 Content-Type: text/plain;charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Priority: 3 (Normal) Importance: Normal X-Spam: no; 0.00; opendir:01 opendir:01 unix:01 unix:01 deallocate:03 let:03 let:03 finalise:04 cnrs:06 path:07 path:07 efficient:07 efficient:07 function:08 fabrice:08 Hello, As the function Unix.opendir returns a value, we can expect that Unix.closedir will be automatically called when Calling Unix.opendir too many times I'm looking for a more efficient code than this one let safe_opendir path = let _ = Gc.major () and d = Unix.opendir path in Gc.finalise Unix.closedir d