Skip to content
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.

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

Force new Network after completing a step #258

Merged
merged 1 commit into from Jun 15, 2022
Merged

Conversation

ocharles
Copy link
Collaborator

Minor, but currently when we step the event network we produce a new Network, but nothing forces this. step completes and returns a thunk containing the network, which gets stored in an MVar. This thunk isn't adding anything, so instead it would be better to just force the Network. We could do this either in step itself (as done in this commit), or we could force it when we store it the s MVar.

Minor, but currently when we step the event network we produce a new `Network`, but nothing forces this. `step` completes and returns a thunk containing the network, which gets stored in an `MVar`. This thunk isn't adding anything, so instead it would be better to just force the `Network`. We could do this either in `step` itself (as done in this commit), or we could force it when we store it the `s` `MVar`.
@mitchellwrosen
Copy link
Collaborator

(I'm on mobile, otherwise I would look around myself) Does Network have strict fields? If not, I think we need more seqs n' bangs than just that one. :)

@ocharles
Copy link
Collaborator Author

Yep, it does indeed have strict fields already.

@ocharles ocharles merged commit 9f189f1 into master Jun 15, 2022
@ocharles ocharles deleted the force-network-after-step branch June 15, 2022 09:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants