[racket-dev] Non-negative real predicate?

From: Asumu Takikawa (asumu at ccs.neu.edu)
Date: Fri Jun 10 16:18:51 EDT 2011

On 2011-06-10 13:11:51 -0700, Matthew Flatt wrote:
> I'm more in favor of using `(and/c real? (not/c negative?))'. 

Stevie just pointed out that the following contract is equivalent and
shorter:
  (>=/c 0)

so I'll go with that.

Cheers,
Asumu


Posted on the dev mailing list.