You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The parser that VAL uses is pretty badly deformed by the requirements of yacc-style LR(1) parsing. Instead of being a clean(ish) copy of the grammar from the spec, it's had to be hand-compiled into something that meets those requirements. That means that it can be very difficult to maintain or extend.
I was wondering: bison now supports generalized LR (GLR) parsing, which permits some ambiguities that standard yacc parsing couldn't handle (hence the extensive hand-compiling). This suggests that it might be a good idea to make a version of the parser that uses GLR parsing to improve maintainability.
Does this sound reasonable? Aside, that is, from finding someone who wants to do it!
The text was updated successfully, but these errors were encountered:
The parser that VAL uses is pretty badly deformed by the requirements of yacc-style LR(1) parsing. Instead of being a clean(ish) copy of the grammar from the spec, it's had to be hand-compiled into something that meets those requirements. That means that it can be very difficult to maintain or extend.
I was wondering: bison now supports generalized LR (GLR) parsing, which permits some ambiguities that standard yacc parsing couldn't handle (hence the extensive hand-compiling). This suggests that it might be a good idea to make a version of the parser that uses GLR parsing to improve maintainability.
Does this sound reasonable? Aside, that is, from finding someone who wants to do it!
The text was updated successfully, but these errors were encountered: