Skip to content

Conversation

@erszcz
Copy link
Contributor

@erszcz erszcz commented Feb 28, 2022

Fixes #51.

@erszcz erszcz requested a review from Premwoik February 28, 2022 09:04
@erszcz
Copy link
Contributor Author

erszcz commented Feb 28, 2022

@Fl4m3Ph03n1x @simonprev @eksperimental @dkuku Thanks for your reports! This should fix one of the reported warnings.

Copy link
Collaborator

@Premwoik Premwoik left a comment

Choose a reason for hiding this comment

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

Great!

@Premwoik Premwoik merged commit 38cd2d8 into main Feb 28, 2022
@Premwoik Premwoik deleted the update-gradualizer branch February 28, 2022 10:31
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.

The pattern %{moves: []} on line 39 doesn't have the type any()

3 participants