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

(define impc:compiler:print-could-not-resolve-generic-type-error
  (lambda (types ast)
    (print-with-colors *impc:compiler:pretty-print-error-color*
                       'default #t (print "Type Error"))
    (if (list? types)
        (print " couldn't resolve generic types: ")
        (print " couldn't resolve generic type: "))
    (print-with-colors *impc:compiler:pretty-print-type-color* 'default #f (print types))
    (print " ")
    (print-with-colors *impc:compiler:pretty-print-code-color* 'default #f (print ast "\n"))
    (if (impc:aot:currently-compiling?)
        (quit 2)
        (throw ""))))