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

'cobar-test' failures #132

Closed gheber closed 5 years ago

gheber commented 5 years ago 
 --------------------------------
 MRPH-VRTC-COBAR-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)) when binding CAT-8:BASIS..
 --------------------------------
 --------------------------------
 COBAR-INTR-HRZN-DFFR []: 
      Unexpected Error: #<TYPE-ERROR expected-type: (SATISFIES CAT-8:SOFT-DLOP-P) datum: D31>
The value D31 is not of type (SATISFIES CAT-8:SOFT-DLOP-P) when binding CAT-8:GMSM..
 --------------------------------
 --------------------------------
 VRTC-COBAR []: 
      Unexpected Error: #<TYPE-ERROR expected-type: (SATISFIES CAT-8:SOFT-DLOP-P) datum: D7>
The value D7 is not of type (SATISFIES CAT-8:SOFT-DLOP-P) when binding CAT-8:GMSM..
 --------------------------------
 --------------------------------
 COBAR-INTR-VRTC-DFFR []: 
      Unexpected Error: #<TYPE-ERROR expected-type: (SATISFIES CAT-8:SOFT-DLOP-P) datum: D15>
The value D15 is not of type (SATISFIES CAT-8:SOFT-DLOP-P) when binding CAT-8:GMSM..
 --------------------------------
gheber commented 5 years ago

The other failures will be fixed by addressing issue #133.