[racket] code review request for LRU code
On Tue, Mar 12, 2013 at 1:08 PM, Sam Tobin-Hochstadt <samth at ccs.neu.edu> wrote:
> On Tue, Mar 12, 2013 at 1:00 PM, Danny Yoo <dyoo at 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