Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
From: Eric Dahlman <edahlman@a...>
Subject: RE: [Caml-list] Segmentation Fault on #load
Howdy,

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.

-Eric

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