[Caml-list] 3.07+2 lossage (was: Segmentation Fault on #load)

["Eric Dahlman" <edahlman@atcorp.com>]

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