diff --git a/collects/tests/typed-scheme/succeed/icfp-examples.ss b/collects/tests/typed-scheme/succeed/icfp-examples.ss
index 13bdf020..5a01957e 100644
--- a/collects/tests/typed-scheme/succeed/icfp-examples.ss
+++ b/collects/tests/typed-scheme/succeed/icfp-examples.ss
@@ -27,7 +27,7 @@
 
 ;; Example 6 has an intentional error
 (define: z : (U Number String) 7)
-(if (and (number? z) (string? y))
+#;(if (and (number? z) (string? y))
     (+ z (string-length y))
     (string-length z))
 
diff --git a/collects/typed-scheme/typecheck/tc-if.ss b/collects/typed-scheme/typecheck/tc-if.ss
index 398d266f..0b0ee46a 100644
--- a/collects/typed-scheme/typecheck/tc-if.ss
+++ b/collects/typed-scheme/typecheck/tc-if.ss
@@ -50,10 +50,10 @@
                                            (env-props env-els))]
                     [(tc-results: ts fs2 os2) (with-lexical-env env-thn (tc thn (unbox flag+)))]
                     [(tc-results: us fs3 os3) (with-lexical-env env-els (tc els (unbox flag-)))])
-         (printf "old els-props: ~a\n" (env-props (lexical-env)))
-         (printf "fs-: ~a~n" fs-)
-         (printf "els-props: ~a~n" (env-props env-els))
-         (printf "new-els-props: ~a~n" new-els-props)
+         ;(printf "old els-props: ~a\n" (env-props (lexical-env)))
+         ;(printf "fs-: ~a~n" fs-)
+         ;(printf "els-props: ~a~n" (env-props env-els))
+         ;(printf "new-els-props: ~a~n" new-els-props)
          ;; if we have the same number of values in both cases
          (cond [(= (length ts) (length us))
                 (let ([r (combine-results
@@ -69,7 +69,7 @@
                                            (-or (apply -and fs+ f2- new-thn-props) (apply -and fs- f3- new-els-props)))])]
                                   [type (Un t2 t3)]
                                   [object (if (object-equal? o2 o3) o2 (make-Empty))])
-                              (printf "result filter is: ~a\n" filter)
+                              ;(printf "result filter is: ~a\n" filter)
                               (ret type filter object))))])
                   (if expected (check-below r expected) r))]
                ;; special case if one of the branches is unreachable
diff --git a/collects/typed-scheme/typecheck/tc-let-unit.ss b/collects/typed-scheme/typecheck/tc-let-unit.ss
index aa5074ea..dfc3211b 100644
--- a/collects/typed-scheme/typecheck/tc-let-unit.ss
+++ b/collects/typed-scheme/typecheck/tc-let-unit.ss
@@ -35,8 +35,8 @@
                [names (in-list namess)])
               (match r 
                 [(tc-results: ts (FilterSet: fs+ fs-) os)
-                 (printf "f+: ~a~n" fs+)
-                 (printf "f-: ~a~n" fs-)
+                 ;(printf "f+: ~a~n" fs+)
+                 ;(printf "f-: ~a~n" fs-)
                  (values ts
                          (apply append
                                 (for/list ([n names]