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-28 (21:39)
From: Eric Dahlman <edahlman@a...>
Subject: RE: [Caml-list] Segmentation Fault on #load

At this point I suspect that something was wrong with my version of
OCaml. I changed machines this morning and have reinstalled everything.
I don't believe that I have done anything different but now #load does
not cause a segfault.  I have not had time to test much more than that
to see if there are still some other problems present.  I'll let you
know if something else appears.


P.S. The significant difference between the two setups is that the
problematic one was running Windows 2000 Pro and the new one is running
Windows XP.

> -----Original Message-----
> From: [mailto:owner-caml-
>] On Behalf Of Kevin S. Millikin
> Sent: Tuesday, October 28, 2003 1:57 PM
> To: 'Oleg Trott'; David Brown; Beck01, Wolfgang
> Cc:;
> Subject: RE: [Caml-list] Segmentation Fault on #load
> 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: