[racket] Q. about intent of TR wrt floats

From: Vincent St-Amour (stamourv at ccs.neu.edu)
Date: Thu Jan 5 12:39:14 EST 2012

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!


Posted on the users mailing list.