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 UAA22798; Fri, 31 Oct 2003 20:07:48 +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 UAA22781 for ; Fri, 31 Oct 2003 20:07:46 +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 h9VJ7Z105807 for ; Fri, 31 Oct 2003 20:07:40 +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 h9VJ7sZ21437; Fri, 31 Oct 2003 13:07:55 -0600 Reply-To: From: "Eric Dahlman" To: , "'Oleg Trott'" , "'David Brown'" , "'Beck01, Wolfgang'" Cc: Subject: [Caml-list] 3.07+2 lossage (was: Segmentation Fault on #load) Date: Fri, 31 Oct 2003 13:05:36 -0600 Organization: ATC Message-ID: <000101c39fe1$f8bcda10$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 Importance: Normal X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165 In-Reply-To: <01C39D5B.513CCDF0.kmillikin@atcorp.com> X-Loop: caml-list@inria.fr X-Spam: no; 0.00; 3.07:01 lossage:01 howdy:01 3.07:01 cygwin:01 cygwin:01 bug:01 oleg:01 oleg:01 ffi:01 bug:01 specialists:99 952:99 829:99 faq:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Howdy All, Here is an update on this situation. It looks like there is some sort of bad interaction with the patches to 3.07 and cygwin. I installed the original 3.07 on this machine and it was able to load the file just fine, while the 3.07+2 version seg faults. In both of these cases, I totally cleaned out everything and made a fresh build. I also tried 3.07+2 under Linux and it did not generate a seg fault so it looks like cygwin is a necessary component. I don't know enough at this point to better characterize this bug but I hope that someone who know what went into the last two patches may have an idea. Thanks, -Eric > -----Original Message----- > 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