[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
How do I get better diagnostics, such as the tcc that evaluates to
The term "A (B)" is a sub-term in the current sequent, so it should
(and I believe does) type-check correctly.
Rule? (typepred "A (B)")
Subtype TCC for B simplifies to FALSE
Restoring the state.
Paul Loewenstein Sun Microsystems Inc., Mailstop UMPK12-302
Staff Engineer 901 San Antonio Road, Palo Alto, California 94303
Tel: 650-786-6015 FAX: 650-568-9603