From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p0VGT7xX021451 for ; Mon, 31 Jan 2011 17:29:07 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgUFAJJyRk2M9xyZgWdsb2JhbACWV443AQEWIiS0UYhohU4EhROHDoNF X-IronPort-AV: E=Sophos;i="4.60,404,1291590000"; d="scan'208";a="75080146" Received: from math.harvard.edu (HELO abel.math.harvard.edu) ([140.247.28.153]) by mail3-smtp-sop.national.inria.fr with ESMTP; 31 Jan 2011 17:29:04 +0100 Received: from [192.168.1.7] (c-69-251-254-213.hsd1.md.comcast.net [69.251.254.213]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (No client certificate requested) by abel.math.harvard.edu (Postfix) with ESMTP id C096CA591 for ; Mon, 31 Jan 2011 11:29:02 -0500 (EST) From: Nicolas Ojeda Bar Content-Type: text/plain; charset=us-ascii Message-Id: <476C4EB3-59D2-4756-927C-C1697E7AE4D8@math.harvard.edu> Date: Mon, 31 Jan 2011 11:29:01 -0500 To: caml-list@yquem.inria.fr Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Apple Message framework v1082) X-Mailer: Apple Mail (2.1082) Subject: [Caml-list] reference cells Hello, I am translating an imperative language into Ocaml. Right now I am translating mutable variables into ref cells. Will they be optimized when I compile the corresponding Ocaml program? Or will they be heap allocated? If this is the case, I will have to translate my language into some sort of SSA form before, and I would like to avoid that. Thanks! N