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

Added type signatures for caar and some others to typed Scheme's base env.

Browse Source
This commit is contained in:
Vincent St-Amour 2010-05-18 10:29:26 -04:00
parent 114a0f142d
commit b64fb126f6
1 changed files with 24 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
collects/typed-scheme/private/base-env.rkt
View File

@ -40,6 +40,12 @@
(->acc (list (-pair a b)) b (list -cdr)) (->acc (list (-pair a b)) b (list -cdr))
(->* (list (-lst a)) (-lst a))))] (->* (list (-lst a)) (-lst a))))]
[caar (-poly (a b c)
(cl->* [->acc (list (-pair (-pair a b) c)) a (list -car -car)]
[-> (-lst (-lst a)) a]))]
[cdar (-poly (a b c)
(cl->* [->acc (list (-pair (-pair a b) c)) b (list -cdr -car)]
[-> (-lst (-lst a)) (-lst a)]))]
[cadr (-poly (a b c) [cadr (-poly (a b c)
(cl->* [->acc (list (-pair a (-pair b c))) b (list -car -cdr)] (cl->* [->acc (list (-pair a (-pair b c))) b (list -car -cdr)]
[-> (-lst a) a]))] [-> (-lst a) a]))]
@ -47,6 +53,24 @@
(cl->* [->acc (list (-pair a (-pair b c))) c (list -cdr -cdr)] (cl->* [->acc (list (-pair a (-pair b c))) c (list -cdr -cdr)]
[-> (-lst a) (-lst a)]))] [-> (-lst a) (-lst a)]))]
[caaar (-poly (a b c d)
(cl->* [->acc (list (-pair (-pair (-pair a b) c) d)) a (list -car -car -car)]
[-> (-lst (-lst (-lst a))) a]))]
[cdaar (-poly (a b c d)
(cl->* [->acc (list (-pair (-pair (-pair a b) c) d)) b (list -cdr -car -car)]
[-> (-lst (-lst (-lst a))) (-lst a)]))]
[cadar (-poly (a b c d)
(cl->* [->acc (list (-pair (-pair a (-pair b c)) d)) b (list -car -cdr -car)]
[-> (-lst (-lst a)) a]))]
[cddar (-poly (a b c d)
(cl->* [->acc (list (-pair (-pair a (-pair b c)) d)) c (list -cdr -cdr -car)]
[-> (-lst (-lst a)) (-lst a)]))]
[caadr (-poly (a b c d)
(cl->* [->acc (list (-pair a (-pair (-pair b c) d))) b (list -car -car -cdr)]
[-> (-lst (-lst a)) a]))]
[cdadr (-poly (a b c d)
(cl->* [->acc (list (-pair a (-pair (-pair b c) d))) c (list -cdr -car -cdr)]
[-> (-lst (-lst a)) (-lst a)]))]
[caddr (-poly (a b c d) [caddr (-poly (a b c d)
(cl->* [->acc (list (-pair a (-pair b (-pair c d)))) c (list -car -cdr -cdr)] (cl->* [->acc (list (-pair a (-pair b (-pair c d)))) c (list -car -cdr -cdr)]
[-> (-lst a) a]))] [-> (-lst a) a]))]