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.

Sign up for GitHub

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

Jump to bottom

clash-prelude-hedgehog's data types should have a Show instance. #2133

Closed

lmbollen opened this issue Mar 23, 2022 · 1 comment · Fixed by #2135

Assignees

Contributor

lmbollen commented Mar 23, 2022 •

edited

Loading

SomeVec is a datatype which is used in generators, however Hedgehog's forAll function
https://hackage.haskell.org/package/hedgehog-1.1.1/docs/Hedgehog-Internal-Property.html#v:forAll

forAll :: (Monad m, Show a, HasCallStack) => Gen a -> PropertyT m a requires a Show instance for a.

Hence, all datatypes in clash-prelude-hedgehog that are used in generators should have a Show instance.

The text was updated successfully, but these errors were encountered:

alex-mckenna self-assigned this

alex-mckenna mentioned this issue

Add Show instances for clash-prelude-hedgehog types #2135

Merged

2 tasks

alex-mckenna closed this as completed in #2135

Member

martijnbastiaan commented Apr 8, 2022

We've released v1.6.3, which includes a fix for this issue.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment