From 7f5b511d1ceb51cd0ac8c5bc7fa809646ce22f88 Mon Sep 17 00:00:00 2001
From: ram <ram>
Date: Wed, 23 May 1990 15:04:49 +0000
Subject: [PATCH] Added UNSIGNED-BYTE declarations in DOTIMES to help type
 inference.

---
 code/macros.lisp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/code/macros.lisp b/code/macros.lisp
index cf0714527..084dc43a4 100644
--- a/code/macros.lisp
+++ b/code/macros.lisp
@@ -1421,10 +1421,12 @@
   (cond ((numberp count)
          `(do ((,var 0 (1+ ,var)))
               ((>= ,var ,count) ,result)
+	    (declare (type unsigned-byte ,var))
             ,@body))
         (t (let ((v1 (gensym)))
              `(do ((,var 0 (1+ ,var)) (,v1 ,count))
                   ((>= ,var ,v1) ,result)
+		(declare (type unsigned-byte ,var))
                 ,@body)))))
 
 
-- 
GitLab