From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p271o7hQ026697 for ; Mon, 7 Mar 2011 02:50:08 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvYGAOPHc02TLtdJ/2dsb2JhbACYUI19dL5UhWIEhRqHFoNDGg X-IronPort-AV: E=Sophos;i="4.62,274,1297033200"; d="scan'208";a="89319261" Received: from ropas.snu.ac.kr ([147.46.215.73]) by mail4-smtp-sop.national.inria.fr with ESMTP; 07 Mar 2011 02:49:50 +0100 Received: from [192.168.10.43] (unknown [147.46.216.71]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (No client certificate requested) by ropas.snu.ac.kr (Postfix) with ESMTP id 24D80EAC74 for ; Mon, 7 Mar 2011 10:49:46 +0900 (KST) From: Kihong Heo Content-Type: text/plain; charset=us-ascii Date: Mon, 7 Mar 2011 10:49:45 +0900 Message-Id: To: caml-list@inria.fr Mime-Version: 1.0 (Apple Message framework v1082) X-Mailer: Apple Mail (2.1082) Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p271o7hQ026697 Subject: [Caml-list] variable sharing Dear caml-list. I want to know how ocaml compiler make variable sharing. I believe the compiler do good job, but sometime memory consumption of my program does not make sense. So I am curious about what the compiler did or how to make program memory efficiently. If you know some good notes or web pages for that issue, please let me know. Thank you. - Kihong Heo