On Fri May 10 22:08:08 2013, coke wrote: > On Tue Oct 11 00:23:29 2011, masak wrote: > > <tadzik> b: say ?(0|1 == 0&1); say ?(0&1 == 0|1) > > <p6eval> b 1b7dd1: OUTPUT«Bool::TrueBool::True» > > <grondilu> rakudo: say ?(0|1 == 0&1), ?(0&1 == 0|1) > > <p6eval> rakudo 38907e: OUTPUT«Bool::FalseBool::True» > > <masak> 0|1 == 0&1 means any(0,1) == all(0,1) means all(any(0,1) == 0, > > any(0,1) == 1) means all(any(0 == 0, 1 == 0), any(0 == 1, 1 == 1)) > > <masak> which is true, AFAICS. > > * masak submits rakudobug > > > > In other words, the result of ?(0|1 == 0&1) should be Bool::True, > > because (intuitively) 0 and 1 is equal to 0 or 1. Other > > implementations agree. > > > > <grondilu> perl6: say ?(0|1 == 0&1); say ?(0&1 == 0|1) > > <p6eval> pugs: OUTPUT«11» > > <p6eval> ..rakudo 38907e: OUTPUT«Bool::FalseBool::True» > > <p6eval> ..niecza v10-40-ga57ed3d: OUTPUT«Bool::TrueBool::True» > > Works again. > > 01:03 <[Coke]> r: say ?(0|1 == 0&1); say ?(0&1 == 0|1) > 01:03 <camelia> rakudo bfd850: OUTPUT«TrueTrue» > > Closable with tests.
Tests added to S03-junctions/misc.t -- Will "Coke" Coleda