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 (19:58)
From: Kevin S. Millikin <kmillikin@a...>
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: