Skip to content
This repository was archived by the owner on Jan 5, 2023. It is now read-only.

Add types for tuple extraction instructions with map element read and channel receive bases#528

Merged
sauyon merged 9 commits intogithub:mainfrom
sauyon:tuple-map-read
Apr 21, 2021
Merged

Add types for tuple extraction instructions with map element read and channel receive bases#528
sauyon merged 9 commits intogithub:mainfrom
sauyon:tuple-map-read

Conversation

@sauyon
Copy link
Contributor

@sauyon sauyon commented Apr 20, 2021

No description provided.

smowton and others added 3 commits April 20, 2021 14:23
Specifically, extractions where the RHS is a map element read or a channel receive
will now have types.
@sauyon sauyon requested a review from a team as a code owner April 20, 2021 21:26
@smowton
Copy link
Contributor

smowton commented Apr 21, 2021

@sauyon I pushed a few changes: simplifying the implementation, adding a test and copyediting a little. Merge and notify Luke if you're happy.

Co-authored-by: Owen Mansel-Chan <62447351+owen-mc@users.noreply.github.com>
Copy link
Contributor Author

@sauyon sauyon left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

That's much nicer, LGTM 👍

@sauyon sauyon merged commit 466d876 into github:main Apr 21, 2021
@sauyon sauyon deleted the tuple-map-read branch April 21, 2021 15:50
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants