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