Subject: Re: CLOS block compilation type checking
From: (Rob Warnock)
Date: Wed, 04 May 2005 01:03:42 -0500
Newsgroups: comp.lang.lisp
Message-ID: <>
Christopher C. Stacy <> wrote:
| Are there any actual existing compilers that allow me to check 
| a block of code to ensure that (within the block) all required 
| methods have been implemented?

What do you mean by "required" methods? Required by whom?
Your application's internal design methodology? [E.g., "All
calls shall be to methods explicitly specialized on their
first arguments to subclasses of class FOO & third arguments
to subclasses of class BAR."] If so, how is the compiler to
know what that coding style is?

That said, if all you want to do is catch calls that fail
to hit some explicitly-specializing method, then wrap a
macro around DEFGENERIC that defines a method with no
specialized args (a.k.a. specialized on T for each arg),
and put an ERROR call there.

Or am I missing something obvious about your question?


Rob Warnock			<>
627 26th Avenue			<URL:>
San Mateo, CA 94403		(650)572-2607