Don't print "checked foo".

Improve names in recursive contracts.

svn: r9298
This commit is contained in:
Sam Tobin-Hochstadt 2008-04-14 18:13:59 +00:00
parent 9617dbbfd6
commit 1039055628
2 changed files with 5 additions and 4 deletions

View File

@ -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%)]

View File

@ -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!))