impc:ti:bitcast-check   scheme

(define impc:ti:bitcast-check
  (lambda (ast vars kts request?)
    ;; (println 'bitcastcheck'req: request?)
    (if (null? (cddr ast))
        (if request? (list request?) (list))
        ;; for the symbols we want to set each return type
        ;;(impc:ti:update-var (cadr ast) vars kts (impc:ir:convert-from-pretty-types (caddr ast)))
        (list (impc:ir:convert-from-pretty-types (caddr ast))))))