impc:ti:make-tuple-check   scheme

(define impc:ti:make-tuple-check
  (lambda (ast vars kts request?)
    (let* ((a (map (lambda (x t)
                     (impc:ti:type-check x vars kts t))
                   (cdr ast)
                   (if (and (list? request?)
                            (equal? 14 (car request?)))
                       (cdr request?)
                       (make-list (length (cdr ast)) #f)))))
      (cons *impc:ir:tuple* a))))