7
7
8
8
{
9
9
my Int @ x ;
10
- ok @ x . of === Int , ' @x.of of typed array (my Int @x)' ;
10
+ ok @ x . VAR . of === Int , ' @x.VAR .of of typed array (my Int @x)' ;
11
11
# RT #77748
12
12
ok @ x . WHAT . gist ~~ /Array /, ' .WHAT.gist of the type object makes sense' ;
13
13
lives_ok { @ x = 1 , 2 , 3 }, ' can assign values of the right type' ;
@@ -81,7 +81,7 @@ plan 61;
81
81
82
82
{
83
83
my Array of Int @ x ;
84
- ok @ x . of === Array [Int ], ' my Array of Int @x declares a nested array' ;
84
+ ok @ x . VAR . of === Array [Int ], ' my Array of Int @x declares a nested array' ;
85
85
# ?rakudo skip "nested typechecks are borked"
86
86
lives_ok { @ x = [2 , 3 ], [5 , 6 ] }, ' assignment works' ;
87
87
# ?rakudo todo "nested typechecks are borked"
@@ -98,14 +98,14 @@ plan 61;
98
98
my Int @ b ;
99
99
lives_ok { @ b = @ a }, ' can assign typed array to typed array' ;
100
100
# ?rakudo todo 'need parameterized Lists'
101
- ok @ a . values . of . WHICH eqv Int . WHICH , ' @a.values is typed (1)' ;
101
+ ok @ a . values . VAR . of . WHICH eqv Int . WHICH , ' @a.values is typed (1)' ;
102
102
lives_ok { @ b = @ a . values }, ' @a.values is typed (2)' ;
103
103
} # 3
104
104
105
105
# ?rakudo skip 'initialization'
106
106
{
107
107
my Str @ c = <foo bar baz >;
108
- ok @ c . keys . of . WHICH eqv Str . WHICH , ' @array.keys is typed with Str' ;
108
+ ok @ c . keys . VAR . of . WHICH eqv Str . WHICH , ' @array.keys is typed with Str' ;
109
109
} # 1
110
110
111
111
# test that we can have parametric array return types
0 commit comments