From bab1997e58a3a2e69f4601047461dbfe39987b8d Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Mon, 10 Jun 2013 12:06:19 -0400 Subject: [PATCH] Update TR base environment --- collects/typed-racket/base-env/base-env.rkt | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/collects/typed-racket/base-env/base-env.rkt b/collects/typed-racket/base-env/base-env.rkt index 89095d1f4a..1284fdc740 100644 --- a/collects/typed-racket/base-env/base-env.rkt +++ b/collects/typed-racket/base-env/base-env.rkt @@ -525,8 +525,14 @@ [memv (-poly (a) (-> a (-lst a) (-opt (-lst a))))] [kernel:memv (-poly (a) (-> a (-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))))] +[member (-poly (a) + (cl->* (a (-lst a) . -> . (-opt (-lst a))) + (a (-lst a) (-> a a Univ) + . -> . (-opt (-lst a)))))] +[kernel:member (-poly (a) + (cl->* (a (-lst a) . -> . (-opt (-lst a))) + (a (-lst a) (-> a a Univ) + . -> . (-opt (-lst a)))))] [findf (-poly (a) ((a . -> . B) (-lst a) . -> . (-opt a)))] [char=? (->* (list -Char -Char) -Char B)]