impc:compiler:print-polying-details-to-log   scheme

(define impc:compiler:print-polying-details-to-log
  (lambda (lead-string poly-name native-name type)
    (if (equal? *impc:compiler:message:level* 'high)
        (begin
          (print lead-string " ")
          (print-with-colors *impc:compiler:pretty-print-name-color*
                             'default #t (print poly-name))
          (print " with ")
          (print-with-colors *impc:compiler:pretty-print-name-color*
                             'default #t (print native-name))
          (print " >>> ")
          (print-with-colors *impc:compiler:pretty-print-type-color*
                             'default #f  (print type))
          (println)))))