impc:compiler:print-could-not-resolve-type-error   scheme

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