-rwxr-xr-x | gcl/cmpnew/gcl_cmptop.lsp | 6 |
diff --git a/gcl/cmpnew/gcl_cmptop.lsp b/gcl/cmpnew/gcl_cmptop.lsp index 78461a149..2e78814d6 100755 --- a/gcl/cmpnew/gcl_cmptop.lsp +++ b/gcl/cmpnew/gcl_cmptop.lsp @@ -420,13 +420,13 @@ (t (let ((f *top-level-forms*)) (dolist (form args) (t1expr form)) - (setq *top-level-forms* (cons (cons 'progn (nreverse (ldiff *top-level-forms* f))) f)))))) + (setq *top-level-forms* (cons `(progn ,(nreverse (ldiff *top-level-forms* f))) f)))))) -(defun t3progn (&rest args) +(defun t3progn (args) (dolist (arg args) (t23expr arg 't3))) -(defun t2progn (&rest args) +(defun t2progn (args) (dolist (arg args) (t23expr arg 't2))) |