Логическая проблема с "одним" соединением в Perl6
У меня возникли проблемы с.one Junction и Range Match:
> say (3,5).any ~~ (1 .. 9)
any(True, True)
> say so (3,5).any ~~ (1 .. 9)
True
> say so (3,5).one ~~ (1 .. 9)
False
> say so (3,0).one ~~ (1 .. 9) # expect True because 0 not in range and 3 is
False
> say so (3,0).any ~~ (1 .. 9)
True
> say so (0, 3).one ~~ (1..9) # expected True; 0 not in range; exactly one item (3) is in range
False
> so 0 ~~ 1..9 # as expected;
False
> so 3 ~~ 1..9
True
> say (0, 3).one ~~ (1..9) # unexpected; 0 not in range;
one(True, True) # expected one(False, True)
> say (1..9).elems
9
> say (0, 10).one ~~ (1..9) # why is it true that 0 ~~ 1..9 ??
one(True, False)
> say so (0, 10).one ~~ (1..9) # unexpected !!! neither 0 nor 10 in range
True
> say (-1, 3).one ~~ (1..9) # why -1 in range of 1..9 ??
one(True, True)
>
Что мне не хватает? Заранее благодарю за любые предложения. Я использую Rakudo Star 2018.10 на MoarVM, реализуя Perl6.c.
1 ответ
Решение
Я думаю, что основная проблема заключается в следующем:
$ perl6 -e 'dd (0,3).one ~~ (1 .. 9)'
one(Bool::True, Bool::True)
Которые должны быть one(Bool::False, Bool::True)
, Я думаю, что это ошибка, достойная рассмотрения.