Welcome to Clozure Common Lisp Version 1.10-r16196 (LinuxARM32)!

CCL is developed and maintained by Clozure Associates. For more information
about CCL visit http://ccl.clozure.com. To enquire about Clozure's Common Lisp
consulting services e-mail [email protected] or visit http://www.clozure.com.

? (ql:quickload :kenzo-test)
To load "kenzo-test":
Load 1 ASDF system:
kenzo-test
; Loading "kenzo-test"

(:KENZO-TEST)
? (in-package :fiveam)

<Package "IT.BESE.FIVEAM">

? (run!)

Running test suite KENZO
Running test CMBN-CMBN ............
Running test V .
Running test L-CMPR ..........
Running test S-CMPR .....
Running test CCN
---done---................................
Running test DSTR-ADD-TERM-TO-CMBN ...........................
Running test OPPS
---done---X
Running test NCMBN-ADD ..
Running test 2CMBN-ADD .............
Running test IDNT-MRPH
---done---X
Running test NTERM-ADD ........
Running test ZERO-MRPH
---done---X
Running test BINOMIAL-N-P ......
Running test N-CMBN .....
Running test CDELTA
;Compiler warnings :
; In %INNER-TEST-CDELTA: Unused lexical variable COMB
; In %INNER-TEST-CDELTA: Unused lexical variable BCC

---done---X
Running test 2N-2CMBN ..............
Running test N-MRPH
;Compiler warnings :
; In %INNER-TEST-N-MRPH: Unused lexical variable K
; In %INNER-TEST-N-MRPH: Unused lexical variable 2CH3

---done---X
Running test <A-B< .
Running test DO-CONTROL ....
Running test >A-B< .
Running test SBTR
---done---X
Running test GNRT-?
---done---X
Running test DIABOLO
---done---........
Running test 2CMBN-SBTR ...................
Running test CMBN-OPPS ....
Running test CMPS
---done---X
Running test CIRCLE
---done---X
Running test UVWZ ..............
Running test SRANDOM ....................
Running test >A-B> .
Running test ADD
---done---X
Running test CMBN ..........
Running test ZERO-CMBN ........
Running test CMBN-?
---done---X
Running test BINOMIAL-P-Q ......
Running test .
Running test F-CMPR ..........
Did 253 checks.
Pass: 242 (95%)
Skip: 0 ( 0%)
Fail: 11 ( 4%)

Failure Details:

CMBN-? []:
Unexpected Error: #<CCL::BAD-SLOT-TYPE #x151201BE>
The value NIL can not be used to set the value of the slot CAT::RSLTS in [K2 Morphism (degree -1): K1 -> K1], because it is not of type SIMPLE-VECTOR. ..

ADD []:
Unexpected Error: #<CCL::BAD-SLOT-TYPE #x150EB1FE>
The value NIL can not be used to set the value of the slot CAT::RSLTS in [K2 Morphism (degree -1): K1 -> K1], because it is not of type SIMPLE-VECTOR. ..

CIRCLE []:
Unexpected Error: #<CCL::BAD-SLOT-TYPE #x150707E6>
The value NIL can not be used to set the value of the slot CAT::RSLTS in [K2 Morphism (degree -1): K1 -> K1], because it is not of type SIMPLE-VECTOR. ..

CMPS []:
Unexpected Error: #<CCL::BAD-SLOT-TYPE #x1507AD7E>
The value NIL can not be used to set the value of the slot CAT::RSLTS in [K2 Morphism (degree -1): K1 -> K1], because it is not of type SIMPLE-VECTOR. ..

GNRT-? []:
Unexpected Error: #<CCL::BAD-SLOT-TYPE #x15086AD6>
The value NIL can not be used to set the value of the slot CAT::RSLTS in [K2 Morphism (degree -1): K1 -> K1], because it is not of type SIMPLE-VECTOR. ..

SBTR []:
Unexpected Error: #<CCL::BAD-SLOT-TYPE #x1507434E>
The value NIL can not be used to set the value of the slot CAT::RSLTS in [K2 Morphism (degree -1): K1 -> K1], because it is not of type SIMPLE-VECTOR. ..

N-MRPH []:
Unexpected Error: #<CCL::BAD-SLOT-TYPE #x15032B46>
The value NIL can not be used to set the value of the slot CAT::RSLTS in [K2 Morphism (degree -1): K1 -> K1], because it is not of type SIMPLE-VECTOR. ..

CDELTA []:
Unexpected Error: #<CCL::BAD-SLOT-TYPE #x1500E546>
The value NIL can not be used to set the value of the slot CAT::RSLTS in [K6 Morphism (degree 0): K3 -> K1], because it is not of type SIMPLE-VECTOR. ..

ZERO-MRPH []:
Unexpected Error: #<CCL::BAD-SLOT-TYPE #x14FEC6DE>
The value NIL can not be used to set the value of the slot CAT::RSLTS in [K2 Cohomology-Class on K1 of degree 1], because it is not of type SIMPLE-VECTOR. ..

IDNT-MRPH []:
Unexpected Error: #<CCL::BAD-SLOT-TYPE #x1503AD9E>
The value NIL can not be used to set the value of the slot CAT::RSLTS in [K2 Cohomology-Class on K1 of degree 1], because it is not of type SIMPLE-VECTOR. ..

OPPS []:
Unexpected Error: #<CCL::BAD-SLOT-TYPE #x14FE31A6>
The value NIL can not be used to set the value of the slot CAT::RSLTS in [K2 Cohomology-Class on K1 of degree 1], because it is not of type SIMPLE-VECTOR. ..

NIL
?

The K-Z2-HOMOLOGY in k-pi-n-test.lisp fails with:

Failure Details:

K-Z2-HOMOLOGY []:
Unexpected Error: #<TYPE-ERROR expected-type: (OR FUNCTION CAT:MORPHISM)
datum: NIL>
The value NIL is not of type (OR FUNCTION CAT:MORPHISM)...

The MRPH-VRTC-BAR-INTR test fails with:

Failure Details:

MRPH-VRTC-BAR-INTR []:
Unexpected Error: #<TYPE-ERROR expected-type:
(OR FUNCTION (MEMBER :LOCALLY-EFFECTIVE))
datum: NIL>
The value NIL is not of type (OR FUNCTION (MEMBER :LOCALLY-EFFECTIVE))...

; 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"

CAT> (gnrt-? ff 0 41)

----------------------------------------------------------------------{CMBN 0}

<1 * 41>

CAT> (gnrt-? ff 0 41)
; Evaluation aborted on #<TYPE-ERROR expected-type: CONS
datum:

GNRT-> 41
VALUE->
----------------------------------------------------------------------{CMBN 0}

<1 * 41>

CLNM->      1
RNTM->       0.000>.

The BAR-HRZN-DFFR test in bar-test.lisp fails with:

Failure Details:

BAR-HRZN-DFFR []:
Unexpected Error: #<TYPE-ERROR expected-type: (SATISFIES CAT::ICMBN-P)
datum:
----------------------------------------------------------------------{CMBN 6}
<-1 * (1 -2 7 10 -6 7)>
<1 * (1 -2 7 10 7 -6)>
<-1 * (1 7 -2 7 10 -6)>

<1 * (7 1 -2 7 10 -6)>

The value
----------------------------------------------------------------------{CMBN 6}
<-1 * (1 -2 7 10 -6 7)>
<1 * (1 -2 7 10 7 -6)>
<-1 * (1 7 -2 7 10 -6)>

<1 * (7 1 -2 7 10 -6)>

is not of type
(SATISFIES CAT::ICMBN-P)...

This is probably the same issue as #24 .

The Z-COCYCLE-GBAR test in k-pi-n-test.lisp fails with:

Failure Details:

Z-COCYCLE-GBAR []:
Unexpected Error: #
The value NIL is not of type FIXNUM...

Francis' comment:

In principle it is not acceptable. A morphism instance cannot be used without a slot INTR. It is possible I've sometimes said something as ":type (or nil function)", but I think it is bad programming.

Two different situations. In a lambda-list with an optional
argument:

(DEFUN FOO (arg1 &optional arg2)
(declare (type arg2 (or nil number)))
(or arg2 (setf arg2 ...))
...)

it is logical to declare the type (or nil number), for the function can be called without the second argument, in which case in fact the function starts with arg2 -> nil.

For the slot INTR, the situation is different. As long as the slot is not bound, it does not make sense to speak of its type. And when bound, the type of the value will certainly not be null.

The BAR test in bar-test.lisp fails with:

Failure Details:

BAR []:
Unexpected Error: #<TYPE-ERROR expected-type: (SATISFIES CAT::ICMBN-P)
datum:

----------------------------------------------------------------------{CMBN 2}

The value

----------------------------------------------------------------------{CMBN 2}

is not of type
(SATISFIES CAT::ICMBN-P)...

This is probably related to #24, #25, etc.

Why? What can be done?

The TNSR-PRDC1 test in tensor-products-test.lisp fails with:

Failure Details:

TNSR-PRDC1 []:
Unexpected Error: #
The value NIL is not of type FIXNUM...

CHECK-HAT []:
Unexpected Error: #
The assertion (EQ :EQUAL
(CAT:A-CMPR3 CAT:CMPR CAT::DEL-I-DEL-J CAT::DEL-J-DEL-I+1)) failed..

Were you able to dig up examples for this?

Hardware: Raspberry Pi 2B (1GB of RAM) under Raspbian 7.8 (Debian Wheezy).

The execution times for the Kenzo test suite

time [ccl,sbcl] --load run-kenzo-test.lisp

are as follows:

CCL-1.10: ~ 19 sec
SBCL-1.2.7: ~ 5 min

Why is there such a big difference?

Creating the abelian simplicial group K(Z/2Z,2):
[K45 Abelian-Simplicial-Group]

Calculating the homology group of dimension 4:
While evaluating the form starting at line 51, column 0
of #P"C:/home/quicklisp/local-projects/kenzo/examples/overview.lisp":

debugger invoked on a TYPE-ERROR in thread

<THREAD "main thread" RUNNING {1002D77663}>:

The value NIL is not of type (OR FUNCTION CAT:MORPHISM).

I don't understand the problem and this is just a hack, which makes it compile w/ SBCL...

+#-sbcl (DEFCONSTANT +NULL-ABAR+ (make-abar :list +empty-list+))
+#+sbcl (DEFPARAMETER +NULL-ABAR+ (make-abar :list +empty-list+))

+#-sbcl (DEFCONSTANT +NULL-GBAR+ (make-gbar :dmns 0 :list +empty-list+))
+#+sbcl (DEFPARAMETER +NULL-GBAR+ (make-gbar :dmns 0 :list +empty-list+))

+#-sbcl(DEFCONSTANT +NULL-ALLP+ (make-allp :list +empty-list+))
+#+sbcl (DEFPARAMETER +NULL-ALLP+ (make-allp :list +empty-list+))

+#-sbcl (DEFCONSTANT +NULL-LOOP+ (make-loop :list +empty-list+))
+#+sbcl (DEFPARAMETER +NULL-LOOP+ (make-loop :list +empty-list+))

Why?

The TNSR-PRDC2 test in tensor-products-test.lisp fails with:

Failure Details:

TNSR-PRDC2 []:
Unexpected Error: #<TYPE-ERROR expected-type: (OR FUNCTION CAT:MORPHISM)
datum: NIL>
The value NIL is not of type (OR FUNCTION CAT:MORPHISM)...

Why?

The SMGR-CRTS-CONTRACTION test in cs-twisted-products-test.lisp fails.

