Nick Sabalausky wrote: > I'm pretty sure a correct D grammar is impossible in LALR(1)
"a^n b^n c^n" is not LALR(1). But "a^n b^n c^m" is---if n and m are not dependent. I.e.: without specifying the restrictions for the allowed semantic checks there is no sureness for impossibilities. -manfred
