Like many others I'm hoping for a nice general parser generator for quite some time.
So I'm also asking specifically about your insights on PEGs.
>From what I know they do have some memory issues due to the backtrace memoization (only for deep parse trees though, which aren't common in programming languages). Also it seems that the research community has some issues to formalize PEGs and what grammars they are capable to handle.
Also why is the expr grammar example so complicated?