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

Remove extra in-set type annotation.

Browse Source 
original commit: 9eacbec35e331680983649df71c200929898843a
This commit is contained in:
Eric Dobson 2014-01-30 23:34:45 -08:00
parent 533c319496
commit ae0a62c106
2 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -875,7 +875,6 @@
[set-eqv? (-poly (e) (-> (-set e) B))]
[set-eq? (-poly (e) (-> (-set e) B))]
[in-set (-poly (e) (-> (-set e) (-seq e)))]
[list->set (-poly (e) (-> (-lst e) (-set e)))]
[list->seteq (-poly (e) (-> (-lst e) (-set e)))]
[list->seteqv (-poly (e) (-> (-lst e) (-set e)))]

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

@ -39,3 +39,6 @@
(set-eq? q)
(cast (and (set? s0) s0) (Setof Any))
(generic-set? s0)
(in-set s)
(for ([x (in-set s)])
s0)