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
---
source: crates/aiken-lang/src/parser/expr/if_else.rs
description: "Code:\n\nif foo() is Foo {\n todo\n} else {\n todo\n}\n"
---
If {
location: 0..42,
branches: [
IfBranch {
condition: Call {
arguments: [],
fun: Var {
location: 3..6,
name: "foo",
},
location: 3..8,
},
body: Trace {
kind: Todo,
location: 20..24,
then: ErrorTerm {
location: 20..24,
},
label: String {
location: 20..24,
value: "aiken::todo",
},
arguments: [],
},
is: Some(
AssignmentPattern {
pattern: Discard {
name: "_",
location: 12..15,
},
annotation: Some(
Constructor {
location: 12..15,
module: None,
name: "Foo",
arguments: [],
},
),
location: 12..15,
},
),
location: 3..26,
},
],
final_else: Trace {
kind: Todo,
location: 36..40,
then: ErrorTerm {
location: 36..40,
},
label: String {
location: 36..40,
value: "aiken::todo",
},
arguments: [],
},
}