17 Nov
2023
17 Nov
'23
12:08 p.m.
On Fri Nov 17 12:08:35 2023 +0000, Conor McCarthy wrote:
Recently you were advocating making parser changes unsupported by the backend, and then patching the backend.
Fair point, you're right. Especially with the comments this is after all easier to follow for me. Sorry for the conflicting instructions.