Eta expand natural?

Doing this eta expansion has the advantage that error messages will point to `natural?` rather than `exact-nonnegative-integer?`
2017-03-03 09:58:19 -05:00 · 2017-03-03 09:58:19 -05:00 · 1cbd75436b
commit 1cbd75436b
parent eca457e886
1 changed files with 2 additions and 1 deletions
--- a/racket/collects/racket/math.rkt
+++ b/racket/collects/racket/math.rkt
@ -47,7 +47,8 @@
  (define (nonnegative-integer? x)
    (and (integer? x) (not (negative? x))))

-  (define natural? exact-nonnegative-integer?)
+  (define (natural? x)
+    (exact-nonnegative-integer? x))

  ;; z^2
  (define (sqr z)