From f4299645c1643c1b7195dcb3fee2332b709a4127 Mon Sep 17 00:00:00 2001 From: Nathan Froyd Subject: [PATCH 25/39] hoist load of BOARD-LETTERS; add declarations --- src/lisp/solver.lisp | 5 ++++- 1 files changed, 4 insertions(+), 1 deletions(-) diff --git a/src/lisp/solver.lisp b/src/lisp/solver.lisp index 94529e4..28d2435 100755 --- a/src/lisp/solver.lisp +++ b/src/lisp/solver.lisp @@ -115,6 +115,8 @@ (let* ((the-board (create-board (board-from-stream *standard-input*))) + (board-letters (board-letters the-board))) + (declare (type board the-board)) ;; Print out the board config (print-board-config-text (board-config the-board)) (format t "~%") @@ -123,7 +125,8 @@ (progn (dotimes (i (board-rows the-board)) ;; (delcare (type integer i)) - (let ((row (aref (board-letters the-board) i))) + (let ((row (aref board-letters i))) + (declare (type simple-vector row)) (dotimes (j (board-cols the-board)) ;; (delcare (type integer j)) (let ((letter (aref row j))) -- 1.6.2