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
72
---
source: crates/aiken-lang/src/parser/expr/fail_todo_trace.rs
description: "Code:\n\ntrace string.join([\"foo\", \"bar\"])\na\n"
---
Trace {
kind: Trace,
location: 0..35,
then: Var {
location: 34..35,
name: "a",
},
label: Call {
arguments: [
CallArg {
label: None,
location: 18..32,
value: List {
location: 18..32,
elements: [
ByteArray {
location: 19..24,
bytes: [
(
102,
0..0,
),
(
111,
0..0,
),
(
111,
0..0,
),
],
preferred_format: Utf8String,
},
ByteArray {
location: 26..31,
bytes: [
(
98,
0..0,
),
(
97,
0..0,
),
(
114,
0..0,
),
],
preferred_format: Utf8String,
},
],
tail: None,
},
},
],
fun: FieldAccess {
location: 6..17,
label: "join",
container: Var {
location: 6..12,
name: "string",
},
},
location: 6..33,
},
arguments: [],
}