impc:ti:fprintf-check   scheme


Defined in:  https://github.com/digego/extempore/tree/v0.8.9/runtime/llvmti.xtm

Implementation

(define impc:ti:fprintf-check
  (lambda (ast vars kts request?)
    (let ((a (impc:ti:type-check (cadr ast) vars kts (list (+ *impc:ir:si8* *impc:ir:pointer*))))
          (b (impc:ti:type-check (cadr ast) vars kts (list (+ *impc:ir:si8* *impc:ir:pointer*)))))
      ;; run through everything else for completeness but don't care about the results
      (for-each (lambda (x) (impc:ti:type-check x vars kts #f)) (cdddr ast))
      ;; printf returns i32
      (list *impc:ir:si32*))))


Back to Index