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: Kevin S. Millikin <kmillikin@a...>
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