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.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 8ED76BC69 for ; Thu, 12 Apr 2007 17:53:43 +0200 (CEST) Received: from mga09.intel.com (mga09.intel.com [134.134.136.24]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l3CFrf6g027609 for ; Thu, 12 Apr 2007 17:53:42 +0200 Received: from fmsmga002.fm.intel.com ([10.253.24.26]) by mga09.intel.com with ESMTP; 12 Apr 2007 08:53:38 -0700 Received: from orsmsx334.jf.intel.com ([10.22.226.45]) by fmsmga002.fm.intel.com with ESMTP; 12 Apr 2007 08:53:30 -0700 X-ExtLoop1: 1 X-IronPort-AV: i="4.14,403,1170662400"; d="scan'208"; a="72581362:sNHT18595816776" Received: from orsmsx419.amr.corp.intel.com ([10.22.226.88]) by orsmsx334.jf.intel.com with Microsoft SMTPSVC(6.0.3790.1830); Thu, 12 Apr 2007 08:53:29 -0700 X-MimeOLE: Produced By Microsoft Exchange V6.5 Content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable Subject: RE: [Caml-list] Saving the OCaml interpreter state Date: Thu, 12 Apr 2007 08:53:29 -0700 Message-ID: <509223F0BF55E74FA1247D17207E7A0C014E58AE@orsmsx419.amr.corp.intel.com> In-Reply-To: <200704121627.17616.MichaelNedzelsky@yandex.ru> X-MS-Has-Attach: X-MS-TNEF-Correlator: Thread-Topic: [Caml-list] Saving the OCaml interpreter state Thread-Index: Acd8/rdjg+V1TokOTNCzEKXuBddDSwAG2Dgg From: "Harrison, John R" To: Cc: X-OriginalArrivalTime: 12 Apr 2007 15:53:30.0059 (UTC) FILETIME=[B742F9B0:01C77D1A] X-Miltered: at concorde with ID 461E5605.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 non-trivial:01 caml-list:01 poly:02 implementing:06 interpreter:07 quite:07 john:09 john:09 doesn't:12 doesn't:12 question:12 version:13 exist:13 | A new version of Poly ML also doesn't have the persistent storage system. Thanks; I didn't know that, and it comes as quite a surprise given Poly's history. Still, my question about OCaml stands. More specifically, I want to know whether the facility to save and restore state doesn't exist because =20 * None of the main OCaml developers particularly care about it or * There are non-trivial technical problems implementing it. John.