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.9 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id B0052BC69 for ; Sat, 14 Apr 2007 13:59:27 +0200 (CEST) Received: from relay2.beelinegprs.ru (mail.gprsrus.net [217.118.66.233]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l3EBxRga008693 for ; Sat, 14 Apr 2007 13:59:27 +0200 Received: from relay2 (localhost [127.0.0.1]) by relay2 (Postfix) with SMTP id 21D5213EB92 for ; Sat, 14 Apr 2007 15:56:12 +0400 (MSD) Received: from [192.168.0.80] (unknown [172.19.168.126]) by relay2.beelinegprs.ru (Postfix) with ESMTP id 12FE513EB8A for ; Sat, 14 Apr 2007 15:56:10 +0400 (MSD) From: Michael Nedzelsky Reply-To: MichaelNedzelsky@yandex.ru To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Saving the OCaml interpreter state Date: Sat, 14 Apr 2007 15:59:19 +0400 User-Agent: KMail/1.7.1 References: <509223F0BF55E74FA1247D17207E7A0C0151BA6B@orsmsx419.amr.corp.intel.com> In-Reply-To: <509223F0BF55E74FA1247D17207E7A0C0151BA6B@orsmsx419.amr.corp.intel.com> MIME-Version: 1.0 Content-Type: text/plain; charset="koi8-r" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200704141559.19731.MichaelNedzelsky@yandex.ru> X-SpamTest-Info: Profile: Formal (1132/070412) X-SpamTest-Info: Profile: Detect Hard No RBL (4/030526) X-SpamTest-Info: Profile: SysLog X-SpamTest-Info: Profile: Marking Spam - Subject (2/030321) X-SpamTest-Status: Not detected X-SpamTest-Version: SMTP-Filter Version 2.0.0 [0125], KAS/Release X-Miltered: at discorde with ID 4620C21F.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 toplevel:01 yandex:98 wrote:01 caml-list:01 binary:01 poly:02 poly:02 seems:03 nominating:03 fri:05 sessions:06 sessions:06 apr:06 interpreter:07 On Fri, 13 Apr 2007 11:07 pm, Harrison, John R wrote: > By the way, I checked with someone who knows Poly/ML, and it turns out > that > > the new mechanism can still be used to get save/restore of sessions just > by nominating > > the Poly/ML toplevel as the function to export as a binary. So although > the mechanism > > has changed, the basic support for saving and restoring sessions has not > vanished. > You are correct, it seems that it was an overlook on my part, sorry for this. Michael