Skip to content

Commit a0a9398

Browse files
committed
Update stale CanonicalABI.md prose
1 parent d276ef5 commit a0a9398

1 file changed

Lines changed: 5 additions & 5 deletions

File tree

design/mvp/CanonicalABI.md

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -3708,11 +3708,11 @@ ignore `exclusive_thread`.
37083708
The end of `canon_lift` creates a new task/thread pair for the call and then
37093709
calls `Thread.resume` on the new thread to synchronously transfer control flow
37103710
to it (jumping to the top of `thread_func` above). The new thread executes until
3711-
it either `return`s from `thread_func` or [blocks] by transitively calling
3712-
`Thread.suspend`. Thus, in all cases, `canon_lift` never blocks the caller, as
3713-
required by the `FuncInst` calling contract. Lastly, `canon_lift` returns
3714-
`Task.request_cancellation`, bound to the call's new task, as the required
3715-
`OnCancel` value.
3711+
it either returns from `thread_func` or [blocks] by (transitively) calling
3712+
`Thread.block_internal`. Thus, in all cases, `canon_lift` never blocks the
3713+
caller, as required by the `FuncInst` calling contract. Lastly, `canon_lift`
3714+
returns `Task.request_cancellation`, bound to the call's new task, as the
3715+
required `OnCancel` value.
37163716
```python
37173717
task = Task(ft, opts, inst, on_start, on_resolve, caller)
37183718
thread = Thread(task, thread_func)

0 commit comments

Comments
 (0)