[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
FUNCTION type specifier
- To: hpfclp!hpfcdcm!dcm@HPLABS.ARPA
- Subject: FUNCTION type specifier
- From: "Scott E. Fahlman" <Fahlman@C.CS.CMU.EDU>
- Date: Mon, 17 Feb 1986 00:18:00 -0000
- Cc: common-lisp@SU-AI.ARPA
- In-reply-to: Msg of 14 Feb 1986 19:06-EST from hpfclp!hpfcdcm!dcm at hplabs.ARPA
- Sender: FAHLMAN@C.CS.CMU.EDU
In my reading of the specification for TYPEP, I see nothing that would
rule out
(TYPEP X 'FUNCTION)
It does rule out any list-type argument whose car is a list (or any
specifier containing such a list). As you surmised, the intention was
to make it clear that the implementaiton is not required to keep around
the argument-type or return-type information for each function.
-- Scott