From: SourceForge.net <no...@so...> - 2012-02-13 17:04:09
|
Bugs item #3487338, was opened at 2012-02-13 09:04 Message generated for change (Tracker Item Submitted) made by avodonosov You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=101355&aid=3487338&group_id=1355 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: None Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Anton Vodonosov (avodonosov) Assigned to: Nobody/Anonymous (nobody) Summary: The argument is not of type CLOS::DEFINED-CLASS: NIL Initial Comment: The following fails on clisp-2.49: (defgeneric foo (object) (:method ((x list)) (declare (ignore x))) (:method ((x array)) (declare (ignore x))) (:method ((x sequence)) (declare (ignore x)))) (foo '(1 2 3)) => *** - CLOS::CLASS-INITIALIZED: The argument is not of type CLOS::DEFINED-CLASS: NIL ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=101355&aid=3487338&group_id=1355 |
From: SourceForge.net <no...@so...> - 2012-02-13 17:51:44
|
Bugs item #3487338, was opened at 2012-02-13 09:04 Message generated for change (Comment added) made by sds You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=101355&aid=3487338&group_id=1355 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. >Category: clisp >Group: ANSI compliance issue Status: Open Resolution: None Priority: 5 Private: No Submitted By: Anton Vodonosov (avodonosov) >Assigned to: Bruno Haible (haible) Summary: The argument is not of type CLOS::DEFINED-CLASS: NIL Initial Comment: The following fails on clisp-2.49: (defgeneric foo (object) (:method ((x list)) (declare (ignore x))) (:method ((x array)) (declare (ignore x))) (:method ((x sequence)) (declare (ignore x)))) (foo '(1 2 3)) => *** - CLOS::CLASS-INITIALIZED: The argument is not of type CLOS::DEFINED-CLASS: NIL ---------------------------------------------------------------------- >Comment By: Sam Steingold (sds) Date: 2012-02-13 09:51 Message: backtrace; <11/120> #<SYSTEM-FUNCTION SYSTEM::ERROR-OF-TYPE> <12/110> #<COMPILED-FUNCTION CLOS::ERROR-ACCESSOR-TYPECHECK> <13/106> #<COMPILED-FUNCTION CLOS::CLASS-INITIALIZED> <14/104> #<COMPILED-FUNCTION CLOS::SUBCLASSP> <15/101> #<COMPILED-FUNCTION CLOS::BC-AND> <16/93> #<COMPILED-FUNCTION CLOS::COMPUTE-DISPATCH-RECURSION-BUILT-IN-SUBTREE> <17/85> #<COMPILED-FUNCTION CLOS::COMPUTE-DISPATCH-RECURSION-BUILT-IN-SUBTREE> <18/77> #<COMPILED-FUNCTION CLOS::COMPUTE-DISPATCH-RECURSION-BUILT-IN-SUBTREE> <19/70> #<COMPILED-FUNCTION CLOS::COMPUTE-DISPATCH-RECURSION-BUILT-IN-SUBTREE> <20/60> #<COMPILED-FUNCTION CLOS::COMPUTE-DISPATCH-RECURSION> <21/48> #<COMPILED-FUNCTION CLOS::COMPUTE-DISPATCH> <22/46> #<COMPILED-FUNCTION CLOS::COMPUTE-DISCRIMINATING-FUNCTION-<GENERIC-FUNCTION>> <23/44> #<COMPILED-FUNCTION #:|201 203 (DEFGENERIC COMPUTE-DISCRIMINATING-FUNCTION (GF) ...)-19-1|> <24/44> #<STANDARD-GENERIC-FUNCTION COMPUTE-DISCRIMINATING-FUNCTION> <25/41> #<COMPILED-FUNCTION CLOS::INSTALL-DISPATCH> <26/39> #<COMPILED-FUNCTION CLOS::INITIAL-FUNCALL-GF> <27/36> #<STANDARD-GENERIC-FUNCTION FOO> [34] EVAL frame for form (FOO '(1 2 3)) ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=101355&aid=3487338&group_id=1355 |
From: SourceForge.net <no...@so...> - 2012-02-13 23:20:05
|
Bugs item #3487338, was opened at 2012-02-13 09:04 Message generated for change (Comment added) made by haible You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=101355&aid=3487338&group_id=1355 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: clisp Group: ANSI compliance issue Status: Open Resolution: None Priority: 5 Private: No Submitted By: Anton Vodonosov (avodonosov) Assigned to: Bruno Haible (haible) Summary: The argument is not of type CLOS::DEFINED-CLASS: NIL Initial Comment: The following fails on clisp-2.49: (defgeneric foo (object) (:method ((x list)) (declare (ignore x))) (:method ((x array)) (declare (ignore x))) (:method ((x sequence)) (declare (ignore x)))) (foo '(1 2 3)) => *** - CLOS::CLASS-INITIALIZED: The argument is not of type CLOS::DEFINED-CLASS: NIL ---------------------------------------------------------------------- Comment By: Bruno Haible (haible) Date: 2012-02-13 15:20 Message: The chain of invocations is the following: (foo '(1 2 3)) (CLOS::INITIAL-FUNCALL-GF #<STANDARD-GENERIC-FUNCTION FOO>) (CLOS::INSTALL-DISPATCH #<STANDARD-GENERIC-FUNCTION FOO>) (COMPUTE-DISCRIMINATING-FUNCTION #<STANDARD-GENERIC-FUNCTION FOO>) (CLOS::COMPUTE-DISCRIMINATING-FUNCTION-<GENERIC-FUNCTION> #<STANDARD-GENERIC-FUNCTION FOO>) (CLOS::COMPUTE-DISPATCH #<STANDARD-GENERIC-FUNCTION FOO>) (CLOS::COMPUTE-DISPATCH-RECURSION '(0) '(#<STANDARD-METHOD (#<BUILT-IN-CLASS SEQUENCE>)> #<STANDARD-METHOD (#<BUILT-IN-CLASS ARRAY>)> #<STANDARD-METHOD (#<BUILT-IN-CLASS LIST>)>) NIL) (CLOS::COMPUTE-DISPATCH-RECURSION-BUILT-IN-SUBTREE #<BUILT-IN-CLASS T> '(#<BUILT-IN-CLASS SEQUENCE> #<BUILT-IN-CLASS ARRAY> #<BUILT-IN-CLASS LIST>) '(#<STANDARD-METHOD (#<BUILT-IN-CLASS SEQUENCE>)> #<STANDARD-METHOD (#<BUILT-IN-CLASS ARRAY>)> #<STANDARD-METHOD (#<BUILT-IN-CLASS LIST>)>)) (CLOS::COMPUTE-DISPATCH-RECURSION-BUILT-IN-SUBTREE #<BUILT-IN-CLASS SEQUENCE> '(#<BUILT-IN-CLASS VECTOR> #<BUILT-IN-CLASS LIST>) '(#<STANDARD-METHOD (#<BUILT-IN-CLASS SEQUENCE>)> #<STANDARD-METHOD (#<BUILT-IN-CLASS ARRAY>)> #<STANDARD-METHOD (#<BUILT-IN-CLASS LIST>)>)) (CLOS::COMPUTE-DISPATCH-RECURSION-BUILT-IN-SUBTREE #<BUILT-IN-CLASS LIST> '(#<BUILT-IN-CLASS LIST>) '(#<STANDARD-METHOD (#<BUILT-IN-CLASS SEQUENCE>)> #<STANDARD-METHOD (#<BUILT-IN-CLASS ARRAY>)> #<STANDARD-METHOD (#<BUILT-IN-CLASS LIST>)>)) (CLOS::COMPUTE-DISPATCH-RECURSION-BUILT-IN-SUBTREE NIL NIL '(#<STANDARD-METHOD (#<BUILT-IN-CLASS SEQUENCE>)> #<STANDARD-METHOD (#<BUILT-IN-CLASS ARRAY>)>)) The latter invocation is incorrect: The first argument should not be NIL. In other words, the problem is that the type (AND (AND SEQUENCE (NOT VECTOR)) (NOT LIST)) happens to be empty and the code assumes this type (AND class (NOT test-class)) to be non-empty. Fixed. ---------------------------------------------------------------------- Comment By: Sam Steingold (sds) Date: 2012-02-13 09:51 Message: backtrace; <11/120> #<SYSTEM-FUNCTION SYSTEM::ERROR-OF-TYPE> <12/110> #<COMPILED-FUNCTION CLOS::ERROR-ACCESSOR-TYPECHECK> <13/106> #<COMPILED-FUNCTION CLOS::CLASS-INITIALIZED> <14/104> #<COMPILED-FUNCTION CLOS::SUBCLASSP> <15/101> #<COMPILED-FUNCTION CLOS::BC-AND> <16/93> #<COMPILED-FUNCTION CLOS::COMPUTE-DISPATCH-RECURSION-BUILT-IN-SUBTREE> <17/85> #<COMPILED-FUNCTION CLOS::COMPUTE-DISPATCH-RECURSION-BUILT-IN-SUBTREE> <18/77> #<COMPILED-FUNCTION CLOS::COMPUTE-DISPATCH-RECURSION-BUILT-IN-SUBTREE> <19/70> #<COMPILED-FUNCTION CLOS::COMPUTE-DISPATCH-RECURSION-BUILT-IN-SUBTREE> <20/60> #<COMPILED-FUNCTION CLOS::COMPUTE-DISPATCH-RECURSION> <21/48> #<COMPILED-FUNCTION CLOS::COMPUTE-DISPATCH> <22/46> #<COMPILED-FUNCTION CLOS::COMPUTE-DISCRIMINATING-FUNCTION-<GENERIC-FUNCTION>> <23/44> #<COMPILED-FUNCTION #:|201 203 (DEFGENERIC COMPUTE-DISCRIMINATING-FUNCTION (GF) ...)-19-1|> <24/44> #<STANDARD-GENERIC-FUNCTION COMPUTE-DISCRIMINATING-FUNCTION> <25/41> #<COMPILED-FUNCTION CLOS::INSTALL-DISPATCH> <26/39> #<COMPILED-FUNCTION CLOS::INITIAL-FUNCALL-GF> <27/36> #<STANDARD-GENERIC-FUNCTION FOO> [34] EVAL frame for form (FOO '(1 2 3)) ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=101355&aid=3487338&group_id=1355 |
From: SourceForge.net <no...@so...> - 2012-02-13 23:20:10
|
Bugs item #3487338, was opened at 2012-02-13 09:04 Message generated for change (Settings changed) made by haible You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=101355&aid=3487338&group_id=1355 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: clisp >Group: lisp error >Status: Closed >Resolution: Fixed Priority: 5 Private: No Submitted By: Anton Vodonosov (avodonosov) Assigned to: Bruno Haible (haible) Summary: The argument is not of type CLOS::DEFINED-CLASS: NIL Initial Comment: The following fails on clisp-2.49: (defgeneric foo (object) (:method ((x list)) (declare (ignore x))) (:method ((x array)) (declare (ignore x))) (:method ((x sequence)) (declare (ignore x)))) (foo '(1 2 3)) => *** - CLOS::CLASS-INITIALIZED: The argument is not of type CLOS::DEFINED-CLASS: NIL ---------------------------------------------------------------------- Comment By: Bruno Haible (haible) Date: 2012-02-13 15:20 Message: The chain of invocations is the following: (foo '(1 2 3)) (CLOS::INITIAL-FUNCALL-GF #<STANDARD-GENERIC-FUNCTION FOO>) (CLOS::INSTALL-DISPATCH #<STANDARD-GENERIC-FUNCTION FOO>) (COMPUTE-DISCRIMINATING-FUNCTION #<STANDARD-GENERIC-FUNCTION FOO>) (CLOS::COMPUTE-DISCRIMINATING-FUNCTION-<GENERIC-FUNCTION> #<STANDARD-GENERIC-FUNCTION FOO>) (CLOS::COMPUTE-DISPATCH #<STANDARD-GENERIC-FUNCTION FOO>) (CLOS::COMPUTE-DISPATCH-RECURSION '(0) '(#<STANDARD-METHOD (#<BUILT-IN-CLASS SEQUENCE>)> #<STANDARD-METHOD (#<BUILT-IN-CLASS ARRAY>)> #<STANDARD-METHOD (#<BUILT-IN-CLASS LIST>)>) NIL) (CLOS::COMPUTE-DISPATCH-RECURSION-BUILT-IN-SUBTREE #<BUILT-IN-CLASS T> '(#<BUILT-IN-CLASS SEQUENCE> #<BUILT-IN-CLASS ARRAY> #<BUILT-IN-CLASS LIST>) '(#<STANDARD-METHOD (#<BUILT-IN-CLASS SEQUENCE>)> #<STANDARD-METHOD (#<BUILT-IN-CLASS ARRAY>)> #<STANDARD-METHOD (#<BUILT-IN-CLASS LIST>)>)) (CLOS::COMPUTE-DISPATCH-RECURSION-BUILT-IN-SUBTREE #<BUILT-IN-CLASS SEQUENCE> '(#<BUILT-IN-CLASS VECTOR> #<BUILT-IN-CLASS LIST>) '(#<STANDARD-METHOD (#<BUILT-IN-CLASS SEQUENCE>)> #<STANDARD-METHOD (#<BUILT-IN-CLASS ARRAY>)> #<STANDARD-METHOD (#<BUILT-IN-CLASS LIST>)>)) (CLOS::COMPUTE-DISPATCH-RECURSION-BUILT-IN-SUBTREE #<BUILT-IN-CLASS LIST> '(#<BUILT-IN-CLASS LIST>) '(#<STANDARD-METHOD (#<BUILT-IN-CLASS SEQUENCE>)> #<STANDARD-METHOD (#<BUILT-IN-CLASS ARRAY>)> #<STANDARD-METHOD (#<BUILT-IN-CLASS LIST>)>)) (CLOS::COMPUTE-DISPATCH-RECURSION-BUILT-IN-SUBTREE NIL NIL '(#<STANDARD-METHOD (#<BUILT-IN-CLASS SEQUENCE>)> #<STANDARD-METHOD (#<BUILT-IN-CLASS ARRAY>)>)) The latter invocation is incorrect: The first argument should not be NIL. In other words, the problem is that the type (AND (AND SEQUENCE (NOT VECTOR)) (NOT LIST)) happens to be empty and the code assumes this type (AND class (NOT test-class)) to be non-empty. Fixed. ---------------------------------------------------------------------- Comment By: Sam Steingold (sds) Date: 2012-02-13 09:51 Message: backtrace; <11/120> #<SYSTEM-FUNCTION SYSTEM::ERROR-OF-TYPE> <12/110> #<COMPILED-FUNCTION CLOS::ERROR-ACCESSOR-TYPECHECK> <13/106> #<COMPILED-FUNCTION CLOS::CLASS-INITIALIZED> <14/104> #<COMPILED-FUNCTION CLOS::SUBCLASSP> <15/101> #<COMPILED-FUNCTION CLOS::BC-AND> <16/93> #<COMPILED-FUNCTION CLOS::COMPUTE-DISPATCH-RECURSION-BUILT-IN-SUBTREE> <17/85> #<COMPILED-FUNCTION CLOS::COMPUTE-DISPATCH-RECURSION-BUILT-IN-SUBTREE> <18/77> #<COMPILED-FUNCTION CLOS::COMPUTE-DISPATCH-RECURSION-BUILT-IN-SUBTREE> <19/70> #<COMPILED-FUNCTION CLOS::COMPUTE-DISPATCH-RECURSION-BUILT-IN-SUBTREE> <20/60> #<COMPILED-FUNCTION CLOS::COMPUTE-DISPATCH-RECURSION> <21/48> #<COMPILED-FUNCTION CLOS::COMPUTE-DISPATCH> <22/46> #<COMPILED-FUNCTION CLOS::COMPUTE-DISCRIMINATING-FUNCTION-<GENERIC-FUNCTION>> <23/44> #<COMPILED-FUNCTION #:|201 203 (DEFGENERIC COMPUTE-DISCRIMINATING-FUNCTION (GF) ...)-19-1|> <24/44> #<STANDARD-GENERIC-FUNCTION COMPUTE-DISCRIMINATING-FUNCTION> <25/41> #<COMPILED-FUNCTION CLOS::INSTALL-DISPATCH> <26/39> #<COMPILED-FUNCTION CLOS::INITIAL-FUNCALL-GF> <27/36> #<STANDARD-GENERIC-FUNCTION FOO> [34] EVAL frame for form (FOO '(1 2 3)) ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=101355&aid=3487338&group_id=1355 |