[Openmcl-devel] Type declaration question

Juho Snellman jsnell at iki.fi
Tue May 26 20:39:57 PDT 2009

Nikodemus Siivola <nikodemus at random-state.net> writes:

> 2009/5/26 Dan Weinreb <dlw at itasoftware.com>:
> > However, in the Hyperspec (under the section on Declaration TYPE,
> > i.e., Body/d_type.htm), it is explicitly stated (in Notes) that
> > "(typespec var*) is an abbreviation for (type typespec var*)".
> >
> > Indeed, it does, and that's inconsistent with section 3.3.2, so we have
> > a problem.

Not a problem. Examples and notes aren't normative, the glossary
(which 3.3.2 refers to) is.

> FWIW, SBCL currently always accepts the "typespec var*" version, but
> that interpretation is not particularly religiously held.

IIRC there's an explicit ansi test for complex type specifiers working
as the CAR of a declaration. I don't remember what pfdietz's argument
for that was.

Juho Snellman

More information about the Openmcl-devel mailing list