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