Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Bug?: Module Size causes Segmentation fault
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jan Kybic <kybic@f...>
Subject: [Caml-list] Bug?: Module Size causes Segmentation fault
Hello,
        I have a problem with the Size module of Jean-Christophe
Filliatre. In ocaml 3.07+2 on Linux, the following code 

        let _ = Size.size_b (fun x y -> 3. ) 

causes "Segmentation fault" in top-level, byte-compiled and natively
compiled code. The code is obviously wrong, it resulted
from a mistakenly inserting 'x', but I still hope there should be a
way for Size.size_b to either fail gracefully or not fail at all. 

For one parameter closures, such as

        let _ = Size.size_b (fun x -> 3. ) 

it works well. Yours,

Jan


-- 
-------------------------------------------------------------------------
Jan Kybic <kybic@ieee.org>                  tel. +420 2 2435 7264
       or <kybic@fel.cvut.cz>,     http://cmp.felk.cvut.cz/~kybic

-------------------
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