unrecognized mismatch between ftype declaim and lambda-list
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
Fix Released
|
Medium
|
Nikodemus Siivola |
Bug Description
Compiling and loading
(declaim (ftype
(locally
(declare (sb-ext:
(defun make-sequence-like
(sequence length
&rest keys
&key (initial-element nil iep) (initial-contents nil icp))
"returns a new sequence of length `length' and of the same type as `sequence'.
the parameters `initial-element' and `initial-contents' specify how the new
sequence is supposed to be initialized. only one of them can be passed at a
time.
"
(declare (sb-ext:
(declare (ignorable keys initial-element iep initial-contents icp))
(apply #'sb-sequence:
and then trying to evaluate
(make-
results in the following error
* (make-sequence-like #(1 2) 1 :initial-element '(1 2))
debugger invoked on a TYPE-ERROR in thread #<THREAD "initial thread" RUNNING {A9939A9}>:
The value T is not of type SEQUENCE.
Type HELP for debugger help, or (SB-EXT:QUIT) to exit from SBCL.
restarts (invokable by number or by possibly-
0: [ABORT] Exit debugger, returning to top level.
(MAKE-
0] :backtrace
0: (MAKE-SEQUENCE-LIKE #(1 2) 1 :INITIAL-ELEMENT (1 2))
1: (SB-INT:
2: (INTERACTIVE-EVAL (MAKE-SEQUENCE-LIKE #(1 2) 1 :INITIAL-ELEMENT '(1 2))) [:EXTERNAL]
3: (SB-IMPL::REPL-FUN NIL)
4: ((LAMBDA ()))
5: (SB-IMPL:
6: (SB-IMPL:
7: (SB-IMPL:
8: ((LABELS SB-IMPL:
Changed in sbcl: | |
status: | Confirmed → In Progress |
assignee: | nobody → Nikodemus Siivola (nikodemus) |
Changed in sbcl: | |
status: | Fix Committed → Fix Released |
SBCL should complain about the &REST in the lambda-list at compile-time, yes.