[racket] [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: Tue Jun 8 16:39:52 EDT 2010

On Tue, Jun 8, 2010 at 4:08 PM, keydana at gmx.de <keydana at gmx.de> wrote:
>>> Also, in practice,  think it'd be helpful to show the inclusion hierarchy for numeric types in the typed scheme reference...
>> We plan to add this to the docs.
> That would be great really.
> Till then, could you perhaps point me to some source file(s) to look at? (I used to look into the Java sources when I learned Java, but I've never had the courage yet to look up something in scheme source files - I'm thinking right now it might be time for a first try :-) )

If you really want, you can look at the subtyping algorithm here:

It's unlikely to be very helpful, though.

sam th
samth at ccs.neu.edu

Posted on the users mailing list.