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

No Subject

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