suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Don't print "checked foo".

Browse Source 
Improve names in recursive contracts.

svn: r9298

original commit: 1039055628225ebed52d0b45a2fa22d782905108
This commit is contained in:
Sam Tobin-Hochstadt 2008-04-14 18:13:59 +00:00
parent 51b7de58e8
commit 2e2f299a10
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/typed-scheme.ss
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!))