anoma / geb

A Categorical View of Computation
https://anoma.github.io/geb/
GNU General Public License v3.0
28 stars 10 forks source link

Docs Cleanup #151

Closed mariari closed 11 months ago

mariari commented 1 year ago

After merging @agureev 's work we have the following documentation generation warnings

WARNING: redefining PERFORM (#<STANDARD-CLASS ASDF/LISP-ACTION:TEST-OP> #<SB-MOP:EQL-SPECIALIZER #<SYSTEM "geb/test">>) in DEFMETHOD
WARNING: "[NAT][]" cannot be resolved.
(while documenting #<MGL-PAX:REFERENCE NAT-ADD CLASS>)
WARNING: "[NAT][]" cannot be resolved.
(while documenting #<MGL-PAX:REFERENCE NAT-MULT CLASS>)
WARNING: "[NAT][]" cannot be resolved.
(while documenting #<MGL-PAX:REFERENCE NAT-SUB CLASS>)
WARNING: "[NAT][]" cannot be resolved.
(while documenting #<MGL-PAX:REFERENCE NAT-DIV CLASS>)
WARNING: "[NAT][]" cannot be resolved.
(while documenting #<MGL-PAX:REFERENCE NAT-INJ CLASS>)
WARNING: "[NAT][]" cannot be resolved.
(while documenting #<MGL-PAX:REFERENCE NAT-INJ CLASS>)
WARNING: "[NAT][]" cannot be resolved.
(while documenting #<MGL-PAX:REFERENCE NAT-INJ CLASS>)
WARNING: redefining PERFORM (#<STANDARD-CLASS ASDF/LISP-ACTION:TEST-OP> #<SB-MOP:EQL-SPECIALIZER #<SYSTEM "geb/test">>) in DEFMETHOD
WARNING: redefining PERFORM (#<STANDARD-CLASS ASDF/LISP-ACTION:TEST-OP> #<SB-MOP:EQL-SPECIALIZER #<SYSTEM "geb/test">>) in DEFMETHOD
WARNING: redefining PERFORM (#<STANDARD-CLASS ASDF/LISP-ACTION:TEST-OP> #<SB-MOP:EQL-SPECIALIZER #<SYSTEM "geb/test">>) in DEFMETHOD
WARNING: redefining PERFORM (#<STANDARD-CLASS ASDF/LISP-ACTION:TEST-OP> #<SB-MOP:EQL-SPECIALIZER #<SYSTEM "geb/test">>) in DEFMETHOD
WARNING: redefining PERFORM (#<STANDARD-CLASS ASDF/LISP-ACTION:TEST-OP> #<SB-MOP:EQL-SPECIALIZER #<SYSTEM "geb/test">>) in DEFMETHOD
WARNING:
   No source location found for reference
   #<REFERENCE SO-HOM-OBJ GENERIC-FUNCTION>:
   Could not find source location for ((DEFGENERIC SO-HOM-OBJ)).

WARNING:
   No source location found for reference #<REFERENCE NUM GENERIC-FUNCTION>:
   Could not find source location for ((DEFGENERIC NUM)).

WARNING:
   No source location found for reference #<REFERENCE POS GENERIC-FUNCTION>:
   Could not find source location for ((DEFGENERIC POS)).

WARNING:
   No source location found for reference
   #<REFERENCE NUM-LEFT GENERIC-FUNCTION>:
   Could not find source location for ((DEFGENERIC NUM-LEFT)).

WARNING:
   No source location found for reference
   #<REFERENCE NUM-RIGHT GENERIC-FUNCTION>:
   Could not find source location for ((DEFGENERIC NUM-RIGHT)).

WARNING:
   No source location found for reference #<REFERENCE WIDTH GENERIC-FUNCTION>:
   Could not find source location for ((DEFGENERIC WIDTH)).

WARNING:
   No source location found for reference #<REFERENCE COD GENERIC-FUNCTION>:
   Could not find source location for ((DEFGENERIC COD)).

WARNING:
   No source location found for reference
   #<REFERENCE SO-HOM-OBJ GENERIC-FUNCTION>:
   Could not find source location for ((DEFGENERIC SO-HOM-OBJ)).

WARNING: "[NAT][]" cannot be resolved.
(while documenting #<MGL-PAX:REFERENCE NAT-ADD CLASS>)
WARNING: "[NAT][]" cannot be resolved.
(while documenting #<MGL-PAX:REFERENCE NAT-MULT CLASS>)
WARNING: "[NAT][]" cannot be resolved.
(while documenting #<MGL-PAX:REFERENCE NAT-SUB CLASS>)
WARNING: "[NAT][]" cannot be resolved.
(while documenting #<MGL-PAX:REFERENCE NAT-DIV CLASS>)
WARNING: "[NAT][]" cannot be resolved.
(while documenting #<MGL-PAX:REFERENCE NAT-INJ CLASS>)
WARNING: "[NAT][]" cannot be resolved.
(while documenting #<MGL-PAX:REFERENCE NAT-INJ CLASS>)
WARNING: "[NAT][]" cannot be resolved.
(while documenting #<MGL-PAX:REFERENCE NAT-INJ CLASS>)
WARNING:
   No source location found for reference #<REFERENCE NUM GENERIC-FUNCTION>:
   Could not find source location for ((DEFGENERIC NUM)).

WARNING:
   No source location found for reference #<REFERENCE POS GENERIC-FUNCTION>:
   Could not find source location for ((DEFGENERIC POS)).

WARNING:
   No source location found for reference
   #<REFERENCE NUM-LEFT GENERIC-FUNCTION>:
   Could not find source location for ((DEFGENERIC NUM-LEFT)).

WARNING:
   No source location found for reference
   #<REFERENCE NUM-RIGHT GENERIC-FUNCTION>:
   Could not find source location for ((DEFGENERIC NUM-RIGHT)).

WARNING:
   No source location found for reference #<REFERENCE WIDTH GENERIC-FUNCTION>:
   Could not find source location for ((DEFGENERIC WIDTH)).

WARNING:
   No source location found for reference #<REFERENCE COD GENERIC-FUNCTION>:
   Could not find source location for ((DEFGENERIC COD)).

would be good to fix them all up

mariari commented 11 months ago

With #154 #153 and #152 the docs issues are now solved