nick8325 / quickspec

Equational laws for free

BSD 3-Clause "New" or "Revised" License

250 stars 24 forks source link

Add warning for missing instances #32

Closed MaximilianAlgehed closed 6 years ago

MaximilianAlgehed commented 6 years ago

When QS is missing Ord/Arbitrary instances for some type in the universe it simply won't generate terms of that type without warning. This means that testing QS on Floats doesn't yield any result and also doesn't yield any error.

MaximilianAlgehed commented 6 years ago

33 is meant to solve this

MaximilianAlgehed commented 6 years ago

This is more or less working on master