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

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:
  http://list.cs.brown.edu/mailman/listinfo/plt-scheme
_________________________________________________
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/users