impc:compiler:print-variable-not-marked-as-free-error   scheme

(define impc:compiler:print-variable-not-marked-as-free-error
  (lambda (vs)
    (print-with-colors *impc:compiler:pretty-print-error-color*
                       'default #t (print "Type Error"))
    (print " variable " )
    (print-with-colors *impc:compiler:pretty-print-name-color* 'default #t (print vs))
    (print " not marked as free - check the variable name in the polytype\n")
    (if (impc:aot:currently-compiling?)
        (quit 2)
        (throw ""))))