search

gheber / kenzo

A repackaged version of the Kenzo program by Francis Sergeraert and collaborators.
https://sur-l-analysis-sit.us/
Other
50 stars 8 forks source link

Does not build in sbcl 1.4.10 - type inference issue #128

Closed quicklisp closed 5 years ago

quicklisp commented 6 years ago

Here's the build log: http://report.quicklisp.org/2018-07-28/failure-report/kenzo.html#kenzo

gheber commented 6 years ago 
---done---.
 Did 1561 checks.
    Pass: 1555 (99%)
    Skip: 0 ( 0%)
    Fail: 6 ( 0%)

 Failure Details:
 --------------------------------
 SUSPENSION4 []: 
      Unexpected Error: #<SIMPLE-TYPE-ERROR expected-type: CAT::COALGEBRA datum: [K25 Coalgebra]>
Value of CAT::IRSLT in (THE COALGEBRA
     (LET ((IRSLT (CALL-NEXT-METHOD)))
       (DECLARE (TYPE (OR CHAIN-COMPLEX COALGEBRA) IRSLT))
       (WHEN (TYPEP IRSLT 'COALGEBRA) (RETURN-FROM SUSPENSION-1 IRSLT))
       (CHANGE-CHCM-TO-CLGB IRSLT :INTR-CPRD #'SUSPENSION-INTR-CPRD :CPRD-STRT
                            :CMBN)
       (SB-PCL::ACCESSOR-SET-SLOT-VALUE IRSLT 'ORGN `(SUSPENSION ,CLGB))
       (LET ((#1=#:G1 #))
         (LET (#)
           (FUNCALL #'# SB-PCL::.NEW-VALUE. #1#)
           SB-PCL::.NEW-VALUE.))
       IRSLT)) is [K25 Coalgebra], not a CAT::COALGEBRA...
 --------------------------------
 --------------------------------
 SUSPENSION3 []: 
      Unexpected Error: #<SIMPLE-TYPE-ERROR expected-type: CAT::COALGEBRA datum: [K15 Coalgebra]>
Value of CAT::IRSLT in (THE COALGEBRA
     (LET ((IRSLT (CALL-NEXT-METHOD)))
       (DECLARE (TYPE (OR CHAIN-COMPLEX COALGEBRA) IRSLT))
       (WHEN (TYPEP IRSLT 'COALGEBRA) (RETURN-FROM SUSPENSION-1 IRSLT))
       (CHANGE-CHCM-TO-CLGB IRSLT :INTR-CPRD #'SUSPENSION-INTR-CPRD :CPRD-STRT
                            :CMBN)
       (SB-PCL::ACCESSOR-SET-SLOT-VALUE IRSLT 'ORGN `(SUSPENSION ,CLGB))
       (LET ((#1=#:G1 #))
         (LET (#)
           (FUNCALL #'# SB-PCL::.NEW-VALUE. #1#)
           SB-PCL::.NEW-VALUE.))
       IRSLT)) is [K15 Coalgebra], not a CAT::COALGEBRA...
 --------------------------------
 --------------------------------
 SUSPENSION2 []: 
      Unexpected Error: #<SIMPLE-TYPE-ERROR expected-type: CAT::COALGEBRA datum: [K7 Coalgebra]>
Value of CAT::IRSLT in (THE COALGEBRA
     (LET ((IRSLT (CALL-NEXT-METHOD)))
       (DECLARE (TYPE (OR CHAIN-COMPLEX COALGEBRA) IRSLT))
       (WHEN (TYPEP IRSLT 'COALGEBRA) (RETURN-FROM SUSPENSION-1 IRSLT))
       (CHANGE-CHCM-TO-CLGB IRSLT :INTR-CPRD #'SUSPENSION-INTR-CPRD :CPRD-STRT
                            :CMBN)
       (SB-PCL::ACCESSOR-SET-SLOT-VALUE IRSLT 'ORGN `(SUSPENSION ,CLGB))
       (LET ((#1=#:G1 #))
         (LET (#)
           (FUNCALL #'# SB-PCL::.NEW-VALUE. #1#)
           SB-PCL::.NEW-VALUE.))
       IRSLT)) is [K7 Coalgebra], not a CAT::COALGEBRA...
 --------------------------------
 --------------------------------
 SUSPENSION1 []: 
      Unexpected Error: #<SIMPLE-TYPE-ERROR expected-type: CAT::COALGEBRA datum: [K6 Coalgebra]>
Value of CAT::IRSLT in (THE COALGEBRA
     (LET ((IRSLT (CALL-NEXT-METHOD)))
       (DECLARE (TYPE (OR CHAIN-COMPLEX COALGEBRA) IRSLT))
       (WHEN (TYPEP IRSLT 'COALGEBRA) (RETURN-FROM SUSPENSION-1 IRSLT))
       (CHANGE-CHCM-TO-CLGB IRSLT :INTR-CPRD #'SUSPENSION-INTR-CPRD :CPRD-STRT
                            :CMBN)
       (SB-PCL::ACCESSOR-SET-SLOT-VALUE IRSLT 'ORGN `(SUSPENSION ,CLGB))
       (LET ((#1=#:G1 #))
         (LET (#)
           (FUNCALL #'# SB-PCL::.NEW-VALUE. #1#)
           SB-PCL::.NEW-VALUE.))
       IRSLT)) is [K6 Coalgebra], not a CAT::COALGEBRA...
 --------------------------------
 --------------------------------
 COAL []: 
      Unexpected Error: #<SIMPLE-TYPE-ERROR expected-type: CAT::COALGEBRA datum: [K6 Coalgebra]>
Value of CAT::IRSLT in (THE COALGEBRA
     (LET ((IRSLT (CALL-NEXT-METHOD)))
       (DECLARE (TYPE (OR CHAIN-COMPLEX COALGEBRA) IRSLT))
       (WHEN (TYPEP IRSLT 'COALGEBRA) (RETURN-FROM SUSPENSION-1 IRSLT))
       (CHANGE-CHCM-TO-CLGB IRSLT :INTR-CPRD #'SUSPENSION-INTR-CPRD :CPRD-STRT
                            :CMBN)
       (SB-PCL::ACCESSOR-SET-SLOT-VALUE IRSLT 'ORGN `(SUSPENSION ,CLGB))
       (LET ((#1=#:G1 #))
         (LET (#)
           (FUNCALL #'# SB-PCL::.NEW-VALUE. #1#)
           SB-PCL::.NEW-VALUE.))
       IRSLT)) is [K6 Coalgebra], not a CAT::COALGEBRA...
 --------------------------------
 --------------------------------
 SUSPENSION []: 
      Unexpected Error: #<SIMPLE-TYPE-ERROR expected-type: CAT::COALGEBRA datum: [K6 Coalgebra]>
Value of CAT::IRSLT in (THE COALGEBRA
     (LET ((IRSLT (CALL-NEXT-METHOD)))
       (DECLARE (TYPE (OR CHAIN-COMPLEX COALGEBRA) IRSLT))
       (WHEN (TYPEP IRSLT 'COALGEBRA) (RETURN-FROM SUSPENSION-1 IRSLT))
       (CHANGE-CHCM-TO-CLGB IRSLT :INTR-CPRD #'SUSPENSION-INTR-CPRD :CPRD-STRT
                            :CMBN)
       (SB-PCL::ACCESSOR-SET-SLOT-VALUE IRSLT 'ORGN `(SUSPENSION ,CLGB))
       (LET ((#1=#:G1 #))
         (LET (#)
           (FUNCALL #'# SB-PCL::.NEW-VALUE. #1#)
           SB-PCL::.NEW-VALUE.))
       IRSLT)) is [K6 Coalgebra], not a CAT::COALGEBRA...
 --------------------------------

NIL
(#<IT.BESE.FIVEAM::UNEXPECTED-TEST-FAILURE {1005DE91D3}> #<IT.BESE.FIVEAM::UNEXPECTED-TEST-FAILURE {1007856143}> #<IT.BESE.FIVEAM::UNEXPECTED-TEST-FAILURE {1007A07333}> #<IT.BESE.FIVEAM::UNEXPECTED-TEST-FAILURE {1007AF9FB3}> #<IT.BESE.FIVEAM::UNEXPECTED-TEST-FAILURE {100A62C1F3}> #<IT.BESE.FIVEAM::UNEXPECTED-TEST-FAILURE {100A63B013}>)
gheber commented 6 years ago

I've disabled the failing tests for now. Branch bugfix/#128 will be used to develop a fix. The failing tests in test/suspension-test.lisp are:

COAL
SUSPENSION[1..4]
gheber commented 5 years ago

All tests pass again w/ SBCL 1.4.[14,15].