From eae6092bab5de707024c73bf821e5ae2f553dd6d Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 8 May 2002 18:40:04 +0000 Subject: [PATCH] .. original commit: a390a9700e2e102e9e3ce94d55eb20771cde3817 --- collects/framework/specs.ss | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) diff --git a/collects/framework/specs.ss b/collects/framework/specs.ss index 87d573b..93e4d6f 100644 --- a/collects/framework/specs.ss +++ b/collects/framework/specs.ss @@ -687,9 +687,9 @@ (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])