[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
FALSE?

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
                          paul.loewenstein@eng.sun.com