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 UAA09223; Mon, 30 Aug 2004 20:57:09 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA09066 for ; Mon, 30 Aug 2004 20:57:08 +0200 (MET DST) Received: from mail.math.berkeley.edu (mail.math.Berkeley.EDU [169.229.58.57]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id i7UIv62f013704 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Mon, 30 Aug 2004 20:57:08 +0200 Received: from blue1.Math.Berkeley.EDU (IDENT:2040@blue1.Math.Berkeley.EDU [169.229.58.58]) by mail.math.berkeley.edu (8.12.11/8.12.11) with ESMTP id i7UIv5R1079370 for ; Mon, 30 Aug 2004 11:57:05 -0700 (PDT) (envelope-from solovay@math.berkeley.edu) Received: from localhost (solovay@localhost) by blue1.Math.Berkeley.EDU (8.12.10+Sun/8.12.10/Submit) with ESMTP id i7UIv5OW021326 for ; Mon, 30 Aug 2004 11:57:05 -0700 (PDT) X-Authentication-Warning: blue1.Math.Berkeley.EDU: solovay owned process doing -bs Date: Mon, 30 Aug 2004 11:57:05 -0700 (PDT) From: "Robert M. Solovay" X-X-Sender: solovay@blue1 To: caml-list@inria.fr Subject: [Caml-list] Dumping the OCaml state Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Scanned-By: MIMEDefang 2.44 X-Miltered: at nez-perce with ID 41337882.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 hol-light:01 restarted:01 ocaml:01 ocaml:01 lisp:01 command:98 dump:01 executable:03 executable:03 dumping:04 written:08 something:09 image:89 image:89 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk I am using the HOL-light proof verifier which is written in OCaml. What I would like to do is store the state [to an executable image] so that I would not have to read in all the initialization files the next time I run the program. {There used to be a command in Common Lisp "dump" which would store an executable image to a file that could then be restarted. My question is: is there something like this in OCaml.} Thank you. --Bob Solovay ------------------- 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