diff options
| -rw-r--r-- | stdlib/compiler.tl | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/stdlib/compiler.tl b/stdlib/compiler.tl index 7e1770b8..c73be316 100644 --- a/stdlib/compiler.tl +++ b/stdlib/compiler.tl @@ -508,6 +508,7 @@ ;; function call ((+ *) me.(comp-arith-form oreg env form)) ((- /) me.(comp-arith-neg-form oreg env form)) + (typep me.(comp-typep oreg env form)) (t me.(comp-fun-form oreg env form)))) ((and (consp sym) (eq (car sym) 'lambda)) me.(compile oreg env ^(call ,*form))) @@ -1279,6 +1280,17 @@ (rlcp ^(,nop ,a1 ,sform) form)))) (else me.(comp-fun-form oreg env form)))) +(defmeth compiler comp-typep (me oreg env form) + (match-case form + ((typep @exp @(require @(constantp @type) + (eq t (safe-const-eval type)))) + me.(compile oreg env ^(progn ,exp t))) + ((typep @exp @(require @(constantp @type) + (null (safe-const-eval type)))) + me.(compile oreg env ^(progn ,exp nil))) + (@else + me.(comp-fun-form oreg env form)))) + (defmeth compiler comp-fun-form (me oreg env form) (let* ((olev *opt-level*) (sym (car form)) |