We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
> quickCheck' $ property' $ \(foo :: Int -> Int -> Int) -> foo 2 1 == foo 1 2 *** Failed! Falsified (after 3 tests and 10 shrinks): \a0 -> case a0 :: Int of { 1 -> \a0 -> 0 ; _ -> \a0 -> 1 }
The counter example gives both arguments the name a0!
a0
The text was updated successfully, but these errors were encountered:
Yeah that's definitely a problem.
That's hard to fix because this is currently using Show, and an instance Show a => Show (Int -> a) gives no way of telling a what names to use.
Show
Show a => Show (Int -> a)
a
There are various non-ideal solutions (a different class, overlapping instances); I'll have to think about the trade-offs...
Suggestions welcome!
Sorry, something went wrong.
An unsafePerformIO that updates a global name counter somewhere? :)
No branches or pull requests
The counter example gives both arguments the name
a0
!The text was updated successfully, but these errors were encountered: