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

Fix type of generic-set? for hash set default.

Browse Source
This commit is contained in:
Vincent St-Amour 2013-08-30 22:08:05 -04:00
parent 29c904ae42
commit 400340b897
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1047,7 +1047,7 @@
[proper-subset? (-poly (e) (-> (-set e) (-set e) B))] [proper-subset? (-poly (e) (-> (-set e) (-set e) B))]
[set-map (-poly (e b) (-> (-set e) (-> e b) (-lst b)))] [set-map (-poly (e b) (-> (-set e) (-> e b) (-lst b)))]
[set-for-each (-poly (e b) (-> (-set e) (-> e b) -Void))] [set-for-each (-poly (e b) (-> (-set e) (-> e b) -Void))]
[generic-set? (asym-pred Univ B (-FS (-filter (-set Univ) 0) -top))] [generic-set? (asym-pred Univ B (-FS -top (-not-filter (-set Univ) 0)))]
[set? (make-pred-ty (-set Univ))] [set? (make-pred-ty (-set Univ))]
[set-equal? (-poly (e) (-> (-set e) B))] [set-equal? (-poly (e) (-> (-set e) B))]
[set-eqv? (-poly (e) (-> (-set e) B))] [set-eqv? (-poly (e) (-> (-set e) B))]

2
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/set.rkt
View File

@ -38,4 +38,4 @@
(set-eqv? v) (set-eqv? v)
(set-eq? q) (set-eq? q)
(cast (and (set? s0) s0) (Setof Any)) (cast (and (set? s0) s0) (Setof Any))
(cast (and (generic-set? s0) s0) (Setof Any)) (generic-set? s0)