From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <roland.zumkeller@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: **
X-Spam-Status: No, score=3.0 required=5.0 tests=AWL,DNS_FROM_RFC_POST,
	MAILTO_TO_SPAM_ADDR,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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by yquem.inria.fr (Postfix) with ESMTP id C8452BC37
	for <caml-list@yquem.inria.fr>; Wed,  1 Jul 2009 05:23:35 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AoQBALRzSkpKfVwZk2dsb2JhbACYRT8BAQEBCQkKCRMDpSOBGpA6AQMCBIQLBQ
X-IronPort-AV: E=Sophos;i="4.42,320,1243807200"; 
   d="scan'208";a="32261134"
Received: from qw-out-2122.google.com ([74.125.92.25])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 01 Jul 2009 05:23:35 +0200
Received: by qw-out-2122.google.com with SMTP id 5so312197qwd.15
        for <caml-list@yquem.inria.fr>; Tue, 30 Jun 2009 20:23:34 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:received:in-reply-to:references
         :from:date:message-id:subject:to:cc:content-type
         :content-transfer-encoding;
        bh=AaYTp6pxbTZPGtiJq9R7lNaEk6Pqxg8O8ddH9A6UXto=;
        b=KUAUWO5ztyyQdw4lwozO0ee4vfzgMbfqqrWj/+D3UJAQVJm1JP+OhGQtvbl2+wAqgw
         EkJaaP5OE3NOW0+JdeACPzxNhvFKbrGL+GJLk8DILB94DylPpyh4z5skdHNCQIZBbmIT
         lM3p073vBYKWQJVeO3LNFb62mUWBzi1XrWLjY=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:in-reply-to:references:from:date:message-id:subject:to
         :cc:content-type:content-transfer-encoding;
        b=caYyAsiKOJevF2JtWxf+bbT/AqxErraNaAIqGwpaBEzQpQsy1TR0kHxvY+fGruP8Kt
         MDlZi0b4sHO6ZHyTe0VhYprcytM+ov8F8R8DS3wNefJg1XaT01TBk0oyu21gp1m/mnYz
         UGfOCr8Z8PqjAShcS/vtjU3z4IfelC+Ly2v9c=
MIME-Version: 1.0
Received: by 10.224.28.145 with SMTP id m17mr4756820qac.214.1246418187262; 
	Tue, 30 Jun 2009 20:16:27 -0700 (PDT)
In-Reply-To: <d8be5ae20906261044n578aeabeg1f09b22d8d87268a@mail.gmail.com>
References: <d02dcb040906252122w522022bbu69cdb5f5ade6ccf4@mail.gmail.com> 
	<d8be5ae20906261044n578aeabeg1f09b22d8d87268a@mail.gmail.com>
From: Roland Zumkeller <roland.zumkeller@gmail.com>
Date: Wed, 1 Jul 2009 10:16:07 +0700
Message-ID: <d02dcb040906302016j39c73570yb76c2ac9f1938620@mail.gmail.com>
Subject: Re: [Caml-list] ignoring toplevel phrases?
To: Ashish Agarwal <agarwal1975@gmail.com>
Cc: caml-list@yquem.inria.fr
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Spam: no; 0.00; toplevel:01 toplevel:01 computations:01 2009:98 1975:98 wrote:01 caml-list:01 functions:01 let:03 ignoring:05 jun:09 curious:09 120:90 execute:09 previous:10 

On Sat, Jun 27, 2009 at 12:44 AM, Ashish Agarwal<agarwal1975@gmail.com> wrote:
> Just curious, why do you want this?

I would like to save the state of the toplevel to the disk using
serialization. As functions can't be serialized one could check at
every "let" statement if there is a saved serialized value and if yes,
take that, otherwise execute the let-body. Just complinig is not an
option, since the *results* of previous computations should be saved,
i.e. 120 as opposed to "fact 5".