suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix types for eq/eqv/equal-hash-code

Browse Source 
Thanks to this SO question:
  http://stackoverflow.com/questions/26130215
This commit is contained in:
Asumu Takikawa 2014-10-01 12:02:25 -04:00
parent b2c6022989
commit 0a71fe1d28
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -915,10 +915,10 @@
[(-HashTop) (-lst (-pair Univ Univ))]))] [(-HashTop) (-lst (-pair Univ Univ))]))]
[hash-copy (-poly (a b) (-> (-HT a b) (-HT a b)))] [hash-copy (-poly (a b) (-> (-HT a b) (-HT a b)))]
[eq-hash-code (-poly (a) (-> a -Integer))] [eq-hash-code (-> Univ -Fixnum)]
[eqv-hash-code (-poly (a) (-> a -Integer))] [eqv-hash-code (-> Univ -Fixnum)]
[equal-hash-code (-poly (a) (-> a -Integer))] [equal-hash-code (-> Univ -Fixnum)]
[equal-secondary-hash-code (-poly (a) (-> a -Integer))] [equal-secondary-hash-code (-> Univ -Fixnum)]
[hash-iterate-first (-poly (a b) [hash-iterate-first (-poly (a b)
((-HT a b) . -> . (Un (-val #f) -Integer)))] ((-HT a b) . -> . (Un (-val #f) -Integer)))]
[hash-iterate-next (-poly (a b) [hash-iterate-next (-poly (a b)