Skip to content

Conversation

smowton
Copy link
Contributor

@smowton smowton commented Aug 17, 2022

I overlooked the fact that this has a WriteInstruction, which wasn't bound in the channel-write case, but somehow the evaluator discarded the implied cartesian product until last night's performance evaluation.

Rather than try to cram channel writes into WriteInstruction, just handle them as their own beast.

I overlooked the fact that this has a WriteInstruction, which wasn't bound in the channel-write case, but somehow the evaluator discarded the implied cartesian product until last night's performance evaluation.

Rather than try to cram channel writes into WriteInstruction, just handle them as their own beast.
@smowton smowton requested a review from a team as a code owner August 17, 2022 13:30
@github-actions github-actions bot added the Go label Aug 17, 2022
@smowton smowton added the no-change-note-required This PR does not need a change note label Aug 17, 2022
atorralba
atorralba previously approved these changes Aug 17, 2022
atorralba
atorralba previously approved these changes Aug 17, 2022
@smowton smowton merged commit 72009f8 into github:main Aug 18, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Go no-change-note-required This PR does not need a change note
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants