cannot build on SBCL

[dimpase]

Using the building procedure that works on ECL, I cannot build on SBCL. It fails with some obscure (for me) error (I tried both a stock SBCL on Ubuntu 14.04, as well as the latest git version). I.e. I tried doing

(require :asdf)
(require :kenzo)

and was getting

; compiling file "/home/dima/software/kenzo/src/chain-complexes.lisp" (written 13 JUN 2015 12:12:34 PM):
; compiling (IN-PACKAGE #:CAT)
; compiling (PROVIDE "chain-complexes")
; compiling (DEFUN CAT-INIT ...)
; compiling (DEFUN HOW-MANY-OBJECTS ...)
; compiling (DEFUN ALL-OBJECTS ...)
; compiling (DEFUN KD ...)
; compiling (DEFUN K ...)
; compiling (DEFUN KD2 ...)
; compiling (DEFMETHOD PRINT-OBJECT ...)
; compiling (DEFUN CHCM ...)
; compiling (DEFUN RESULT-PRINT ...)
; compiling (DEFMETHOD ?2 ...)
; file: /home/dima/software/kenzo/src/chain-complexes.lisp
; in: DEFMETHOD ?2 (MORPHISM T)
;     (THE CAT:CMBN (CAT:CMBN-? CAT::MRPH CAT:CMBN))
; 
; note: type assertion too complex to check:
;  (VALUES CMBN &REST T).

; compiling (DEFMETHOD ?2 ...)
; file: /home/dima/software/kenzo/src/chain-complexes.lisp
; in: DEFMETHOD ?2 (CHAIN-COMPLEX T)
;     (THE CAT:CMBN (CAT:CMBN-? (CAT:DFFR1 CAT::CHCM) CAT:CMBN))
; 
; note: type assertion too complex to check:
;  (VALUES CMBN &REST T).

; compiling (DEFMETHOD ?3 ...)
; file: /home/dima/software/kenzo/src/chain-complexes.lisp
; in: DEFMETHOD ?3 (MORPHISM T T)
;     (THE CAT:CMBN (CAT:GNRT-? CAT::MRPH CAT:DEGR CAT:GNRT))
; 
; note: type assertion too complex to check:
;  (VALUES CMBN &REST T).

; compiling (DEFMETHOD ?3 ...)
; compiling (DEFMETHOD PRINT-OBJECT ...)
; compiling (DEFUN MRPH ...)
; compiling (DEFUN BUILD-CHCM ...)
; compiling (DEFUN BASIS2 ...)
; file: /home/dima/software/kenzo/src/chain-complexes.lisp
; in: DEFUN BASIS2
;     (THE LIST
;          (WITH-SLOTS (CAT:BASIS)
;              CAT::OBJECT
;            (DECLARE (TYPE CAT:BASIS CAT:BASIS))
;            (WHEN (EQ :LOCALLY-EFFECTIVE CAT:BASIS)
;              (ERROR "The object ~A is locally-effective." CAT::OBJECT))
;            (FUNCALL CAT:BASIS CAT::N)))
; 
; note: type assertion too complex to check:
;  (VALUES &OPTIONAL LIST &REST T).

; compiling (DEFUN BUILD-MRPH ...)
; compiling (DEFUN NRESULTS ...)
; compiling (DEFUN TIME-LIST ...)
; file: /home/dima/software/kenzo/src/chain-complexes.lisp
; in: DEFUN TIME-LIST
;     (LET ((CAT::RNTM (CAT::RESULT-RNTM CAT::RSLT)))
;       (DECLARE (INTEGER CAT::RNTM))
;       (WHEN (PLUSP CAT::RNTM) (PUSH CAT::RNTM CAT::TIME-LIST)))
; 
; note: deleting unreachable code

;     (PUSH CAT::RNTM CAT::TIME-LIST)
; --> LET* 
; ==>
;   CAT::RNTM
; 
; note: deleting unreachable code

; --> LET* SETQ THE CONS 
; ==>
;   CAT::TIME-LIST
; 
; note: deleting unreachable code

;     (LET ((CAT::RNTM (CAT::RESULT-RNTM CAT::RSLT)))
;       (DECLARE (INTEGER CAT::RNTM))
;       (WHEN (PLUSP CAT::RNTM) (PUSH CAT::RNTM CAT::TIME-LIST)))
; 
; caught WARNING:
;   Derived type of (SB-KERNEL:%RAW-INSTANCE-REF/SINGLE (THE RESULT RSLT) 4) is
;     (VALUES SINGLE-FLOAT &OPTIONAL),
;   conflicting with its asserted type
;     INTEGER.
;   See also:
;     The SBCL Manual, Node "Handling of Types"

; compiling (DEFUN CLEAN-RESULTS ...)
; compiling (DEFUN MRPH-GNRT ...)
; file: /home/dima/software/kenzo/src/chain-complexes.lisp
; in: DEFUN MRPH-GNRT
;     (LET ((CAT::RNTM (FLOAT (/ CAT::RUNTIME INTERNAL-TIME-UNITS-PER-SECOND))))
;       (DECLARE (SINGLE-FLOAT CAT::RNTM))
;       (INCF CAT::*RESULTS-CMLT-TM* CAT::RNTM)
;       CAT::RNTM)
; 
; note: deleting unreachable code

; compiling (DEFUN MRPH-CMBN ...)
; file: /home/dima/software/kenzo/src/chain-complexes.lisp
; in: DEFUN MRPH-CMBN
;     (THE CAT:CMBN
;          (CAT::WITH-CMBN (CAT:DEGR LIST) CAT:CMBN
;                          (LET ((CAT::N-CMBN-LIST CAT:+EMPTY-LIST+))
;                            (DECLARE (LIST CAT::N-CMBN-LIST))
;                            (DO (#
;                                 #)
;                                (#)
;                              (DECLARE #)
;                              (MULTIPLE-VALUE-BIND # # # #))
;                            (CAT:CMBN-CMBN CAT::TCMPR2 CAT::N-CMBN-LIST))))
; 
; note: type assertion too complex to check:
;  (VALUES CMBN &REST T).

; compiling (DEFUN DO-CONTROL ...)
; compiling (DEFUN GNRT-? ...)
; compiling (DEFUN CMBN-? ...)

; /home/dima/.cache/common-lisp/sbcl-1.2.12-linux-x64/home/dima/software/kenzo/src/chain-complexes-TMP.fasl written
; compilation finished in 0:00:00.167
ASDF could not load kenzo because
COMPILE-FILE-ERROR while
compiling #<CL-SOURCE-FILE "kenzo" "src" "chain-complexes">.

debugger invoked on a UIOP/LISP-BUILD:COMPILE-FILE-ERROR in thread
#<THREAD "main thread" RUNNING {1002D3E6F3}>:
  COMPILE-FILE-ERROR while
  compiling #<CL-SOURCE-FILE "kenzo" "src" "chain-complexes">

Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
  0: [RETRY                        ] Retry
                                     compiling #<CL-SOURCE-FILE "kenzo" "src" "chain-complexes">.
  1: [ACCEPT                       ] Continue, treating
                                     compiling #<CL-SOURCE-FILE "kenzo" "src" "chain-complexes">
                                     as having been successful.
  2:                                 Retry ASDF operation.
  3: [CLEAR-CONFIGURATION-AND-RETRY] Retry ASDF operation after resetting the
                                     configuration.
  4: [ABORT                        ] Exit debugger, returning to top level.

(UIOP/LISP-BUILD:CHECK-LISP-COMPneLE-RESULTS NIL T T "~/asdf-action::format-action/" ((#<ASDF/LISP-ACTION:COMPILE-OP > . #<ASDF/LISP-ACTION:CL-SOURCE-FILE "kenzo" "src" "chain-complexes">)))
0] 

My apologies if I overlook something obvious, for I have no prior experience with SBCL.

[gheber]

Superseded by #9, #10, #11, #12, #13 .