impc:ti:vector-shuffle-check   scheme

(define impc:ti:vector-shuffle-check
  (lambda (ast vars kts request?)
    ;;(println 'vector-ref-check: 'ast: ast 'vars: vars 'kts: kts)
    (let ((a (impc:ti:type-check (cadr ast) vars kts request?))
          (b (impc:ti:type-check (caddr ast) vars kts request?)))
      (if (impc:ir:type? a) (set! a (list a)))
      (if (impc:ir:pointer? (car a))
          (impc:ir:pointer-- (car a))
          (car a)))))