[racket] TR: too-narrow type in / ?

From: John Clements (johnbclements at gmail.com)
Date: Tue Feb 3 18:23:13 EST 2015

I'm dividing a Nonnegative-Real by an Index, and I want to get back a
Nonnegative-Real. The type of / contains this clause:

(-> Positive-Real Positive-Real * Nonnegative-Real)

It appears to me that the first term here should be "Nonnegative-Real",
rather than "Positive-Real"... that is, this type:

(-> Nonnegative-Real Positive-Real * Nonnegative-Real)

Am I missing something obvious here?

(Naturally, I can insert a dynamic check, it just seems unnecessary...)


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20150203/e4247dcf/attachment-0001.html>

Posted on the users mailing list.