-
Notifications
You must be signed in to change notification settings - Fork 154
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
Allow Int and Double literals as universal arguments #841
Conversation
... for numeric predicates.
Codecov Report
@@ Coverage Diff @@
## master #841 +/- ##
=======================================
Coverage 91.49% 91.49%
=======================================
Files 48 48
Lines 529 529
Branches 10 12 +2
=======================================
Hits 484 484
Misses 45 45 Continue to review full report at Codecov.
|
This change allows us to use the |
This is cool 🎉 |
* Use Int literals for numeric predicates like Positive See #841 (comment). * Replace Nat in MaxSize and NonEmptyFiniteString
... for numeric predicates. See #763 for discussion.