[racket] Re: [plt-scheme] Re: Typed scheme: Cannot apply expression of type Procedure, since it is not a function type

From: Sam Tobin-Hochstadt (samth at ccs.neu.edu)
Date: Sat Jun 5 06:44:22 EDT 2010

On Sat, Jun 5, 2010 at 2:33 AM, keydana at gmx.de <keydana at gmx.de> wrote:
> I think this should work:
> (inexact->exact (truncate n))
> but in typed it gives me an Exact-Rational and I can't get on further. Is there a solution for this?

Try the other way around:

(truncate (inexact->exact n))

You have to do it this way because Typed Scheme doesn't know anything
about the internal structure of the Float type.
sam th
samth at ccs.neu.edu
  For list-related administrative tasks:
  For list-related administrative tasks:

Posted on the users mailing list.