From 135d52c78ef1129a296a2584e011c93cdcfbcf67 Mon Sep 17 00:00:00 2001 From: Juan Jose Garcia Ripoll Date: Sun, 7 Feb 2010 11:08:09 +0100 Subject: [PATCH] The compiler now uses THE forms with a VALUES type. --- src/cmp/cmpspecial.lsp | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/src/cmp/cmpspecial.lsp b/src/cmp/cmpspecial.lsp index a7da4d61a..4d4fa9cf2 100644 --- a/src/cmp/cmpspecial.lsp +++ b/src/cmp/cmpspecial.lsp @@ -27,12 +27,9 @@ (let* ((form (c1expr (second args))) (the-type (type-filter (first args) t)) type) - (cond ((and (consp the-type) (eq (first the-type) 'VALUES)) - (cmpwarn "Ignoring THE form with type ~A" the-type)) - ((not (setf type (type-and the-type (c1form-primary-type form)))) - (cmpwarn "Type mismatch was found in ~s." (cons 'THE args))) - (t - (setf (c1form-type form) type))) + (if (setf type (type-and the-type (c1form-primary-type form))) + (setf (c1form-type form) type) + (cmpwarn "Type mismatch was found in ~s." (cons 'THE args))) form)) (defun c1compiler-let (args &aux (symbols nil) (values nil))