Final issues resolved with https://github.com/rakudo/rakudo/commit/cee1be22cff6153506e31df2916f8a0be27b5fc8
On Sat, 16 Sep 2017 12:12:35 -0700, david.warring wrote: > Tests added with roast commit > https://github.com/perl6/roast/commit/d776a06e52c35d6cbb7b7bbade7b7a15b97ecff8 > > One remaining todo test for the subset of a subset case, ie: > > subset S of Int; subset S2 of S; say S2.isa(S) > > On Sun, Sep 17, 2017 at 6:34 AM, David Warring > <david.warr...@gmail.com> > wrote: > > > After that commit: subset S of Int; S.isa(True) returns true as > > expected. > > > > I've noticed a quibble with subset of a subset: > > > > perl6 -e'subset S of Int; subset S2 of S; say S2.isa(S)' > > False > > > > Should be True. > > > > On Sun, Sep 17, 2017 at 3:17 AM, Aleks-Daniel Jakimenko-Aleksejev via > > RT < > > perl6-bugs-follo...@perl.org> wrote: > > > >> What about this commit? > >> https://github.com/rakudo/rakudo/commit/0704cd97226e63001943 > >> 426666c88cef1c5fe711 > >> > >> On 2017-09-12 13:55:51, david.warring wrote: > >> > current behavior of isa method on a subset: > >> > > >> > % perl6 -v > >> > This is Rakudo version 2017.08-110-g5f3350656 built on MoarVM > >> > version > >> > 2017.08.1-156-g4 > >> > 9b90b99 > >> > implementing Perl 6.c. > >> > % perl6 -e'subset S of Int; say S.isa(Int)' > >> > Cannot resolve caller isa(Perl6::Metamodel::SubsetHOW: S, Int); > >> > none of > >> > these signatur > >> > es match: > >> > (Mu \SELF: Mu $type, *%_) > >> > (Mu \SELF: Str:D $name, *%_) > >> > in block <unit> at -e line 1 > >> > > >> > The documentation https://docs.perl6.org/routine/isa implies this > >> should > >> > return True. > >> > >> > >
