impc:compiler:print-if-type-conflict-error   scheme

(define impc:compiler:print-if-type-conflict-error
  (lambda (then else)
    (print-with-colors *impc:compiler:pretty-print-error-color*
                       'default #t (print "Type Error"))
    (print " type conflict between " )
    (print-with-colors *impc:compiler:pretty-print-name-color* 'default #t (print "then"))
    (print " (")
    (print-with-colors *impc:compiler:pretty-print-type-color* 'default #f (print then))
    (print ") and ")
    (print-with-colors *impc:compiler:pretty-print-name-color* 'default #t (print "else"))
    (print " (")
    (print-with-colors *impc:compiler:pretty-print-type-color* 'default #f (print else))
    (print ") branch of " )
    (print-with-colors *impc:compiler:pretty-print-name-color* 'default #t (print  "if"))
    (print " statement\n")
    (if (impc:aot:currently-compiling?)
        (quit 2)
        (throw ""))))