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


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.