From 1039055628225ebed52d0b45a2fa22d782905108 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 14 Apr 2008 18:13:59 +0000 Subject: [PATCH] Don't print "checked foo". Improve names in recursive contracts. svn: r9298 --- collects/typed-scheme/private/type-contract.ss | 7 ++++--- collects/typed-scheme/typed-scheme.ss | 2 +- 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/collects/typed-scheme/private/type-contract.ss b/collects/typed-scheme/private/type-contract.ss index 87d3500440..16b46e15b1 100644 --- a/collects/typed-scheme/private/type-contract.ss +++ b/collects/typed-scheme/private/type-contract.ss @@ -109,9 +109,10 @@ [(F: v) (cond [(assoc v (vars)) => cadr] [else (int-err "unknown var: ~a" v)])] [(Mu: n b) - (with-syntax ([(n*) (generate-temporaries (list n))]) - (parameterize ([vars (cons (list n #'n*) (vars))]) - #`(flat-rec-contract n* #,(t->c b))))] + (match-let ([(Mu-name: n-nm _) ty]) + (with-syntax ([(n*) (generate-temporaries (list n-nm))]) + (parameterize ([vars (cons (list n #'n*) (vars))]) + #`(flat-rec-contract n* #,(t->c b)))))] [(Value: #f) #'false/c] [(Instance: _) #'(is-a?/c object%)] [(Class: _ _ _) #'(subclass?/c object%)] diff --git a/collects/typed-scheme/typed-scheme.ss b/collects/typed-scheme/typed-scheme.ss index 80ed340dc4..a39d738c50 100644 --- a/collects/typed-scheme/typed-scheme.ss +++ b/collects/typed-scheme/typed-scheme.ss @@ -91,7 +91,7 @@ [(transformed-body ...) (remove-provides #'(body2 ...))])] [with-syntax ([(transformed-body ...) (change-contract-fixups #'(transformed-body ...))])]) (do-time "Typechecked") - (printf "checked ~a~n" module-name) + #;(printf "checked ~a~n" module-name) #;(printf "created ~a types~n" (count!)) #;(printf "tried to create ~a types~n" (all-count!)) #;(printf "created ~a union types~n" (union-count!))