search

mbutterick / brag

Racket DSL for generating parsers from BNF grammars [moved to https://git.matthewbutterick.com/mbutterick/brag]
https://git.matthewbutterick.com/mbutterick/brag
MIT License
61 stars 12 forks source link

Use nonnegative-integer? in favor of natural-number? #23

Closed jessealama closed 5 years ago

jessealama commented 5 years ago

The natural-number? predicate seems to be unavailable (though there is a remnant of it in the form of natural-number/c, which is just a contract alias of exact-nonnegative-integer?). In any case, it surely means nonnegative integer.

(One might push the envelope here slightly and add exactness, but this commit does not go that far.)

mbutterick commented 5 years ago

They should all be exact. And now they are. Thanks!