(defgeneric foo (bar bar)) does not signal an error
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
Fix Released
|
Medium
|
Unassigned |
Bug Description
(defgeneric foo (bar bar)) does not signal an error, which is contrary to the specification because of the repeated variable names. See http://
The lambda list in this case shall be an generic-
This bug is petty, but I almost shot myself in the foot with it. I found a bug in my few months' old macro - it produced code like (defgeneric foo (t t t)) by mistake, where it should have produced (defgeneric foo (bar baz quux)). SBCL did not complain about the macrogenerated code, where it should signal an error, like CCL does for example.
SBCL 1.3.14-debian.
Linux emiherdbox 4.9.0-3-amd64 #1 SMP Debian 4.9.30-2+deb9u2 (2017-06-26) x86_64 GNU/Linux
(:QUICKLISP :SB-BSD-
:ASDF3 :ASDF2 :ASDF :OS-UNIX :NON-BASE-
:64-BIT-REGISTERS :ALIEN-CALLBACKS :ANSI-CL :ASH-RIGHT-VOPS
:C-STACK-
:COMPARE-
:FP-AND-
:IMMOBILE-SPACE :INLINE-CONSTANTS :INTEGER-EQL-VOP :LARGEFILE :LINKAGE-TABLE
:LINUX :LITTLE-ENDIAN :MEMORY-
:OS-PROVIDES-
:OS-PROVIDES-
:OS-PROVIDES-
:RAW-INSTANCE-
:SB-CORE-
:SB-SIMD-PACK :SB-SOURCE-
:SB-XREF-
:STACK-
:STACK-
:UNBIND-N-VOP :UNIX :UNWIND-
Changed in sbcl: | |
importance: | Undecided → Medium |
assignee: | nobody → Jan Moringen (scymtym) |
status: | New → Confirmed |
Changed in sbcl: | |
status: | Confirmed → Fix Committed |
Changed in sbcl: | |
assignee: | Jan Moringen (scymtym) → nobody |
Changed in sbcl: | |
status: | Fix Committed → Fix Released |