[perl #132073] [BUG] isa method errors when called on a subset type object

[David Warring via RT]

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
> 
> 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
> >> 42c88cef1c5fe711
> >>
> >> 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  at -e line 1
> >> >
> >> > The documentation https://docs.perl6.org/routine/isa implies this
> >> should
> >> > return True.
> >>
> >>
> >

Re: [perl #132073] [BUG] isa method errors when called on a subset type object

[David Warring via RT]

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 
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
>> 42c88cef1c5fe711
>>
>> 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  at -e line 1
>> >
>> > The documentation https://docs.perl6.org/routine/isa implies this
>> should
>> > return True.
>>
>>
>

Re: [perl #132073] [BUG] isa method errors when called on a subset type object

[David Warring]

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 
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
>> 42c88cef1c5fe711
>>
>> 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  at -e line 1
>> >
>> > The documentation https://docs.perl6.org/routine/isa implies this
>> should
>> > return True.
>>
>>
>

Re: [perl #132073] [BUG] isa method errors when called on a subset type object

[David Warring]

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/0704cd97226e6300194342c88c
> ef1c5fe711
>
> 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  at -e line 1
> >
> > The documentation https://docs.perl6.org/routine/isa implies this should
> > return True.
>
>

Re: [perl #132073] [BUG] isa method errors when called on a subset type object

[David Warring via RT]

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/0704cd97226e6300194342c88c
> ef1c5fe711
>
> 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  at -e line 1
> >
> > The documentation https://docs.perl6.org/routine/isa implies this should
> > return True.
>
>

[perl #132073] [BUG] isa method errors when called on a subset type object

[Aleks-Daniel Jakimenko-Aleksejev via RT]

What about this commit?
https://github.com/rakudo/rakudo/commit/0704cd97226e6300194342c88cef1c5fe711

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  at -e line 1
>
> The documentation https://docs.perl6.org/routine/isa implies this should
> return True.

[perl #132073] [BUG] isa method errors when called on a subset type object

[via RT]

# New Ticket Created by  David Warring 
# Please include the string:  [perl #132073]
# in the subject line of all future correspondence about this issue. 
# https://rt.perl.org/Ticket/Display.html?id=132073 >


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  at -e line 1

The documentation https://docs.perl6.org/routine/isa implies this should
return True.