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

Fix variance of hash tables and parameters

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-08-13 10:43:49 -04:00
parent 3359032ad5
commit 6e489f8464
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
collects/typed-scheme/rep/type-rep.rkt
View File

@ -330,11 +330,14 @@
;; in : Type ;; in : Type
;; out : Type ;; out : Type
(dt Param ([in Type/c] [out Type/c]) [#:key 'parameter]) (dt Param ([in Type/c] [out Type/c])
[#:key 'parameter]
[#:frees (λ (f) (combine-frees (list (f out) (flip-variances (f in)))))])
;; key : Type ;; key : Type
;; value : Type ;; value : Type
(dt Hashtable ([key Type/c] [value Type/c]) [#:key 'hash]) (dt Hashtable ([key Type/c] [value Type/c]) [#:key 'hash]
[#:frees (λ (f) (combine-frees (list (make-invariant (f key)) (make-invariant (f value)))))])
;; parent : Type ;; parent : Type
;; pred : Identifier ;; pred : Identifier