impc:compiler:print-no-redefinitions-error   scheme

(define impc:compiler:print-no-redefinitions-error
  (lambda (name oldtype newtype)
    (print-with-colors *impc:compiler:pretty-print-error-color*
                       'default #t (print "Compiler Error"))
    (print " cannot redefine or overload the type signature of existing functions.  In this case, ")
    (print-with-colors *impc:compiler:pretty-print-name-color* 'default #t (print name)) (print " from ")
    (print-with-colors *impc:compiler:pretty-print-type-color* 'default #f (print oldtype)) (print " to ")
    (print-with-colors *impc:compiler:pretty-print-type-color* 'default #f (print newtype "\n"))
    (if (impc:aot:currently-compiling?)
        (quit 2)
        (throw ""))))