quick question: are the following rewrites always valid:e1 != e2 -> !(e1 == e2) e1 !is e2 -> !(e1 is e2) e1 !in e2 -> !(e1 in e2)
I believe this is in fact what the compiler does (rewriting). -Steve
quick question: are the following rewrites always valid:e1 != e2 -> !(e1 == e2) e1 !is e2 -> !(e1 is e2) e1 !in e2 -> !(e1 in e2)
I believe this is in fact what the compiler does (rewriting). -Steve