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
Stack overflow with native code
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-12-23 (15:00)
From: Christophe Raffalli <christophe.raffalli@u...>
Subject: Stack overflow with native code

Dear list members,

I have a program that runs well and quick (0.6s) in bytecode but 
produces a stackoverflow on native code (in 0.2s).
This behavior is observed on linux intel with unlimited stack size and 
OS X with 64Mb stacks (which is the maximum).
The only unsafe feature are one or two magic in bindlib to manage a 
dependtly type environment. There is no C interface
and no use of any C library, and no -unsafe. So I do not really see how 
to explain the difference of behavior.

I tested with ocaml 3.10 and 3.10.1-rc1

Any hints ? (if not, I will fill a bug report, but the piece of code to 
compile to reproduce the problem is large (~10000 loc)).