Skip to content

Update inference of closures with no context. #3151

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.

Sign up for GitHub

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

Open
wants to merge 8 commits into
base: main
Choose a base branch
from
Open

Update inference of closures with no context. #3151

Changes from 1 commit
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
8e27f3d
Update inference of closures with no context.
lrhn Jun 15, 2023
16190b7
Address comments. More details on Stream/Iterable.
lrhn Jun 26, 2023
87b0904
Tweak phrasing
lrhn Jun 26, 2023
a23e438
Use `_` as context type for async return instead of `FutureOr<_>`
lrhn Jun 26, 2023
e349009
Addressed comments.
lrhn Jul 21, 2023
90b9b73
Replace "enclosing function" with "function literal".
lrhn Aug 7, 2023
42dd5cf
Update inference.md
lrhn Mar 19, 2024
fe4b6b1
Update inference.md
lrhn Mar 19, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Update inference.md 
Typo.
  • Loading branch information
@lrhn
lrhn authored Mar 19, 2024
commit 42dd5cf08228b3b9df3d9daa27d2df91f0616f03
2 changes: 1 addition & 1 deletion resources/type-system/inference.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -360,7 +360,7 @@ algorithm described below._
The actual value type of a function literal with an expression body, `=> e`,
_(which cannot be a generator function)_ is computed as follows:
- If the function literal is marked `async`,
then let `T` be the inferred type of the returned expession with
then let `T` be the inferred type of the returned expression with
`FutureOr<K>` as typing context.
The actual value type is **flatten**(`T`).
- If the function literal is not marked `async`, let `T` be the inferred
Expand Down