Re: Determining LR(k)-ness

2009-11-18 Thread John R. Levine
It is my impression that most practical GLR grammars have parses that collapse pretty quickly after they split, For the info which I would find useful, this would be an important part -- i.e. glrinfo: split level 1, split at state 216 (somename: someothername, …) Bison doesn't know how much

Re: Determining LR(k)-ness

2009-11-18 Thread Hans Aberg
On 18 Nov 2009, at 23:41, John Levine wrote: For an arbitrary .y file, I'd like to know if it's possible to get some report detail that would tell me (when using the %glr-parser option) what was the maximum 'k' lookahead used for that grammar. Unless it has been changed lately, it just uses L

Re: Determining LR(k)-ness

2009-11-18 Thread Philip Aker
On 2009-11-18, at 15:07:01, Hans Aberg wrote: On 18 Nov 2009, at 23:46, Philip Aker wrote: I just used LR kind of loosely. So to be technically correct, I guess I should have said LALR(k)-ness. That does not help - it is just LALR(1). Ok, I just plain have to admit a badly named question.

Re: Determining LR(k)-ness

2009-11-18 Thread Philip Aker
On 2009-11-18, at 14:41:29, John Levine wrote: For an arbitrary .y file, I'd like to know if it's possible to get some report detail that would tell me (when using the %glr-parser option) what was the maximum 'k' lookahead used for that grammar. Unless it has been changed lately, it just uses

Re: Determining LR(k)-ness

2009-11-18 Thread Hans Aberg
On 18 Nov 2009, at 23:46, Philip Aker wrote: I just used LR kind of loosely. So to be technically correct, I guess I should have said LALR(k)-ness. That does not help - it is just LALR(1). What I want to know is when the parser splits, even if it splits multiple times, is there any way tha

Re: Determining LR(k)-ness

2009-11-18 Thread Philip Aker
On 2009-11-18, at 14:26:33, Hans Aberg wrote: On 18 Nov 2009, at 20:08, Philip Aker wrote: For an arbitrary .y file, I'd like to know if it's possible to get some report detail that would tell me (when using the %glr-parser option) what was the maximum 'k' lookahead used for that grammar.

Re: Determining LR(k)-ness

2009-11-18 Thread John Levine
>> For an arbitrary .y file, I'd like to know if it's possible to get >> some report detail that would tell me (when using the %glr-parser >> option) what was the maximum 'k' lookahead used for that grammar. > >Unless it has been changed lately, it just uses LALR(1) and splits the >parse when

Re: Determining LR(k)-ness

2009-11-18 Thread Hans Aberg
On 18 Nov 2009, at 20:08, Philip Aker wrote: For an arbitrary .y file, I'd like to know if it's possible to get some report detail that would tell me (when using the %glr-parser option) what was the maximum 'k' lookahead used for that grammar. Unless it has been changed lately, it just uses

Determining LR(k)-ness

2009-11-18 Thread Philip Aker
Greetings from Vancouver, This is my initial post to this list so firstly I'd like to thank all of those involved in the creation and ongoing maintenance of bison. It's been really handy to have it come pre-installed on Mac OS X. I'm using the stock install (which is version 2.3) on Mac OS X