-
Notifications
You must be signed in to change notification settings - Fork 36
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[interpreter/tests] Switch to Option B' #285
Conversation
interpreter/syntax/ast.ml
Outdated
instr list option (* catch_all *) | ||
| TryDelegate of block_type * instr list * (* try *) | ||
var (* delegate to outer handler *) | ||
| Try of block_type * catch list * instr list (* try *) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Do you want to keep the name TryTable
internally to better match the text format?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Updated.
Anybody willing to approve this PR? |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
lgtm, but maybe want @aheejin to also take a look before merging?
* [legacy] Create specification doc for legacy exception handling * [test] Create infra for legacy tests
Okay, I'm taking the liberty to land this for now, since some people complained, and it's not good if we keep the main doc out of date for longer. @aheejin, I'm happy to iterate in a follow-ups if you have comments later. |
This merges the branch with the B' design (explainer, interpreter, tests) into main.
It should be merged along with #283, which updates the spec document, and #284, which adds a new document describing the previous semantics plus respective tests.