impc:ti:nativef-check   scheme

;; with _native functions
(define impc:ti:nativef-check
  (lambda (ast vars kts request?)
    ;; (println 'type-checking: (car ast))
    ;; (println 'native-check 'ast: ast 'vars: vars 'request: request?)
    (let* ((name (symbol->string (car ast)))
           (ftype (map impc:ir:get-type-from-str
                       (or (impc:ti:get-nativefunc-arg-types name)
                           (impc:ti:get-closure-arg-types name)))))
      (if *impc:ti:print-sub-checks* (println 'ftype:> 'ast: ast 'type: ftype))