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

Improve type for generic-set?.

Browse Source
This commit is contained in:
Vincent St-Amour 2013-08-30 12:11:25 -04:00
parent 04941d33bd
commit 5784358332
2 changed files with 3 additions and 3 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))]
[set-map (-poly (e b) (-> (-set e) (-> e b) (-lst b)))]
[set-for-each (-poly (e b) (-> (-set e) (-> e b) -Void))]
[generic-set? (-> Univ B)]
[generic-set? (asym-pred Univ B (-FS (-filter (-set Univ) 0) -top))]
[set? (make-pred-ty (-set Univ))]
[set-equal? (-poly (e) (-> (-set e) B))]
[set-eqv? (-poly (e) (-> (-set e) B))]

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

@ -37,5 +37,5 @@
(set-equal? s)
(set-eqv? v)
(set-eq? q)
(set? s0)
(generic-set? s0)
(cast (and (set? s0) s0) (Setof Any))
(cast (and (generic-set? s0) s0) (Setof Any))