-
Notifications
You must be signed in to change notification settings - Fork 34
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update formal spec to implement the 3rd EH proposal without prose. (#180
) * Update core formal spec to the current (3rd) EH proposal As described in `proposals/exceptions/Exceptions.md` and in `proposals/exceptions/Exceptions-formal-overview.md`. * Detailed changes from the previous (2nd proposal) formal spec: - Removed: + the reference type "exnref" is removed, + the administrative instruction "REFEXNADDR" is removed, + Release dependencies "bulk instructions" and "reference types" are removed. - Renamed: + "exn" and (most occurrences of) "exception" renamed to "tag", + "EITYPE" renamed to "TAGITYPE", + "ETYPE" renamed to "TAGTYPE", + variable names for tags changed from "et" to "tt" or "tagt" and "iet" to "itagt", + "CATCHN" is renamed to "CATCHadm". + "THROWADDR" is renamed to "THROWadm". - Adjusted: + syntax and rules for "TRY-CATCH", "RETHROW", and "CATCHadm", + folded text format for "TRY-CATCH", + validation example of control frame with opcode catch. - Added: + validation example of control frame with opcode catch_all, + administrative instructions "CAUGHTadm" and "DELEGATEadm" with rules, + syntax and rules for "TRY-DELEGATE". - Most prose that is changing in the 3rd spec is removed and several temporary `..todo::` sections are added. + These will be updated in followup PRs. Co-authored-by: Heejin Ahn <aheejin@gmail.com> Co-authored-by: Andreas Rossberg <rossberg@mpi-sws.org>
- Loading branch information
1 parent
f3c5987
commit 76732ae
Showing
24 changed files
with
649 additions
and
643 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.