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.
>
>