Hi,
On Sat, 18 Dec 1999, Lars Skovlund wrote:
> Phew, all this formalism really gets on my nerves :-)
That's what formalism was designed for in the first place- the improved
precision is really just a side effect ;-)
Anyway, this thing is, IMHO, sufficiently complex to justify a more formal
approach.
> Anyway, I'll have to study the grammar more closely to be sure, but there are no
> apparent bugs.
Well, I've already found some:
--snip--
NestedBeforeA : BeforeExp
{ $$ = AUG(0x142, 0x14a, BeforeExp, #) }
| [ BeforeExp ]
{ $$ = AUG(0x152, 0x142, BeforeExp, #) }
;
NestedBeforeB : BeforeExp
{ $$ = AUG(0x143, 0x14a, BeforeExp, #) }
| [ BeforeExp ]
{ $$ = AUG(0x152, 0x143, BeforeExp, #) }
;
--snip--
needs to be replaced with
--snip--
NestedBeforeA : BeforeExp
{ $$ = AUG(0x142, 0x14a, $1, #) }
| [ BeforeExp ]
{ $$ = AUG(0x152, 0x142, $2, #) }
;
NestedBeforeB : BeforeExp
{ $$ = AUG(0x143, 0x14a, $1, #) }
| [ BeforeExp ]
{ $$ = AUG(0x152, 0x143, $2, #) }
;
--snip--
llap,
Christoph
