From 65635f1452e3a586dde86fa2e9f96cd0b89b26f8 Mon Sep 17 00:00:00 2001
From: Juan Jose Garcia Ripoll <jjgarcia@jjgr-2.local>
Date: Thu, 9 Jul 2009 23:31:50 +0200
Subject: [PATCH] Minor read-only annotations in cmpopt.lsp

---
 src/cmp/cmpopt.lsp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/cmp/cmpopt.lsp b/src/cmp/cmpopt.lsp
index 41efc613c..f2b7aa404 100644
--- a/src/cmp/cmpopt.lsp
+++ b/src/cmp/cmpopt.lsp
@@ -123,6 +123,7 @@
 	  ((member first '(OR AND))
 	   (let ((var (gensym)))
 	     `(let ((,var ,object))
+                (declare (:read-only ,var))
 		(,first ,@(loop for type in rest
 			   collect `(typep ,var ',type))))))
 	  ;;
@@ -141,6 +142,7 @@
 			(subtypep type 'fixnum))
 	       (setf first 'fixnum))
 	     `(LET ((,var ,object))
+                (declare (:read-only ,var))
 		(AND (TYPEP ,var ',first)
 		     ,@(expand-in-interval-p `(the ,first ,var) rest)))))
 	  ;;