Luke Gorrie <[EMAIL PROTECTED]> writes:

> Is there a way to make the compiler print a note that, with the
> definitions in this file, foo's call to bar will always result in an
> error?

Perhaps with block compilation:

   (declaim (ext:start-block foo))
   (defun foo ()  (bar 1))
   (defun bar (x) (symbol-value x))
   (declaim (ext:end-block))

Which is arguably not that different from a module declaration.

Helmut.


Reply via email to