caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* Stack overflow with native code
@ 2007-12-23 15:04 Christophe Raffalli
  0 siblings, 0 replies; only message in thread
From: Christophe Raffalli @ 2007-12-23 15:04 UTC (permalink / raw)
  To: caml-list


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


^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2007-12-23 15:00 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-12-23 15:04 Stack overflow with native code Christophe Raffalli

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).