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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
---
source: crates/aiken-lang/src/parser/expr/fail_todo_trace.rs
description: "Code:\n\ntodo string.join([\"foo\", \"bar\"])\n"
---
Trace {
kind: Todo,
location: 0..32,
then: ErrorTerm {
location: 0..32,
},
label: Call {
arguments: [
CallArg {
label: None,
location: 17..31,
value: List {
location: 17..31,
elements: [
ByteArray {
location: 18..23,
bytes: [
(
102,
0..0,
),
(
111,
0..0,
),
(
111,
0..0,
),
],
preferred_format: Utf8String,
},
ByteArray {
location: 25..30,
bytes: [
(
98,
0..0,
),
(
97,
0..0,
),
(
114,
0..0,
),
],
preferred_format: Utf8String,
},
],
tail: None,
},
},
],
fun: FieldAccess {
location: 5..16,
label: "join",
container: Var {
location: 5..11,
name: "string",
},
},
location: 5..32,
},
arguments: [],
}