On Tue, Mar 12, 2013 at 1:08 PM, Sam Tobin-Hochstadt <sa...@ccs.neu.edu> wrote: > On Tue, Mar 12, 2013 at 1:00 PM, Danny Yoo <d...@hashcollision.org> wrote: >> >> One thing I'm noticing is that it seems difficult to use my typed code >> in untyped code, because the container is polymorphic. >> 'untyped-client.rkt' shows what I mean: I'm hitting a Type Checker >> error at runtime and I don't know what to do to avoid it yet. What >> can I do here? > > What error do you get?
Here's what I see when I execute https://github.com/dyoo/typed-lru/blob/master/untyped-client.rkt: slab:lru dyoo$ racket untyped-client.rkt untyped-client.rkt:10:0: Type Checker: The type of lru-ref cannot be converted to a contract in: (lru-ref l "greeting") context...: /Applications/Racket v5.3.2/collects/racket/private/modbeg.rkt:46:4 standard-module-name-resolver ____________________ Racket Users list: http://lists.racket-lang.org/users