Refine hash table's type.

racket / plot

Other

40 stars 37 forks source link

Refine hash table's type. #93

Closed NoahStoryM closed 3 years ago

NoahStoryM commented 3 years ago

https://github.com/racket/typed-racket/pull/1081

alex-hhh commented 3 years ago

It seems these changes are related to the linked pull request in the Typed Racket repository, but I am not sure why those changes are needed. @samth , I will leave this PR to you.

samth commented 3 years ago

I think this PR is fine but not required, since I don't think we're going to do the linked TR change right now. This PR gives more precise types which has advantages, and doesn't break anything.