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

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:
http://github.com/plt/racket/blob/master/collects/typed-scheme/types/subtype.rkt

It's unlikely to be very helpful, though.

-- 
sam th
samth at ccs.neu.edu