From d9cb743afced3e2aa2b0e5e1110cdb2026e32765 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 18 Sep 2007 15:48:28 +0000 Subject: [PATCH] removed an optimization that obscures the names in contracted functions svn: r7379 --- collects/mzlib/private/contract-arrow.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/mzlib/private/contract-arrow.ss b/collects/mzlib/private/contract-arrow.ss index ab2f38d26a..d932468430 100644 --- a/collects/mzlib/private/contract-arrow.ss +++ b/collects/mzlib/private/contract-arrow.ss @@ -171,7 +171,8 @@ (with-syntax ([outer-lambda (let* ([lst (syntax->list #'args)] [len (and lst (length lst))]) - (if (and lst + (if (and #f ;; this optimization disables the names so is turned off for now + lst (not (syntax-e #'use-any?)) (= len (length (syntax->list #'(dom-names ...)))) (= 1 (length (syntax->list #'(rng-names ...))))