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

remove Realized #76

Merged
merged 5 commits into from
Apr 17, 2024
Merged

remove Realized #76

merged 5 commits into from
Apr 17, 2024

Conversation

MaximilianAlgehed
Copy link
Collaborator

@abailly-iohk how do I make the formatter ruin my code? Didn't we used to have a script for that somewhere?

Checklist:

  • Check source-code formatting is consistent

Copy link
Collaborator

@abailly-iohk abailly-iohk left a comment

Choose a reason for hiding this comment

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

Love removing code! Minor suggestion to deprecate instead of remove Realized

quickcheck-dynamic/CHANGELOG.md Show resolved Hide resolved
@abailly-iohk
Copy link
Collaborator

how do I make the formatter ruin my code? Didn't we used to have a script for that somewhere?

No, we just use fourmolu with the provided fourmolu.yaml file. what's the problem?

@abailly-iohk
Copy link
Collaborator

Ah it seems the CI is failing on cabal formatting 🤷

Copy link
Contributor

@jorisdral jorisdral left a comment

Choose a reason for hiding this comment

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

Since Realized would be removed, is there a suggested alternative for running tests in a monad other than IO?

quickcheck-dynamic/CHANGELOG.md Show resolved Hide resolved
@MaximilianAlgehed
Copy link
Collaborator Author

Since Realized would be removed, is there a suggested alternative for running tests in a monad other than IO?

Yes, if you're using IOSim the method is to index the state type by the monad, so if before you had ThreadId in the state type and you were running in IOSim s you'd now have ThreadId m in the state type instead.

@jorisdral
Copy link
Contributor

jorisdral commented Apr 17, 2024

Since Realized would be removed, is there a suggested alternative for running tests in a monad other than IO?

Yes, if you're using IOSim the method is to index the state type by the monad, so if before you had ThreadId in the state type and you were running in IOSim s you'd now have ThreadId m in the state type instead.

👍 I figured this was probably going to be the suggested method. Thanks!

@MaximilianAlgehed
Copy link
Collaborator Author

I'll remember to put something in the release notes about this!

@MaximilianAlgehed
Copy link
Collaborator Author

MaximilianAlgehed commented Apr 17, 2024

@abailly-iohk can we agree - in the light of @jorisdral's comment about -werror - that perhaps deprecating isn't necessary and we should just rip the band-aide off?

@abailly-iohk
Copy link
Collaborator

Ah yes, I don't mind although I could argue that an error triggered by -Werror does not qualify as a breaking change and PVP is just wrong, but I won't :) Please revert my change and go ahead removing it

@MaximilianAlgehed
Copy link
Collaborator Author

@abailly-iohk any clue what's up with CI?

@abailly-iohk
Copy link
Collaborator

@abailly-iohk any clue what's up with CI?

Some nix f**ery 🤷

@abailly-iohk abailly-iohk merged commit b50a995 into main Apr 17, 2024
5 of 7 checks passed
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

3 participants