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
[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: 2004-07-26 (13:31)
From: Jan Kybic <kybic@f...>
Subject: [Caml-list] Bug?: Module Size causes Segmentation fault
        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 Kybic <>                  tel. +420 2 2435 7264
       or <>,

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: