From b1637a1ebd73b44d6889c13b2753ba69ae568b73 Mon Sep 17 00:00:00 2001 From: Keisuke Nishida Date: Tue, 22 Aug 2000 18:27:31 +0000 Subject: [PATCH] (make-code): Check argument types. (make-code:and, make-code:or): Pass env to make-code. --- vm/types.scm | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/vm/types.scm b/vm/types.scm index a06c3d18e..f0d4c60f6 100644 --- a/vm/types.scm +++ b/vm/types.scm @@ -50,6 +50,8 @@ (is-a? obj )) (define-public (make-code tag env . args) + (assert keyword? tag) + (assert env? env) (make #:tag tag #:env env #:args args)) @@ -349,12 +351,12 @@ (define-public (make-code:and env . args) (assert env? env) (assert-for-each code? args) - (apply make-code #:and args)) + (apply make-code #:and env args)) (define-public (make-code:or env . args) (assert env? env) (assert-for-each code? args) - (apply make-code #:or args)) + (apply make-code #:or env args)) (define-public (make-code:begin env . body) (assert env? env)