]> 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