From 9f7bc9185d955c625fcf6eb8c014696bb7456066 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Mon, 10 Jun 2013 15:18:06 -0400 Subject: [PATCH] Remove `memq`, `memv`, `member` from #%kernel These are now implmented purely in Racket on all platforms. original commit: c305dba649ff9b09872aa5d215c5da1929b52860 --- collects/typed-racket/base-env/base-env.rkt | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/collects/typed-racket/base-env/base-env.rkt b/collects/typed-racket/base-env/base-env.rkt index 1284fdc7..2586b986 100644 --- a/collects/typed-racket/base-env/base-env.rkt +++ b/collects/typed-racket/base-env/base-env.rkt @@ -10,8 +10,7 @@ (only-in rnrs/lists-6 fold-left) '#%paramz "extra-procs.rkt" - (only-in '#%kernel [apply kernel:apply] [reverse kernel:reverse] - [memq kernel:memq] [memv kernel:memv] [member kernel:member]) + (only-in '#%kernel [apply kernel:apply] [reverse kernel:reverse]) (only-in racket/private/pre-base new-apply-proc) racket/promise racket/system racket/function @@ -521,18 +520,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 . -> . Univ) (-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)]