X-Git-Url: http://git.kpe.io/?a=blobdiff_plain;f=edge-table-storage.lisp;h=7e8e88da9cb3d4e71449591e26eab7b46c4c1ce6;hb=4c844bde197de54c0343f7ab500153278f859ec6;hp=366aa90b84d19e75ed8dd4ca1131efc0df2dcb22;hpb=20c849f483c381f84eae22eee807280c8d00e554;p=reversi.git

diff --git a/edge-table-storage.lisp b/edge-table-storage.lisp
index 366aa90..7e8e88d 100644
--- a/edge-table-storage.lisp
+++ b/edge-table-storage.lisp
@@ -7,7 +7,7 @@
 ;;;;  Programer:      Kevin Rosenberg
 ;;;;  Date Started:   1 Nov 2001
 ;;;;
-;;;; $Id: edge-table-storage.lisp,v 1.4 2003/06/12 12:42:13 kevin Exp $
+;;;; $Id$
 ;;;;
 ;;;; This file is Copyright (c) 2001-2003 by Kevin M. Rosenberg
 ;;;;
@@ -35,7 +35,8 @@
 		       :name "edge-table"
 		       :type "dat"))))
 
-  (defun store-edge-table (et &optional (path *et-path*)) 
+  (defun store-edge-table (et &optional (path *et-path*))
+    (declare (type edge-table et))
     (with-open-file (stream path :direction :output
 			    :if-exists :supersede)
       (print (length et) stream)
@@ -48,10 +49,11 @@
       (with-open-file (stream path :direction :input)
 	(let* ((length (read stream))
 	       (et (make-array length :element-type 'fixnum)))
-		      (dotimes (i length)
-			(declare (fixnum i))
-			(setf (aref et i) (read stream)))
-		      et))))
+	  (declare (type (simple-array fixnum (*)) et))
+	  (dotimes (i length)
+	    (declare (fixnum i))
+	    (setf (aref et i) (read stream)))
+	  et))))
   
   (unless (probe-file *et-path*)
     (format *trace-output* ";; Recompiling edge-table, this make take several minutes")