From 0951ad5b1bd494d63dd9c7eb372dff043de8bb6c Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 29 Jul 2011 13:43:11 -0400 Subject: [PATCH] Add types for #%kernel's memq, memv and member. --- collects/typed-scheme/base-env/base-env.rkt | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/collects/typed-scheme/base-env/base-env.rkt b/collects/typed-scheme/base-env/base-env.rkt index 9ab5ed556e..d0bcea7737 100644 --- a/collects/typed-scheme/base-env/base-env.rkt +++ b/collects/typed-scheme/base-env/base-env.rkt @@ -12,7 +12,8 @@ (only-in rnrs/lists-6 fold-left) '#%paramz "extra-procs.rkt" - (only-in '#%kernel [apply kernel:apply] [reverse kernel:reverse]) + (only-in '#%kernel [apply kernel:apply] [reverse kernel:reverse] + [memq kernel:memq] [memv kernel:memv] [member kernel:member]) (only-in racket/private/pre-base new-apply-proc) scheme/promise scheme/system racket/function @@ -493,9 +494,12 @@ [append (-poly (a) (->* (list) (-lst a) (-lst a)))] [length (-poly (a) (-> (-lst a) -Index))] [memq (-poly (a) (-> a (-lst a) (-opt (-lst a))))] +[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))))] [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)))] [char=? (->* (list -Char -Char) -Char B)]