Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
[perl #112910] enum mixin leads to non-transitive type checking
1 view
Skip to first unread message
Moritz Lenz
May 13, 2012, 5:29:56 AM5/13/12
to bugs-bi...@rt.perl.org
# New Ticket Created by Moritz Lenz
# Please include the string: [perl #112910]
# in the subject line of all future correspondence about this issue.
# <URL: https://rt.perl.org:443/rt3/Ticket/Display.html?id=112910 >
< moritz> r: enum A <b c>; say b ~~ A
<+p6eval> rakudo 2ac569: OUTPUT«True»
< moritz> r: enum A <b c>; say ("foo" but b) ~~ A
<+p6eval> rakudo 2ac569: OUTPUT«False»
< moritz> r: enum A <b c>; say ("foo" but b) ~~ b
<+p6eval> rakudo 2ac569: OUTPUT«True»
< moritz> wait. b ~~ A, but ("foo" but b) ~~ b and ("foo" but b) !~~ A?
< moritz> that seems... odd
< moritz> I kinda thought our type system was transitive :-)
* moritz submits rakudobug
# Please include the string: [perl #112910]
# in the subject line of all future correspondence about this issue.
# <URL: https://rt.perl.org:443/rt3/Ticket/Display.html?id=112910 >
< moritz> r: enum A <b c>; say b ~~ A
<+p6eval> rakudo 2ac569: OUTPUT«True»
< moritz> r: enum A <b c>; say ("foo" but b) ~~ A
<+p6eval> rakudo 2ac569: OUTPUT«False»
< moritz> r: enum A <b c>; say ("foo" but b) ~~ b
<+p6eval> rakudo 2ac569: OUTPUT«True»
< moritz> wait. b ~~ A, but ("foo" but b) ~~ b and ("foo" but b) !~~ A?
< moritz> that seems... odd
< moritz> I kinda thought our type system was transitive :-)
* moritz submits rakudobug
0 new messages