impc:ti:bitconvert-check   scheme

(define impc:ti:bitconvert-check
  (lambda (ast vars kts request?)
    ;; don't pass on request because convert
    ;; is by definition expecting a different arg to its return!
    (impc:ti:type-check (cadr ast) vars kts #f)
    (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))))))