blob: 59db7b731a2ac5d360bc274a0e35180aa4423591 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
Explanation: Every element in the list must have a type matching the type
annotation at the end of the list
For example, this is a valid ❰List❱:
┌──────────────────────────┐
│ [1, 2, 3] : List Integer │ Every element in this ❰List❱ is an ❰Integer❱
└──────────────────────────┘
.. but this is $_NOT a valid ❰List❱:
┌──────────────────────────────┐
│ [1, "ABC", 3] : List Integer │ The second element is not an ❰Integer❱
└──────────────────────────────┘
Your ❰List❱ elements should have this type:
↳ $txt0
... but the following element at index $txt1:
↳ $txt2
... has this type instead:
↳ $txt3
|