; caught WARNING:
; Derived type of
; T and NIL
; in
; (ODDP (APPLY #'+ (MAPCAR #'CAR CBGN-LIST)))
; is
; (VALUES (MEMBER T NIL) &OPTIONAL),
; conflicting with their asserted type
; FIXNUM.
; See also:
; The SBCL Manual, Node "Handling of Types"

Why?

The DELTAB2-DGNL test in delta-test.lisp fails with:

Failure Details:

DELTAB2-DGNL []:
Unexpected Error: #<TYPE-ERROR expected-type: LIST datum: <TnPr 1 3>>
The value <TnPr 1 3> is not of type LIST...

The VRTC-BAR test in bar-test.lisp fails with:

Failure Details:

VRTC-BAR []:
Unexpected Error: #<SB-INT:INVALID-ARRAY-INDEX-ERROR expected-type:
(INTEGER 0 (15))
datum: 15>
Index 15 out of bounds for (SIMPLE-VECTOR 15), should be nonnegative and <15...

Why?

Give (documentation ...) a chance!

I'm also thinking of compiling a small list of the most commonly used abbreviations in the code, e.g.,
CMBN -> CoMBiNation, CFFC -> CoeFFiCient, ... Maybe as an a-list?

(pairlis '(cmbn "combination") '(cffc "coefficient") ...)

; caught WARNING:
; Derived type of
; T and NIL
; in
; (ODDP DEGR1)
; is
; (VALUES (MEMBER T NIL) &OPTIONAL),
; conflicting with their asserted type
; FIXNUM.
; See also:
; The SBCL Manual, Node "Handling of Types"

[chain-complexes.lisp]

This is supposed to trigger some kind of result cache, but seem to be buggy...

The SMGR-TNPR-CONTRACTION test in cs-twisted-products-test.lisp fails.

Why?

combinations.lisp

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.

The BAR-INTR-HRZN-DFFR test in bar-tests.lisp fails with:

Failure Details:

BAR-INTR-HRZN-DFFR []:
Unexpected Error: #<TYPE-ERROR expected-type: (SATISFIES CAT::ICMBN-P)
datum:
----------------------------------------------------------------------{CMBN 4}
<1 * (-2 -3 2 3)>
<-1 * (-2 2 -3 3)>
<1 * (-2 2 3 -3)>
<1 * (2 -2 -3 3)>
<-1 * (2 -2 3 -3)>

<1 * (2 3 -2 -3)>

The value
----------------------------------------------------------------------{CMBN 4}
<1 * (-2 -3 2 3)>
<-1 * (-2 2 -3 3)>
<1 * (-2 2 3 -3)>
<1 * (2 -2 -3 3)>
<-1 * (2 -2 3 -3)>

<1 * (2 3 -2 -3)>

is not of type
(SATISFIES CAT::ICMBN-P)...

Would it be possible to add a note how to build Kenzo using your setup ?

on clisp,

  (require "asdf")
  (require "kenzo")

breaks at

;; Compiling file /home/scratch/dimpase/kenzo/src/chain-complexes.lisp ...
ASDF could not load kenzo because 
IF: variable *CMBN-CONTROL* has no value
.

*** - IF: variable *CMBN-CONTROL* has no value
The following restarts are available:
USE-VALUE      :R1      Input a value to be used instead of *CMBN-CONTROL*.
STORE-VALUE    :R2      Input a new value for *CMBN-CONTROL*.
TRY-RECOMPILING :R3     Try recompiling chain-complexes
RETRY          :R4      Retry compiling component ("kenzo" "src" "chain-complexes").
ACCEPT         :R5      Continue, treating compiling component ("kenzo" "src" "chain-complexes") as having been successful.
ABORT          :R6      Abort main loop
Break 1 CAT[3]> 

If I choose :R2 and enter 't, the build succeeds, and tests pass. Indeed in cat-init.lisp CMBN-CONTROL is set to T, perhaps, this matters for clisp for some reason.

; (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"

; (THE CAT::ABSM CAT::GP-N)
;
; caught WARNING:
; Derived type of GP-N is
; (VALUES LOOP &OPTIONAL),
; conflicting with its asserted type
; ABSM.
; See also:
; The SBCL Manual, Node "Handling of Types"

; (CAT::H-TILDE CAT::Y-N+1 CAT::GP-N)
;
; caught WARNING:
; Derived type of GP-N is
; (VALUES LOOP &OPTIONAL),
; conflicting with its asserted type
; ABSM.
; See also:
; The SBCL Manual, Node "Handling of Types"

Before a commit, I usually run the test suite with different compilers. I noticed that they report different numbers of checks run: CCL (805), ECL (778) and SBCL (787). All checks pass and no failures are reported. I'm not sure what's going on. Maybe they do indeed run different subsets of tests or just report differently?

The BAR test in bar.lisp fails with:

Failure Details:

BAR []:
Unexpected Error: #<TYPE-ERROR expected-type: (SATISFIES CAT::ICMBN-P)
datum:
----------------------------------------------------------------------{CMBN 6}
<-1 * (-7 -1 1 2 4 -2)>
<-1 * (-7 -1 1 4 -2 2)>
<1 * (-7 -1 1 4 2 -2)>
<-1 * (-7 -1 4 -2 1 2)>
<1 * (-7 -1 4 1 -2 2)>
<-1 * (-7 -1 4 1 2 -2)>
<1 * (-7 1 -1 2 4 -2)>
<1 * (-7 1 -1 4 -2 2)>
<-1 * (-7 1 -1 4 2 -2)>
<-1 * (-7 1 2 -1 4 -2)>

... ...

The value
----------------------------------------------------------------------{CMBN 6}
<-1 * (-7 -1 1 2 4 -2)>
<-1 * (-7 -1 1 4 -2 2)>
<1 * (-7 -1 1 4 2 -2)>
<-1 * (-7 -1 4 -2 1 2)>
<1 * (-7 -1 4 1 -2 2)>
<-1 * (-7 -1 4 1 2 -2)>
<1 * (-7 1 -1 2 4 -2)>
<1 * (-7 1 -1 4 -2 2)>
<-1 * (-7 1 -1 4 2 -2)>
<-1 * (-7 1 2 -1 4 -2)>

... ...

is not of type
(SATISFIES CAT::ICMBN-P)...

This is probably the same issue as #24 and #25.

IMHO we should add them, as we have permission to do so. Let know if you like me to clean them up to make them more portable.

I notice that *LIST-LIST* is used in e.g. persistent homology code, and this doesn't work with the new source layout.