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 WAA07465; Tue, 28 Oct 2003 22:39:34 +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 WAA24957 for ; Tue, 28 Oct 2003 22:39:32 +0100 (MET) Received: from moby.atcorp.com (moby.atcorp.com [204.72.172.2]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h9SLdV112119 for ; Tue, 28 Oct 2003 22:39:31 +0100 (MET) Received: from seahorse (seahorse.atcorp.com [204.72.172.13]) by moby.atcorp.com (8.11.6/8.11.2) with ESMTP id h9SLevZ13976; Tue, 28 Oct 2003 15:40:57 -0600 Reply-To: From: "Eric Dahlman" To: , "'Oleg Trott'" , "'David Brown'" , "'Beck01, Wolfgang'" Cc: Subject: RE: [Caml-list] Segmentation Fault on #load Date: Tue, 28 Oct 2003 15:37:32 -0600 Organization: ATC Message-ID: <000701c39d9b$b26597c0$0dac48cc@seahorse> MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook, Build 10.0.2627 In-Reply-To: <01C39D5B.513CCDF0.kmillikin@atcorp.com> X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165 Importance: Normal X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 howdy:01 segfault:01 owner-caml-:01 caml-list:01 oleg:01 oleg:01 ffi:01 bug:01 3.07:01 cygwin:01 3.07:01 cygwin:01 specialists:99 952:99 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Howdy, At this point I suspect that something was wrong with my version of OCaml. I changed machines this morning and have reinstalled everything. I don't believe that I have done anything different but now #load does not cause a segfault. I have not had time to test much more than that to see if there are still some other problems present. I'll let you know if something else appears. -Eric P.S. The significant difference between the two setups is that the problematic one was running Windows 2000 Pro and the new one is running Windows XP. > -----Original Message----- > From: owner-caml-list@pauillac.inria.fr [mailto:owner-caml- > list@pauillac.inria.fr] On Behalf Of Kevin S. Millikin > Sent: Tuesday, October 28, 2003 1:57 PM > To: 'Oleg Trott'; David Brown; Beck01, Wolfgang > Cc: edahlman@atcorp.com; caml-list@inria.fr > Subject: RE: [Caml-list] Segmentation Fault on #load > > On Tuesday, October 28, 2003 1:38 PM, Oleg Trott > [SMTP:oleg_trott@columbia.edu] wrote: > > 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. > > "pretty" is the pretty printer from George Necula's CIL. It does not > contain foreign code, but does call Obj.magic. > > It appears to work for me (Ocaml 3.07 compiled with cygwin), but not > for Eric (Ocaml 3.07+2, cygwin). > > ---- > Kevin S. Millikin Architecture Technology Corporation > Research Scientist Specialists in Computer Architecture > (952)829-5864 x162 http://www.atcorp.com > > > > ------------------- > 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 ------------------- 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