remove print

Author: capfredf

typed-racket-lib/typed-racket/infer/infer-unit.rkt

@@ -577,7 +577,6 @@
            [_ #f])
          #f
          ;; constrain v to be below T (but don't mention bounds)
-         (eprintf "hi...........~a ~n" v)
          (define maybe-type-bound (hash-ref (context-type-bounds context) v #f))
          (if (and maybe-type-bound (subtype maybe-type-bound T obj))
              (singleton maybe-type-bound v (var-demote T (context-bounds context)))
@@ -590,7 +589,6 @@
            [_ #f])
          #f
          (define maybe-type-bound (hash-ref (context-type-bounds context) v #f))
-         (eprintf "bye...........~a ~a <: ~a ~n" v S maybe-type-bound)
          ;; constrain v to be above S (but don't mention bounds)
          (if (and maybe-type-bound (subtype S maybe-type-bound obj))
              (singleton (var-promote S (context-bounds context)) v maybe-type-bound)

typed-racket-lib/typed-racket/rep/type-rep.rkt

@@ -1680,11 +1680,9 @@
        (int-err "Wrong number of names: expected ~a got ~a" n (length names)))
      (eprintf "new bounds is ~a ~n" new-bounds)
      (instantiate-type body
-                       
                        (map (lambda (n)
-                              (make-F n 
-                                      (hash-ref new-bounds n #f)
-                                      )) names)
+                              (make-F n (hash-ref new-bounds n #f)))
+                            names)
                        #;
                        (map F* names))]))
 

typed-racket-lib/typed-racket/typecheck/tc-lambda-unit.rkt

@@ -715,7 +715,6 @@
     [(tc-result1: (app resolve (and t (Poly-fresh: ns fresh-ns expected*))))
      ;; make sure the declared and annotated type variable arities match up
      ;; with the expected type variable arity
-     (eprintf "app resolve tc-result ~n")
      (for ([tvars (in-list tvarss)])
        (when (and (pair? tvars) (list? (car tvars)))
          (tc-error