From 719c9594184456fd74b0fa800a45fe1b43dfd986 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 25 Jan 2012 15:17:46 -0500 Subject: [PATCH] Fix type of `memf' to be more permissive. original commit: f3e3eb10adbe6c34093fdd0cf82ba7b504f165a0 --- 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 0cbabceb..9dd8368c 100644 --- a/collects/typed-racket/base-env/base-env.rkt +++ b/collects/typed-racket/base-env/base-env.rkt @@ -509,7 +509,7 @@ [kernel:memq (-poly (a) (-> a (-lst a) (-opt (-lst a))))] [memv (-poly (a) (-> a (-lst a) (-opt (-lst a))))] [kernel:memv (-poly (a) (-> a (-lst a) (-opt (-lst a))))] -[memf (-poly (a) ((a . -> . B) (-lst a) . -> . (-opt (-lst a))))] +[memf (-poly (a) ((a . -> . Univ) (-lst a) . -> . (-opt (-lst a))))] [member (-poly (a) (a (-lst a) . -> . (-opt (-lst a))))] [kernel:member (-poly (a) (a (-lst a) . -> . (-opt (-lst a))))] [findf (-poly (a) ((a . -> . B) (-lst a) . -> . (-opt a)))]