I don't have experience with yacc, but bison can generate errors with almost that exact form. It's even possible to do Clang style underlining, although it take

I don't have experience with yacc, but bison can generate errors with almost that exact form. It's even possible to do Clang style underlining, although it takes some hand holding. That said, usually recursive descent gives better errors but in my experience it's mostly from better recovery.