From f3ea082f0d9414624efff5bcf750b1082e8b3446 Mon Sep 17 00:00:00 2001 From: gerd <gerd> Date: Wed, 27 Aug 2003 09:55:24 +0000 Subject: [PATCH] Type error being signaled in volatile-info-lookup. Reported by Gareth McCaughan on cmucl-imp for 18e. * src/compiler/globaldb.lisp (compact-info-lookup) (volatile-info-lookup): Don't declare hash parameter as type index because type index doesn't include most-positive-fixnum. --- compiler/globaldb.lisp | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/compiler/globaldb.lisp b/compiler/globaldb.lisp index 5664dc06a..52194be05 100644 --- a/compiler/globaldb.lisp +++ b/compiler/globaldb.lisp @@ -5,7 +5,7 @@ ;;; Carnegie Mellon University, and has been placed in the public domain. ;;; (ext:file-comment - "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/globaldb.lisp,v 1.44 2003/08/25 20:51:00 gerd Exp $") + "$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/globaldb.lisp,v 1.45 2003/08/27 09:55:24 gerd Exp $") ;;; ;;; ********************************************************************** ;;; @@ -597,7 +597,8 @@ ;;; Name. ;;; (defun compact-info-lookup (env name hash) - (declare (type compact-info-env env) (type index hash)) + (declare (type compact-info-env env) + (type (integer 0 #.most-positive-fixnum) hash)) (let* ((table (compact-info-env-table env)) (len (length table)) (len-2 (- len 2)) @@ -766,7 +767,8 @@ ;;; Just like COMPACT-INFO-LOOKUP, only do it on a volatile environment. ;;; (defun volatile-info-lookup (env name hash) - (declare (type volatile-info-env env) (type index hash)) + (declare (type volatile-info-env env) + (type (integer 0 #.most-positive-fixnum) hash)) (let ((table (volatile-info-env-table env))) (macrolet ((lookup (test) `(dolist (entry (svref table (mod hash (length table))) ()) -- GitLab