On Tue, Jan 4, 2011 at 4:31 PM, Daniel Bünzli <span dir="ltr">&lt;<a href="mailto:daniel.buenzli@erratique.ch">daniel.buenzli@erratique.ch</a>&gt;</span> wrote:<br><div class="gmail_quote"><div> </div><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">

That&#39;s not the bug. The Invalid_argument exception is never supposed<br>
to be caught, it denotes a programming error from the client of the<br>
module.<br>
<br>
The bug lies in calling Array.make with a value larger than<br>
Sys.max_array_length.<br>
<br></blockquote><br>Agree, but here I am never calling Array.make so ocaml is &quot;internally&quot; calling array.make with a wrong argument. So the bug is not really mine. An easy &quot;patch&quot; would be to define a Parsing.Overflow exception to throw whenever the function grow_stack() fails...<br>

<br>J<br></div>