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

..

Browse Source 
original commit: a390a9700e2e102e9e3ce94d55eb20771cde3817
This commit is contained in:
Robby Findler 2002-05-08 18:40:04 +00:00
parent 04bca8e6e9
commit eae6092bab
1 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
collects/framework/specs.ss
View File

@ -687,9 +687,9 @@
(define (</c x) (name </c (lambda (y) (and (number? y) (< y x)))))
(define (>/c x) (name >/c (lambda (y) (and (number? y) (> y x)))))
(define (is-a?/c <%>) (lambda (x) (is-a? x <%>)))
(define (subclass?/c <%>) (lambda (x) (subclass? x <%>)))
(define (implementation?/c <%>) (lambda (x) (implementation? x <%>)))
(define (is-a?/c <%>) (name is-a?/c (lambda (x) (is-a? x <%>))))
(define (subclass?/c <%>) (name subclass?/c (lambda (x) (subclass? x <%>))))
(define (implementation?/c <%>) (name implementation?/c (lambda (x) (implementation? x <%>))))
(define (false? x) (not x))
(define (any? x) #t)
@ -729,10 +729,11 @@
(andmap p (vector->list v))))))
(define (cons/p hdp tlp)
(lambda (x)
(and (pair? x)
(hdp (car x))
(tlp (cdr x)))))
(name cons/p
(lambda (x)
(and (pair? x)
(hdp (car x))
(tlp (cdr x))))))
(define (list/p . args)
(let loop ([args args])