Skip Menu |
Report information
Id: 131574
Status: new
Priority: 0/
Queue: perl6

Owner: Nobody
Requestors: cpan [at] zoffix.com
Cc:
AdminCc:

Severity: (no value)
Tag: Bug
Platform: (no value)
Patch Status: (no value)
VM: (no value)



Subject: [BUG] Incorrect circularity detection with infix:<+>
Download (untitled) / with headers
text/plain 797b
The circularity detection[^1] code, seems to incorrectly detect this case as circularity: 16:28 eveo m: multi infix:<+>(Real, Pair $ where {.value === True}) { 42 }; say 1 + :a; 16:28 camelia rakudo-moar 14d757: OUTPUT: «===SORRY!===␤Circularity detected in multi sub types for &infix:<+>␤» 16:28 eveo m: multi infix:<+>(Real $ where {True}, Pair $ where {.value === True}) { 42 }; say 1 + :a; 16:28 camelia rakudo-moar 14d757: OUTPUT: «===SORRY!===␤Circularity detected in multi sub types for &infix:<+>␤» 16:28 eveo m: multi infix:<+>(Int, Pair $ where {.value === True}) { 42 }; say 1 + :a; 16:28 camelia rakudo-moar 14d757: OUTPUT: «42␤» [1] https://github.com/rakudo/rakudo/blob/14d757131159b536d64447f567bc9a8324a271ca/src/Perl6/Metamodel/BOOTSTRAP.nqp#L2157
Download (untitled) / with headers
text/plain 309b
Some extra comments on this issue: https://irclog.perlgeek.de/perl6/2017-09-15#i_15169171 15:15 jnthn Did anyone actually take all the candidates and manually draw out the DAG? :) 15:17 I can't imagine the cycle detection is a false positive. 15:17 It is interesting that it ends up with a cycle though


This service is sponsored and maintained by Best Practical Solutions and runs on Perl.org infrastructure.

For issues related to this RT instance (aka "perlbug"), please contact perlbug-admin at perl.org