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