[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

*To*: common-lisp@su-ai.arpa*Subject*: Declaring Functions*From*: shebs%utah-orion@utah-cs.arpa (Stanley Shebs)*Date*: Fri, 1 Nov 85 13:45:55 MST

The notion of a function type is mentioned in two places: p. 47 of the CLM, where the (function ...) type specifier is defined, and p. 158-159, where (ftype ...) and (function ...) are defined as options to declare. Are they intended to be the same? If so, then the second definition should say that keywords and a (values ...) type specifier are allowed. If not, then what is the point of a function type specifier, since you can't feed it to typep anyway? Also, what is the intended syntax for lambda lists with keywords in a type specifier? Somehow, (deftype make-seq-type () '(function (type integer &key initial-element t) sequence)) doesn't look quite right... Has anybody done anything but punt on function declarations? stan shebs

**Follow-Ups**:**Declaring Functions***From:*Daniel L. Weinreb <DLW@SCRC-QUABBIN.ARPA>

- Prev by Date:
**free variable references in interpreter.** - Next by Date:
**free variable references in interpreter.** - Previous by thread:
**Re: free variable references in interpreter.** - Next by thread:
**Declaring Functions** - Index(es):