Split HashTable out into mutable and immutable kinds.

There are some inference problems making the marketplace tests fail. I'll need same help fixing that up.
I accidentally wrote -top-filter instead of -top when writing the filterset for immutable? and spent a long time tracking it down. These errors helped.
-Ian
----- Original Message -----
From: "Eric Dobson" <notifications@github.com>
To: "plt/racket" <racket@noreply.github.com>
Cc: "J. Ian Johnson" <ianj@ccs.neu.edu>
Sent: Sunday, June 22, 2014 11:04:37 AM GMT -05:00 US/Canada Eastern
Subject: Re: [racket] Split HashTable out into mutable and immutable kinds. (#682)



In pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-subst.rkt: > @@ -54,7 +54,8 @@
>      [(tc-results: ts fs os)
>       (ret (map st ts) (map sfs fs) (map so os))]
>      [(tc-results: ts fs os dt db)
> -     (ret (map st ts) (map sfs fs) (map so os) (st dt) db)])) 

I don't see how the error case could trigger. Shouldn't the contract catch this? 

— 
Reply to this email directly or view it on GitHub .