From @masak

<masak> rakudo​: my @​a := 1; say @​a.WHAT
<p6eval> rakudo 34162​: OUTPUT[Int␤]
<masak> hm.
<masak> rakudo​: my @​a = 1; say @​a.WHAT
<p6eval> rakudo 34162​: OUTPUT[Array␤]
<masak> so, with infix​:<​:=>, I can assign an Int to a @​-variable. is
that kosher? [22​:37]
<pmichaud> no. [22​:38]
<pmichaud> Rakudo doesn't do any type checking on binding.
<pmichaud> (binding in general is kinda 'iffy')
<masak> so, the bug above is that Rakudo doesn't do type checking on
binding to array variables?
<pmichaud> correct.
<pmichaud> you should get a "Int does not do Positional role"
exception or something like that.

@pmichaud - Status changed from 'new' to 'open'

@pmichaud - Status changed from 'open' to 'stalled'

From @kyleha

This is an automatically generated mail to inform you that tests are now available in b/t/spec/S03-operators/binding-arrays.t

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

From @coke

3 years or so, no change​:

10​:37 < [Coke]> rakudo​: my @​a = 1; say @​a.WHAT; say @​a.perl;
10​:37 <+p6eval> rakudo 25af2d​: OUTPUT«Array()␤Array.new(1)␤»
10​:37 < [Coke]> rakudo​: my @​a := 1; say @​a.WHAT; say @​a.perl;
10​:37 <+p6eval> rakudo 25af2d​: OUTPUT«Int()␤1␤»

--
Will "Coke" Coleda

From @jnthn

On Sun Oct 16 07​:38​:09 2011, coke wrote​:

3 years or so, no change​:

10​:37 < [Coke]> rakudo​: my @​a = 1; say @​a.WHAT; say @​a.perl;
10​:37 <+p6eval> rakudo 25af2d​: OUTPUT«Array()␤Array.new(1)␤»
10​:37 < [Coke]> rakudo​: my @​a := 1; say @​a.WHAT; say @​a.perl;
10​:37 <+p6eval> rakudo 25af2d​: OUTPUT«Int()␤1␤»

One little refactor, big change​:

my @​a = 1; say @​a.WHAT; say @​a.perl;
Array()
Array.new(1)
my @​a := 1; say @​a.WHAT; say @​a.perl;
Type check failed in binding

Test needed.

/jnthn

From @moritz

tested in S03-operators/binding-arrays.t.

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