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

Relax type of `filter'.

Browse Source 
original commit: 38e7fb5eb09a2e1eeeb776dd8fcd562a96787635
This commit is contained in:
Sam Tobin-Hochstadt 2012-01-31 15:54:53 -05:00
parent 4e9604460a
commit e9d41781f0
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 d . -> . d) d (-lst a) (-lst b) (-lst d)) d]))]
[filter (-poly (a b) (cl->*
((make-pred-ty (list a) Univ b)
((asym-pred a -Boolean (-FS (-filter b 0) -top))
(-lst a)
. -> .
(-lst b))