[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
- To: cl-cleanup@SAIL.STANFORD.EDU
- Subject: Issue SUBTYPEP-TOO-VAGUE
- From: Kim A. Barrett <IIM@ECLA.USC.EDU>
- Date: Fri 10 Mar 89 14:42:41-PST
- Cc: iim@ECLA.USC.EDU
The proposal SUBTYPEP-TOO-VAGUE:CLARIFY, passed at the Hawaii meeting, says
"SUBTYPEP should signal an error when handed (for either argument) a type
specifier that involves VALUES or the list form of the FUNCTION type."
This prevents a compiler from using such type declarations to do type checking
and such on functional arguments.
We wish to ammend the proposal to strike that paragraph.