On Fri, 10 Apr 2015 01:02 am, Chris Angelico wrote: > On Fri, Apr 10, 2015 at 12:53 AM, Alain Ketterlin > <al...@dpt-info.u-strasbg.fr> wrote: >> Ouch, you're right, I tried to stick with Marko's example and forgot the >> basics. I meant "signed ints", but the "removable" condition should be >> something like: >> >> if ( x>0 && y>0 && z<x ) >> ... >> >> i.e., some condition that is never true (either false or undefined). >> Thanks for the correction. > > Ah, yep. And yes, that's absolutely right - the compiler's allowed to > treat that as never true.
Am I missing something? Did you over-trim the quoting? How can the compiler possibly be allowed to treat x>0 && y>0 && z<x as always false? x = y = 1 z = 0 gives x>0 && y>0 && z<x as true. -- Steven -- https://mail.python.org/mailman/listinfo/python-list
