MINIMAL-TERM-TOP-LEFT in smith.lisp

[gheber]

; in: DEFUN MINIMAL-TERM-TOP-LEFT
; (THE CAT::MATRIX
; (PROGN
; (WHEN (< CAT::BEGIN CAT::IL)
; (CAT::LINE-SWAP-5 CAT::MTRX-LIST CAT::BEGIN CAT::BEGIN CAT::IL))
; (WHEN (< CAT::BEGIN CAT::IC)
; (CAT::COLUMN-SWAP-5 CAT::MTRX-LIST CAT::BEGIN CAT::BEGIN CAT::IC))

; (WHEN (MINUSP (AREF # CAT::BEGIN CAT::BEGIN))
; (CAT::LINE-MINUS-5 CAT::MTRX-LIST CAT::BEGIN CAT::BEGIN))
; CAT::MTRX-LIST))
;
; note: deleting unreachable code
;
; caught WARNING:
; Derived type of MTRX-LIST is
; (VALUES LIST &OPTIONAL),
; conflicting with its asserted type
; (ARRAY FIXNUM (* *)).
; See also:
; The SBCL Manual, Node "Handling of Types"

[gheber]

Fixed in 4a2c621 .