Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
RE: [Caml-list] Segmentation Fault on #load
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2003-10-31 (19:07)
From: Eric Dahlman <edahlman@a...>
Subject: [Caml-list] 3.07+2 lossage (was: Segmentation Fault on #load)

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.


> -----Original Message-----
> On Tuesday, October 28, 2003 1:38 PM, Oleg Trott
> [] 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
> -------------------
> To unsubscribe, mail Archives:
> Bug reports: FAQ:
> Beginner's list:

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: