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 UAA00360; Tue, 28 Oct 2003 20:38:12 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 UAA22346 for ; Tue, 28 Oct 2003 20:38:10 +0100 (MET) Received: from jalapeno.cc.columbia.edu (jalapeno.cc.columbia.edu [128.59.59.238]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h9SJc9104030 for ; Tue, 28 Oct 2003 20:38:09 +0100 (MET) Received: from tw304h3.cpmc.columbia.edu (tw304h3.cpmc.columbia.edu [156.111.84.180]) (user=ot14 mech=LOGIN bits=0) by jalapeno.cc.columbia.edu (8.12.10/8.12.10) with ESMTP id h9SJbibS011142 (version=TLSv1/SSLv3 cipher=RC4-MD5 bits=128 verify=NOT); Tue, 28 Oct 2003 14:37:46 -0500 (EST) From: Oleg Trott To: David Brown , "Beck01, Wolfgang" Subject: Re: [Caml-list] Segmentation Fault on #load Date: Tue, 28 Oct 2003 15:37:30 -0400 User-Agent: KMail/1.5.4 Cc: edahlman@atcorp.com, caml-list@inria.fr References: <20031028090544.GA13216@davidb.org> In-Reply-To: <20031028090544.GA13216@davidb.org> MIME-Version: 1.0 Content-Type: text/plain; charset="koi8-r" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200310281437.30574.oleg_trott@columbia.edu> X-No-Spam-Score: Local X-Scanned-By: MIMEDefang 2.35 X-Loop: caml-list@inria.fr X-Spam: no; 0.00; oleg:01 oleg:01 caml-list:01 3.07:01 dumped:01 ffi:01 bug:01 cmo:01 cmo:01 ocaml:01 ocaml:01 caml:01 bytecode:01 toplevel:01 toplevel:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Tuesday 28 October 2003 04:05 am, David Brown wrote: > On Tue, Oct 28, 2003 at 04:47:04PM +0100, Beck01, Wolfgang wrote: > > You wrote: > > > $ ocaml > > > Objective Caml version 3.07+2 > > > > > > # #load pretty.cmo;; > > > Segmentation fault (core dumped) > > > > Loading object files into the ocaml toplevel is not a good idea. > > It's like loading pretty.cmo in your text editor (which looks > > not pretty). > > No, this is supposed to work. It should load the bytecode into the > toplevel. > > Dave Technically, it's possible for "#load" to cause seg-fault if "pretty" uses FFI and there is a bug somewhere. Otherwise, there may be a problem with Eric's copy of OCaml. -- Oleg Trott ------------------- 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