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

Relax type of `filter'.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2012-01-31 15:54:53 -05:00
parent a5c7175e46
commit 38e7fb5eb0
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-racket/base-env/base-env.rkt
View File

@ -405,7 +405,7 @@
[((a b c . -> . c) c (-lst a) (-lst b)) c] [((a b c . -> . c) c (-lst a) (-lst b)) c]
[((a b c d . -> . d) d (-lst a) (-lst b) (-lst d)) d]))] [((a b c d . -> . d) d (-lst a) (-lst b) (-lst d)) d]))]
[filter (-poly (a b) (cl->* [filter (-poly (a b) (cl->*
((make-pred-ty (list a) Univ b) ((asym-pred a -Boolean (-FS (-filter b 0) -top))
(-lst a) (-lst a)
. -> . . -> .
(-lst b)) (-lst b))