From e9d41781f0829db5ef48e07a85f1d06ebc8c4925 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Tue, 31 Jan 2012 15:54:53 -0500 Subject: [PATCH] Relax type of `filter'. original commit: 38e7fb5eb09a2e1eeeb776dd8fcd562a96787635 --- collects/typed-racket/base-env/base-env.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-racket/base-env/base-env.rkt b/collects/typed-racket/base-env/base-env.rkt index f645781a..2ee2440b 100644 --- a/collects/typed-racket/base-env/base-env.rkt +++ b/collects/typed-racket/base-env/base-env.rkt @@ -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))