Custom Query (1030 matches)

See ​http://clozure.com/pipermail/openmcl-devel/2009-May/009392.html for assorted backtraces.

[I have a fix for this and will close this ticket as soon as I check it in; if I missed some case, we can re-open the ticket.]

In the absence of better information, CCL:ARGLIST tries to construct a function's arglist from the function's symbol map (and lfun-bits.) Entries in the map generally appear in the reverse of the order in which variables come into scope, and supplied-p variables for optional args generally come into scope before subsequent optional args do; ARGLIST can't assume that ordered entries in the symbol map correspond to the names of arguments that can be passed by the caller unless we add some additional information or take some other steps to ensure this.

(The "shape" of the argument list has been correct, but getting the names wrong can be confusing, especially since backtrace uses the same mechanism to identify arguments and other values.)

I think I have a fix for this, just putting it on record in case it turns out to be more complicated:

Welcome to Clozure Common Lisp Version 1.3-dev-r12063  (LinuxX8664)! 
? (defun inner (x &key a) (loop (concatenate x a) (concatenate x a) (concatenate x a))) 
INNER 
? (defun outer (x) (setq x (list (list x) :bogus-key (list (list x) (list x)))) (apply #'inner x) x) 
OUTER 
? (outer 3) 
> Error: Incorrect keyword arguments in (:BOGUS-KEY ((3) (3))) . 
> While executing: INNER, in process listener(1). 
> Type :POP to abort, :R for a list of available restarts. 
> Type :? for other options. 
1 > :b 
 (CA7A78) : 0 (INNER NIL :A NIL) 69 
> Error: value NIL is not of the expected type NUMBER. 
> While executing: CCL::+-2, in process listener(1). 
> Type :POP to abort, :R for a list of available restarts. 
> Type :? for other options.