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

Issue: FUNCTION-TYPE-ARGUMENT-TYPE-SEMANTICS (version 2)



Is it the case that this proposal makes no statement on the issue of
what happens if you do multiple proclamations for the same function?

I don't think you can completely ignore the issue because 
 (FUNCTION (FIXNUM FIXNUM) CONS)
is a proper global declaration for CONS if multiple declarations are
permitted, but not if only one declaration is permitted.

Am I confused?