interp-Clambda.rkt

#lang racket
(require "utilities.rkt")
(require "interp-Llambda-prime.rkt")
(require "interp-Cvar.rkt")
(require "interp-Cif.rkt")
(require "interp-Cwhile.rkt")
(require "interp-Cvec.rkt")
(require "interp-Cvecof.rkt")
(require "interp-Cfun.rkt")
(require (prefix-in runtime-config: "runtime-config.rkt"))
(provide interp-Clambda interp-Clambda-mixin)

(define (interp-Clambda-mixin super-class)
  (class super-class
    (super-new)
    
    (define/override (interp-op op)
      (verbose "Clambda/interp-op" op)
      (match op
        ['procedure-arity
         (match-lambda
           [(vector (CFunction xs info G env) vs ... `(arity ,n)) n]
           [v (error 'interp-op "Clambda/expected function, not ~a" v)])]
        [else (super interp-op op)]))
    ))

(define Clambda-class (interp-Clambda-mixin
                       (interp-Cfun-mixin
                        (interp-Cvecof-mixin
                         (interp-Cvec-mixin
                          (interp-Cwhile-mixin
                           (interp-Cif-mixin
                            (interp-Cvar-mixin
                             interp-Llambda-prime-class))))))))
  
(define (interp-Clambda p)
  (send (new Clambda-class) interp-program p))