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