From 0403394c8545b3038e49cae5d7c65fdcaa7435f1 Mon Sep 17 00:00:00 2001
From: Juan Jose Garcia Ripoll <jjgarcia@users.sourceforge.net>
Date: Mon, 9 Jul 2012 00:08:25 +0200
Subject: [PATCH] THE forms did not work with VALUES types when compiled

---
 src/cmp/cmptype-assert.lsp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/cmp/cmptype-assert.lsp b/src/cmp/cmptype-assert.lsp
index 82803fc4b..8e8ce8f50 100644
--- a/src/cmp/cmptype-assert.lsp
+++ b/src/cmp/cmptype-assert.lsp
@@ -93,6 +93,10 @@
 	 form form-type and-type)
     (cond ((or (trivial-type-p args) (not (policy-type-assertions)))
 	   value)
+	  ((and (consp type)
+		(eq (first type) 'values))
+	   (c1checked-value (list (values-type-primary-type type)
+				  value)))
 	  ((and (policy-evaluate-forms) (constantp value))
 	   (unless (typep (cmp-eval value) type)
 	     (cmpwarn "Failed type assertion for value ~A and type ~A"