[Caml-list] Bug?: Module Size causes Segmentation fault

[Caml-list] Bug?: Module Size causes Segmentation fault

[Jan Kybic]

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