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

Cheers,
Christophe