[racket] Q. about intent of TR wrt floats

At Thu, 5 Jan 2012 09:10:49 -0800,
John Clements wrote:
> I just had trouble with the type of log; I wanted to pass it a
> positive real, and get back a Real.  After inspecting the type, I see
> that it works for Positive-Float.  Is this deliberate, in order to get
> more optimizable code (if the input is a float, we don't need to check
> it), or just an oversight?  If the former, it seems like there should
> be some easier way to deliver this information to the user.

That's an oversight. I'll fix it.

Thanks for the report!

Vincent