[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Issue: SUBTYPEP-TOO-VAGUE (Version 4)
- To: CL-Cleanup@SAIL.Stanford.EDU
- Subject: Issue: SUBTYPEP-TOO-VAGUE (Version 4)
- From: Kent M Pitman <KMP@STONY-BROOK.SCRC.Symbolics.COM>
- Date: Thu, 13 Oct 88 19:28 EDT
My notes from Fairfax meeting...
For as far as it goes, it was thought ready to vote.
Some felt we might need further restrictions (other proposals) later.
JonL: Thinks EB can prove that only SATISFIES mucks things up and
that OR, AND, etc. are safe.
RWK: It couldn't be. You'd need more type cleanups before it could be.
People generally doubted JonL's claim but said he was of course welcome
to submit the proof.