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

Re: Issue: DECLARE-TYPE-FREE (Version 6)

I see your point. I wanted to make the assertion of type declarations the
strongest possible and wound up weakening it for upward funargs. 

Yes, the point was to allow specialized variable representations. (In my
mind, this is related to dynamic extent and the various proposals for it,
although I can't explain the connection offhand.)

I'll try again...