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

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



> Btw, I spoke last week on the phone to Jonathan Rees about this. He's not
> yet gotten around to sending mail but he said...
>   - he doesn't think the ALLOW proposal is a good idea
>   - the ALLOW proposal is inconsistent with the proposal in
>     SYMBOL-MACROLET-SEMANTICS
> He hadn't seen the actual LEXICAL proposal yet, but from my description
> of the differences, he seemed pretty firm on the idea that it was the
> right idea.

I agree.  The SYMBOL-MACROLET proposal expalins type declarations as
equiv to adding THE <type> to the expansion; and that's also the
explanation for LEXICAL.  I support both.  And votes on these issues
should at least be consistent.