[Caml-list] Differences between interpreted/compiled code

[Eric Dahlman <edahlman@atcorp.com>]

Howdy,

I am trying to track down a bug and I wonder if someone could enlighten 
me as to the difference between the execution of compiled code and byte 
code.  I remember someone on this list mention that there should not be 
any detectable difference between the two but my test is busting the 
stack in one case but no the other.  My first guess is that the 
interpreter may not be performing tail call optimization where the 
compiler is but I am not clear as to whether that counts as an 
"observable" difference.

I the code which breaks is in a library which uses an ocaml lexer and 
parser to interpret a string so as support for my running hypothesis do 
the generated parsers assume that TCO will be properly performed?

What are the differences between the two execution models and could 
that be contributing to my stack problems?

Thanks,
-Eric

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