Re: [Caml-list] Bug in typing polymorphic variants found

[John Max Skaller <skaller@ozemail.com.au>]

Jacques Garrigue wrote:

>I didn't try with 3.01, only with 3.04+10, and I get a segmentation
>fault on the first example.
>Since you use ocamlopt, I couldn't get any debugging information, so I
>tried again with ocamlc -g, and the error I get is a stack overflow.
>I expect there is a bug somewhere in your program...
>
All 30 or so regression tests and tutorial examples work correctly
with Ocaml 3.01.

When I add debuging print statements,
the bug doesn't always happen!

It crashes long before the first debugging print
if it crashes, and not at all if it executes even one of them.
There is no way I can try to find an infinite recursion
that doesn't happen when I add print statements.

I'm a very experienced programmer.  My code has some
exceptionally nasty recursions in it. I wouldn't be surprised
if some of them could go infinite .. but I'd expect Ocaml 3.01
to segfault then too. It doesn't. It generates exactly the expected
output, which compiles under g++ correctly, and executes correctly.

My code is pure ocaml, except for Big_num module.

-- 
John Max Skaller, mailto:skaller@ozemail.com.au
snail:10/1 Toxteth Rd, Glebe, NSW 2037, Australia.
voice:61-2-9660-0850




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