From 4ec7cb1d886c08a4b24a1f9986c38c5063535e83 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Fri, 8 Oct 2010 19:56:51 +0200 Subject: [PATCH] Unbreak coverage for *SL `define-struct'. --- collects/lang/private/teach.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/lang/private/teach.rkt b/collects/lang/private/teach.rkt index 736de15101..4e383364c9 100644 --- a/collects/lang/private/teach.rkt +++ b/collects/lang/private/teach.rkt @@ -894,12 +894,12 @@ (combined (at name_ (predicate raw-predicate)) (at field_ (signature:property getter-name field_/no-loc)) ...))) #`(define (#,parametric-signature-name field_ ...) - (let* ((sigs (list field_ ...)) + (let* ((sigs (list field_/no-loc ...)) (sig (make-lazy-wrap-signature 'name_ #t type-descriptor raw-predicate - (list field_/no-loc ...) + sigs #'name_))) (let ((arbs (map signature-arbitrary sigs))) (when (andmap values arbs)