Closed gheber closed 8 years ago
; in: DEFMETHOD SLOT-UNBOUND (T SIMPLICIAL-GROUP (EQL (QUOTE KFLL))) ; (DEFMETHOD SLOT-UNBOUND ; (CLASS (CAT::SMGR CAT::SIMPLICIAL-GROUP) ; (CAT::NAME (EQL (QUOTE CAT::KFLL)))) ; (DECLARE (IGNORE CLASS)) ; (THE CAT::KFLL (PROGN (PUSH CAT::SMGR CAT::KAN-LIST) (SETF # #)))) ; --> PROGN EVAL-WHEN SB-PCL::%DEFMETHOD-EXPANDER PROGN SB-PCL::LOAD-DEFMETHOD ; --> SB-PCL::LOAD-DEFMETHOD LIST* LET* SB-INT:NAMED-LAMBDA FUNCTION ; --> SYMBOL-MACROLET SB-PCL::FAST-LEXICAL-METHOD-FUNCTIONS ; --> SB-PCL::BIND-FAST-LEXICAL-METHOD-FUNCTIONS FLET SB-PCL::BIND-ARGS LET* ; --> LOCALLY SYMBOL-MACROLET SB-PCL::PV-BINDING SB-PCL::PV-BINDING1 ; --> SB-PCL::PV-ENV LOCALLY LET BLOCK THE PROGN ; --> SB-PCL::OPTIMIZED-SET-SLOT-VALUE LET SB-PCL::INSTANCE-WRITE ; --> SB-PCL::INSTANCE-WRITE-STANDARD LOCALLY LET TYPECASE LET COND IF PROGN ; --> AND IF ; ==> ; NIL ; ; caught STYLE-WARNING: ; This is not a FUNCTION: ; NIL ; See also: ; The SBCL Manual, Node "Handling of Types"
; in: DEFMETHOD SLOT-UNBOUND (T SIMPLICIAL-GROUP (EQL (QUOTE APRD))) ; (DEFMETHOD SLOT-UNBOUND ; (CLASS (CAT::SMGR CAT::SIMPLICIAL-GROUP) ; (CAT::NAME (EQL (QUOTE CAT::APRD)))) ; (DECLARE (IGNORE CLASS)) ; (THE CAT::MORPHISM (PROGN (PUSH CAT::SMGR CAT::HOPF-LIST) (SETF # #)))) ; --> PROGN EVAL-WHEN SB-PCL::%DEFMETHOD-EXPANDER PROGN SB-PCL::LOAD-DEFMETHOD ; --> SB-PCL::LOAD-DEFMETHOD LIST* LET* SB-INT:NAMED-LAMBDA FUNCTION ; --> SYMBOL-MACROLET SB-PCL::FAST-LEXICAL-METHOD-FUNCTIONS ; --> SB-PCL::BIND-FAST-LEXICAL-METHOD-FUNCTIONS FLET SB-PCL::BIND-ARGS LET* ; --> LOCALLY SYMBOL-MACROLET SB-PCL::PV-BINDING SB-PCL::PV-BINDING1 ; --> SB-PCL::PV-ENV LOCALLY LET BLOCK THE PROGN ; --> SB-PCL::OPTIMIZED-SET-SLOT-VALUE LET SB-PCL::INSTANCE-WRITE ; --> SB-PCL::INSTANCE-WRITE-STANDARD LOCALLY LET TYPECASE LET COND IF PROGN ; --> AND IF ; ==> ; NIL ; ; caught STYLE-WARNING: ; This is not a MORPHISM: ; NIL ; See also: ; The SBCL Manual, Node "Handling of Types"
; in: DEFUN SMGR-APRD ; (THE CAT::MORPHISM ; (LET ((CAT::EML (CAT::EML CAT::SMGR CAT::SMGR)) ; (CAT::GRML (CAT::GRML CAT::SMGR))) ; (DECLARE (TYPE CAT::MORPHISM CAT::EML) ; (TYPE CAT::SIMPLICIAL-MRPH CAT::GRML)) ; (CAT::CMPS CAT::GRML CAT::EML))) ; ; note: type assertion too complex to check: ; (VALUES MORPHISM &REST T).
; in: DEFMETHOD SLOT-UNBOUND (T SIMPLICIAL-GROUP (EQL (QUOTE KFLL))) ; (DEFMETHOD SLOT-UNBOUND ; (CLASS (CAT::SMGR CAT::SIMPLICIAL-GROUP) ; (CAT::NAME (EQL (QUOTE CAT::KFLL)))) ; (DECLARE (IGNORE CLASS)) ; (THE CAT::KFLL (PROGN (PUSH CAT::SMGR CAT::KAN-LIST) (SETF # #)))) ; --> PROGN EVAL-WHEN SB-PCL::%DEFMETHOD-EXPANDER PROGN SB-PCL::LOAD-DEFMETHOD ; --> SB-PCL::LOAD-DEFMETHOD LIST* LET* SB-INT:NAMED-LAMBDA FUNCTION ; --> SYMBOL-MACROLET SB-PCL::FAST-LEXICAL-METHOD-FUNCTIONS ; --> SB-PCL::BIND-FAST-LEXICAL-METHOD-FUNCTIONS FLET SB-PCL::BIND-ARGS LET* ; --> LOCALLY SYMBOL-MACROLET SB-PCL::PV-BINDING SB-PCL::PV-BINDING1 ; --> SB-PCL::PV-ENV LOCALLY LET BLOCK THE PROGN ; --> SB-PCL::OPTIMIZED-SET-SLOT-VALUE LET SB-PCL::INSTANCE-WRITE ; --> SB-PCL::INSTANCE-WRITE-STANDARD LOCALLY LET TYPECASE LET COND IF PROGN ; --> AND IF ; ==> ; NIL ; ; caught STYLE-WARNING: ; This is not a FUNCTION: ; NIL ; See also: ; The SBCL Manual, Node "Handling of Types"
; in: DEFMETHOD SLOT-UNBOUND (T SIMPLICIAL-GROUP (EQL (QUOTE APRD))) ; (DEFMETHOD SLOT-UNBOUND ; (CLASS (CAT::SMGR CAT::SIMPLICIAL-GROUP) ; (CAT::NAME (EQL (QUOTE CAT::APRD)))) ; (DECLARE (IGNORE CLASS)) ; (THE CAT::MORPHISM (PROGN (PUSH CAT::SMGR CAT::HOPF-LIST) (SETF # #)))) ; --> PROGN EVAL-WHEN SB-PCL::%DEFMETHOD-EXPANDER PROGN SB-PCL::LOAD-DEFMETHOD ; --> SB-PCL::LOAD-DEFMETHOD LIST* LET* SB-INT:NAMED-LAMBDA FUNCTION ; --> SYMBOL-MACROLET SB-PCL::FAST-LEXICAL-METHOD-FUNCTIONS ; --> SB-PCL::BIND-FAST-LEXICAL-METHOD-FUNCTIONS FLET SB-PCL::BIND-ARGS LET* ; --> LOCALLY SYMBOL-MACROLET SB-PCL::PV-BINDING SB-PCL::PV-BINDING1 ; --> SB-PCL::PV-ENV LOCALLY LET BLOCK THE PROGN ; --> SB-PCL::OPTIMIZED-SET-SLOT-VALUE LET SB-PCL::INSTANCE-WRITE ; --> SB-PCL::INSTANCE-WRITE-STANDARD LOCALLY LET TYPECASE LET COND IF PROGN ; --> AND IF ; ==> ; NIL ; ; caught STYLE-WARNING: ; This is not a MORPHISM: ; NIL ; See also: ; The SBCL Manual, Node "Handling of Types"
; in: DEFUN SMGR-APRD ; (THE CAT::MORPHISM ; (LET ((CAT::EML (CAT::EML CAT::SMGR CAT::SMGR)) ; (CAT::GRML (CAT::GRML CAT::SMGR))) ; (DECLARE (TYPE CAT::MORPHISM CAT::EML) ; (TYPE CAT::SIMPLICIAL-MRPH CAT::GRML)) ; (CAT::CMPS CAT::GRML CAT::EML))) ; ; note: type assertion too complex to check: ; (VALUES MORPHISM &REST T).