Languages like Haskell support the definition of the fixity of operators at runtime.
A parser generator could help the implementation of such features by deferring conflict resolution to the runtime. Instead of hard-coding the resolution to the parse-table a conflict resolution entry could be set, which uses parse-time available information to determine how the conflict shall be resolved.
The way this shall be exposed is not obvious. But a fixity like "%runtime" could be used and methods could be added to the parser, to control fixity resolution.
Languages like Haskell support the definition of the fixity of operators at runtime.
A parser generator could help the implementation of such features by deferring conflict resolution to the runtime. Instead of hard-coding the resolution to the parse-table a conflict resolution entry could be set, which uses parse-time available information to determine how the conflict shall be resolved.
The way this shall be exposed is not obvious. But a fixity like "%runtime" could be used and methods could be added to the parser, to control fixity resolution.