impc:compiler:print-bad-type-error   scheme

(define impc:compiler:print-bad-type-error
  (lambda (type . message)
    (print-with-colors *impc:compiler:pretty-print-error-color*
                       'default #t (print "Type Error"))
    (print " bad type ")
    (print-with-colors *impc:compiler:pretty-print-type-color* 'default #f (print type))
    (if (not (null? message))
        (print " " (car message)))
    (println)
    (if (impc:aot:currently-compiling?)
        (quit 2)
        (throw ""))))