.WHICH fails for Block but True

[p6rt]

Migrated from rt.perl.org#126099 (status was 'resolved')

Searchable as RT126099$

[p6rt]

From zefram@fysh.org

Basic introspection methods fail on the value Block but True​:

$ ./perl6 -e 'my $a = Block; say $a.WHICH; my $b = Block but True; say $b.WHICH'
Block
Cannot look up attributes in a type object
  in block <unit> at -e​:1

Methods other than .WHICH fail too, such as .WHAT and .perl. The error
message is obviously not generally correct, because these methods do work
on other type objects. Not only on unmodified ones such as Block in the
example above, but also on but-True modified ones for other classes such
as Mu.

-zefram

[p6rt]

From @AlexDaniel

Still reproducible (2017.11,HEAD(e5b660e))

On 2015-09-18 12​:12​:49, zefram@​fysh.org wrote​:

Basic introspection methods fail on the value Block but True​:

$ ./perl6 -e 'my $a = Block; say $a.WHICH; my $b = Block but True; say
$b.WHICH'
Block
Cannot look up attributes in a type object
in block <unit> at -e​:1

Methods other than .WHICH fail too, such as .WHAT and .perl. The
error
message is obviously not generally correct, because these methods do
work
on other type objects. Not only on unmodified ones such as Block in
the
example above, but also on but-True modified ones for other classes
such
as Mu.

-zefram

[p6rt]

The RT System itself - Status changed from 'new' to 'open'

[p6rt]

From @lizmat

Can be golfed to “Block but True”. Problem also existed for “Code but True”. Fixed with e31a414 . Tests needed.

On 3 Dec 2017, at 05​:00, Aleks-Daniel Jakimenko-Aleksejev via RT <perl6-bugs-followup@​perl.org> wrote​:

Still reproducible (2017.11,HEAD(e5b660e))

On 2015-09-18 12​:12​:49, zefram@​fysh.org wrote​:

Basic introspection methods fail on the value Block but True​:

$ ./perl6 -e 'my $a = Block; say $a.WHICH; my $b = Block but True; say
$b.WHICH'
Block
Cannot look up attributes in a type object
in block <unit> at -e​:1

Methods other than .WHICH fail too, such as .WHAT and .perl. The
error
message is obviously not generally correct, because these methods do
work
on other type objects. Not only on unmodified ones such as Block in
the
example above, but also on but-True modified ones for other classes
such
as Mu.

-zefram

[p6rt]

From @zoffixznet

Tests​: Raku/roast@0580a62a804abd3de7eeca8e

[p6rt]

@zoffixznet - Status changed from 'open' to 'resolved'