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

Paths for first' and rest'

Browse Source 
svn: r17654
This commit is contained in:
Sam Tobin-Hochstadt 2010-01-14 20:00:37 +00:00
parent 33592b4f6c
commit 1ab2a41092
2 changed files with 12 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
collects/tests/typed-scheme/succeed/empty-or.ss
View File

@ -12,10 +12,10 @@
(cond
[(if (empty? l) #t (empty? k))
empty]
[(and (number? (car l)) (number? (car k)))
(cons (+ (car l) (car k)) (mrg (cdr l) (cdr k)))]
[(number? (car l))
(cons (car l) (mrg (rest l) (rest k)))]
[(and (number? (first l)) (number? (first k)))
(cons (+ (first l) (first k)) (mrg (rest l) (rest k)))]
[(number? (first l))
(cons (first l) (mrg (rest l) (rest k)))]
[else
(error 'fail)]))

10
collects/typed-scheme/private/base-env.ss
View File

@ -32,7 +32,10 @@
[cddr (-poly (a) (-> (-lst a) (-lst a)))]
[cdddr (-poly (a) (-> (-lst a) (-lst a)))]
[first (-poly (a b) (cl-> [((-pair a b)) a] [((-lst a)) a]))]
[first (-poly (a b)
(cl->*
(->acc (list (-pair a b)) a (list -car))
(->* (list (-lst a)) a)))]
[second (-poly (a b c)
(cl-> [((-pair a (-pair b c))) b]
[((-lst a)) a]))]
@ -42,7 +45,10 @@
[fourth (-poly (a) ((-lst a) . -> . a))]
[fifth (-poly (a) ((-lst a) . -> . a))]
[sixth (-poly (a) ((-lst a) . -> . a))]
[rest (-poly (a) ((-lst a) . -> . (-lst a)))]
[rest (-poly (a b)
(cl->*
(->acc (list (-pair a b)) b (list -cdr))
(->* (list (-lst a)) (-lst a))))]
[cons (-poly (a b)
(cl-> [(a (-lst a)) (-lst a)]