[perl #113042] [BUG] [WEIRD] LTA internals-leaky error message when doing 'for our $:: ();' in Rakudo

[Carl Mäsak]

# New Ticket Created by "Carl Mäsak"
# Please include the string: [perl #113042]
# in the subject line of all future correspondence about this issue.
# <URL: https://rt.perl.org:443/rt3/Ticket/Display.html?id=113042 >


<masak> r: for our $:: ();
<p6eval> rakudo dca0fa: OUTPUT«===SORRY!===␤ResizablePMCArray: index
out of bounds!␤»
* masak submits LTA error diakopter++ rakudobug

[Christian Bartolomaeus via RT]

The internal error message has changed slightly (but is still LTA):

$ perl6-m -e 'for our $:: ()'
===SORRY!===
MVMArray: Index out of bounds

$ perl6-p -e 'for our $:: ()'
===SORRY!===
QRPA: index out of bounds

$ perl6-j -e 'for our $:: ()'
===SORRY!===
VMArray: Index out of bounds

STD complains about a missing block:

$ viv -c -e 'for our $:: ()'
===SORRY!===
Missing block at (eval) line 1 (EOF):
------> for our $:: ()⏏<EOL>
expecting initializer
Parse failed

But it looks as if the problem ('Index out of bounds') is not related to the for loop:

$ perl6-m -e '$::'
===SORRY!===
MVMArray: Index out of bounds

With other sigils the same error occurs:

$ perl6-m -e '@::'
===SORRY!===
MVMArray: Index out of bounds

$ perl6-m -e '&::'
===SORRY!===
MVMArray: Index out of bounds

STD gives 'syntax OK" for those three. Especially it seems to parse '$::' the same way as '$'.

[Will Coleda via RT]

New behavior:

15:55 < [Coke]> r: for our $:: ();
15:55 <+camelia> rakudo-{moar,jvm} 6a1879: OUTPUT«===SORRY!=== Error while
compiling /tmp/tmpfile␤Signatures as constraints on variables
not yet implemented. Sorry. ␤at /tmp/tmpfile:1␤------> for our
$:: ()⏏;␤»
15:55 < GLRelia> rakudo-moar 287360: OUTPUT«(timeout)»

15:56 < [Coke]> m: $::
15:56 <+camelia> rakudo-moar 6a1879: OUTPUT«===SORRY!=== Error while compiling
/tmp/qyCyFL1Z6t␤Variable '$' is not declared␤at
/tmp/qyCyFL1Z6t:1␤------> <BOL>⏏$::␤»
15:56 < GLRelia> rakudo-moar 287360: OUTPUT«===SORRY!=== Error while compiling
/tmp/chCtyvb9XT␤Variable '$' is not declared␤at
/tmp/chCtyvb9XT:1␤------> <BOL>⏏$::␤»
--
Will "Coke" Coleda

[Sam S. via RT]

Is this still considered a BUG/LTA?

Isn't the error messages it prints now (see last comment by coke) pretty reasonable?

[Brian S. Julin via RT]

I added a reminder to also handle anonymous vars in RT#73104. The lingering issues
are just a sub-case of that problem.

Since we should not add tests for an X::NYI on the signature constraint, and the
presence of the X::NYI serves as ample codebase notation that the feature is
missing, I don't think keeping this ticket open serves any purpose. So I'm moving
it to 'resolved' status.