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

Fix set? in TR.

Browse Source
This commit is contained in:
Eric Dobson 2013-08-29 18:23:45 -07:00
parent 358475faf1
commit 84798bd393
2 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1047,7 +1047,8 @@
[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? (make-pred-ty (-set Univ))]
[generic-set? (-> Univ B)]
[set? (make-pred-ty (-set Univ))]
[set-equal? (-poly (e) (-> (-set e) B))]
[set-eqv? (-poly (e) (-> (-set e) B))]
[set-eq? (-poly (e) (-> (-set e) B))]

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

@ -38,3 +38,4 @@
(set-eqv? v)
(set-eq? q)
(set? s0)
(generic-set? s0)