suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Remove memq, memv, member from #%kernel

Browse Source 
These are now implmented purely in Racket on all
platforms.

original commit: c305dba649ff9b09872aa5d215c5da1929b52860
This commit is contained in:
Asumu Takikawa 2013-06-10 15:18:06 -04:00
parent 18c35d93f8
commit 9f7bc9185d
1 changed files with 1 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
collects/typed-racket/base-env/base-env.rkt
View File

@ -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)]