Bump moc to 0.11.2
#288
Merged
Bump moc to 0.11.2
#288
Conversation
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
24 tasks
mergify bot
pushed a commit
to dfinity/motoko
that referenced
this pull request
Jul 25, 2024
Introduces an optional `finally` clause to `try` expressions that can be used for disciplined (structured) resource management. The clause comprises a unit-valued expression (or block) that may not perform sends (or similar). It gets executed for all control paths that leave the `try`-expression, i.e. `return`, `break`, etc. code paths. For nested `try` expressions the cleanups are performed in innermost to outermost order. For last-resort cleanups (i.e. code paths trapping after an `await`) the replica invokes the callback registered as `ic0.call_on_cleanup`, and this will result in the execution of (exclusively) the `finally` blocks in (dynamic) scope. This is a new mechanism in Motoko, which was not possible to achieve earlier, and puts certain resource deallocations (e.g. of acquired locks) under the programmer's control. ----------------- TODO: - [ ] [invoke cleanup from the interpreter](https://github.com/dfinity/motoko/pull/4507/files/51bb8a1933bbf2c509447032f1ba26b8f91fa4e0#r1658678631) - [ ] make `catch` optional (non-trapping when missing) — #4600 - well, this was not really needed as pattern-match failure would just re-`throw`, so we were fine. Optimised, though. - [x] remaining FIXMEs (`arrange.ml`, etc.) - [x] `Triv` in `try` (respect edges) - [x] fix fallout - [x] forbid control-flow edges out of `finally` blocks - [x] remove all aliasing from IR - [ ] use `meta` (would `assert` currently, thus causing minor code duplication) — could be follow-up PR - [x] handle `Throw` and regular continuations in `await.ml` (instead of desugaring) - [x] adjust (AST, IR)-interpreter - ❗️this is necessary when there is no `catch`, as the exception will escape - how are label continuations invoked in the backend? (I need to know for the _last-resort callback_) - have a new `context` key sort `Cleanup`, stack up continuations of finally blocks only - extend the `kr` in `await.ml` to `krc` (`CPSAwait`), pass `Cleanup` continuations as `c` - add new primitive to compiler to set the last-resort field (not needed) - in `async.ml` lower `CPSAwait` to that too - [x] adapt `check_ir.ml`, etc. - [x] tests with `await*` - [x] fix up the syntax part - `do` ... `finally` (when there is no `catch` clause necessary) - ~means: `TryE` needs `cases list option`~ - type checking for the `finally` clause - [x] unit result - [x] trivial effect (actually Claudio made this capability-based) - [ ] that the `try` block has `await` effect — nope! - [x] other type than unit for `try` - `OtherPrim "call_raw"` + tests — nope! - `cps_asyncE` similarly to `CallPrim/3` — nope! - highlighting of `finally` - [x] for `emacs` - [x] for VSCode → dfinity/vscode-motoko#288 - [x] GitHub highlighter - [x] Changelog (breaking change, new keyword) - [x] Docs - [ ] adapt best practices: https://internetcomputer.org/docs/current/developer-docs/security/security-best-practices/inter-canister-calls#recommendation - [ ] adapt Motoko examples where locking happens
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.