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.
The output types are different. If you want, I could make pair-equals more generic and have hash-types->static-contract and the printer use it for their purposes. Where should it live in that case?
-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:15:19 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/types/printer.rkt: > @@ -470,7 +504,11 @@
>      [(Evt: r) `(Evtof ,(t->s r))]
>      [(Union: elems)
>       (define-values (covered remaining) (cover-union type ignored-names)) 

Why is the pairing function different from covering? 

— 
Reply to this email directly or view it on GitHub .