You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
My intention not including these instances in the LeanCheck package was to keep the dependency footprint low.
... though I now see that Numeric.Natural has been available in base since GHC 7.10... So perhaps it is worth migrating it to the main LeanCheck package. 🤔 Though I will need some CPP tricks to keep near-backwards compatibility with Haskell98, GHC 7.8 and Hugs. It will take a little while to flesh-out the migration as I need to coordinate a new release of leancheck-instances as well.
(I'll keep this issue open while I investigate and until I complete the migration.)
it seems that Numeric.Natural https://hackage.haskell.org/package/base-4.18.0.0/docs/Numeric-Natural.html is the standard non-negative integer type now.
I would welcome a Listable instance. Simply this?
Later,
Test.LeanCheck.Util.Types.Natural
could be dropped.The text was updated successfully, but these errors were encountered: