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 UAA27780; Tue, 28 Oct 2003 20:58:44 +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 UAA28766 for ; Tue, 28 Oct 2003 20:58:43 +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 h9SJwg105479 for ; Tue, 28 Oct 2003 20:58:42 +0100 (MET) Received: from SAILFISH (sailfish.atcorp.com [204.72.172.128]) by moby.atcorp.com (8.11.6/8.11.2) with SMTP id h9SJxtZ08960; Tue, 28 Oct 2003 13:59:55 -0600 Received: by localhost with Microsoft MAPI; Tue, 28 Oct 2003 13:56:42 -0600 Message-ID: <01C39D5B.513CCDF0.kmillikin@atcorp.com> From: "Kevin S. Millikin" Reply-To: "kmillikin@atcorp.com" To: "'Oleg Trott'" , David Brown , "Beck01, Wolfgang" Cc: "edahlman@atcorp.com" , "caml-list@inria.fr" Subject: RE: [Caml-list] Segmentation Fault on #load Date: Tue, 28 Oct 2003 13:56:41 -0600 Organization: ATC X-Mailer: Microsoft Internet E-mail/MAPI - 8.0.0.4211 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Loop: caml-list@inria.fr X-Spam: no; 0.00; 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 829:99 ocaml:01 ocaml:01 segmentation:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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