Re: [Caml-list] Array.make exception and parser

[Jean Krivine <jean.krivine@gmail.com>]

Good point. I think the fundamental reason is my poor grammar. But I
guess this should deserve a better warning that an Invalid_argument in
my face :)

Thanks!

On Wed, Jan 5, 2011 at 2:37 PM, Xavier Leroy <Xavier.Leroy@inria.fr> wrote:
> On 01/04/2011 02:41 PM, Jean Krivine wrote:
>
>> I am encountering a weird problem, I am trying to parse a very large
>> file (around 1.2 GB) according to a grammar defined in ocamlyacc.
>> During the parsing I get the exception
>> Invalid_argument "Array.make".
>> This  is strange because I am not using any array.
>
> As others said, you're just overflowing the stack of the parse engine.
>
> As no one else said already, watch out for left recusion vs. right
> recursion in your grammar, esp. the rules matching long sequences.  For more
> details, see e.g.
>
> http://tldp.org/HOWTO/Lex-YACC-HOWTO-6.html
>
> section 6.2, or many compiler textbooks.
>
> - Xavier Leroy
>
> --
> Caml-list mailing list.  Subscription management and archives:
> https://sympa-roc.inria.fr/wws/info/caml-list
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
>