From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA10449; Tue, 17 Jun 2003 17:23:19 +0200 (MET DST)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA29050 for <caml-list@pauillac.inria.fr>; Tue, 17 Jun 2003 17:23:17 +0200 (MET DST)
Received: from isis.lip6.fr (isis.lip6.fr [132.227.60.2])
	by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h5HFNGH17943
	for <caml-list@inria.fr>; Tue, 17 Jun 2003 17:23:17 +0200 (MET DST)
Received: from poleia.lip6.fr (poleia.lip6.fr [132.227.205.24])
          by isis.lip6.fr (8.12.9/jtpda-5.4+victor) with ESMTP id h5HFL8GL004726
          (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO)
          for <caml-list@inria.fr>; Tue, 17 Jun 2003 17:21:08 +0200
X-pt: isis.lip6.fr
Received: from mailia.lip6.fr (localhost [127.0.0.1])
          by poleia.lip6.fr (8.12.9/jtpda-5.4+victor) with ESMTP id h5HFL4qU003945
          for <caml-list@inria.fr>; Tue, 17 Jun 2003 17:21:04 +0200
Received: (from www-data@localhost)
	by mailia.lip6.fr (8.12.9/8.12.9/Submit) id h5HFL4tM003943;
	Tue, 17 Jun 2003 17:21:04 +0200
X-Authentication-Warning: mailia.lip6.fr: www-data set sender to sicard@poleia.lip6.fr using -f
Received: from 132.227.204.18
        (SquirrelMail authenticated user sicard)
        by mailia.lip6.fr with HTTP;
        Tue, 17 Jun 2003 17:21:04 +0200 (CEST)
Message-ID: <51350.132.227.204.18.1055863264.squirrel@mailia.lip6.fr>
Date: Tue, 17 Jun 2003 17:21:04 +0200 (CEST)
Subject: [Caml-list] lazy and marshal
From: sicard@poleia.lip6.fr
To: caml-list@inria.fr
User-Agent: SquirrelMail/1.4.0
X-Mailer: SquirrelMail/1.4.0
MIME-Version: 1.0
Content-Type: text/plain;charset=iso-8859-1
X-Priority: 3
Importance: Normal
X-Scanned-By: isis.lip6.fr
X-Spam: no; 0.00; marshalling:01 val:01 closures:01 computed:01 int:01 marshal:01 lazy:02 exception:02 string:03 argument:03 abstract:03 let:04 lip:04 output:05 force:11 
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

Hello
I don't understand the following error :
Marshalling a lazy value don't work when the value has not been computed.


# let a = lazy 0;;
val a : int lazy_t = <lazy>
# Marshal.to_string a [ Marshal.Closures ] ;;
Exception: Invalid_argument "output_value: abstract value".

# Lazy.force a;;
- : int = 0
# Marshal.to_string a [ Marshal.Closures ] ;;
- : string =
"\132\149??\000\000\000\001\000\000\000\000\000\000\000\000\000\000\000\000@"
#

Thanks

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners