Custom Query (1030 matches)

If there are multiple versions of a function definition in a file, Meta-. currently leads to the first occurrence.

It should instead find the valid (current) version of the function (the one that is evaluated last). This is oftentimes (but not always) the last version in the buffer.

The following transcript suggests the presence of a new bug in the CCL compiler in the vicinity of subtypep. Probably part of a disagreement about when (values ...) can be used in a type expression. Something like this just broke an ACL2 rebuild that didn't break yesterday.

% ccl -n
Welcome to Clozure Common Lisp Version 1.4-dev-r12509M-trunk  (LinuxX8664)!
? (defvar x)
X
? (defvar y)
Y
? (defun foo () x)
FOO
? (defun bar () y)
BAR
? (proclaim '(ftype (function () (values t)) foo bar))
NIL
? (defun fap () (- (foo) (bar)))
> Error: VALUES type illegal in this context:
>          (VALUES T)
> While executing: (:INTERNAL CCL::NX1-COMPILE-LAMBDA), in process listener(1).
> Type :GO to continue, :POP to abort, :R for a list of available restarts.
> If continued: continue compilation ignoring this form
> Type :? for other options.
1 > 

This may be just a case of some work-in-progress code being checked into the trunk, but in case anyone's unaware of it:

? (describe #'append)
#<Compiled-function APPEND #x80CB906>
Name: APPEND
Arglist (analysis): (&REST LISTS)
> Error: Can't construct argument list from "Construct a new list by concatenating the list arguments".
> While executing: #<STANDARD-KERNEL-METHOD INSPECTOR:LINE-N (INSPECTOR::FUNCTION-INSPECTOR
                                                              T)>, in process listener(1).

Besides the obvious "this seems to have something to do with the fact that APPEND has function documentation", I don't have a good sense of what's going on here.