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
I'll modify ParseResult's productions to have a terminalDescriptors attribute for both the parseSucceeded and parseFailed productions. The toTerminalDescriptor function/extension is postponed for the future, although it'll probably be needed when "show expansion of this code" is implemented.
The text was updated successfully, but these errors were encountered:
(Continued from copper#9)
I'll modify
ParseResult
's productions to have aterminalDescriptors
attribute for both theparseSucceeded
andparseFailed
productions. ThetoTerminalDescriptor
function/extension is postponed for the future, although it'll probably be needed when "show expansion of this code" is implemented.The text was updated successfully, but these errors were encountered: