impc:ti:carcdr-check   scheme


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

Implementation

(define impc:ti:carcdr-check
  (lambda (ast vars kts request?)
    ;; check that we are getter a pair as an argument
    (impc:ti:type-check (cadr ast) vars kts (list (impc:ir:pointer++ *impc:ir:pair*)))
    ;; don't do anything about return type yet
    '()))


Back to Index