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
73
74
75
76
77
78
---
source: crates/aiken-lang/src/parser/expr/if_else.rs
description: "Code:\n\nif foo() is Foo { a }: Foo {\n todo\n} else {\n todo\n}\n"
---
If {
location: 0..53,
branches: [
IfBranch {
condition: Call {
arguments: [],
fun: Var {
location: 3..6,
name: "foo",
},
location: 3..8,
},
body: Trace {
kind: Todo,
location: 31..35,
then: ErrorTerm {
location: 31..35,
},
label: String {
location: 31..35,
value: "aiken::todo",
},
arguments: [],
},
is: Some(
AssignmentPattern {
pattern: Constructor {
is_record: true,
location: 12..21,
name: "Foo",
arguments: [
CallArg {
label: Some(
"a",
),
location: 18..19,
value: Var {
location: 18..19,
name: "a",
},
},
],
module: None,
constructor: (),
spread_location: None,
tipo: (),
},
annotation: Some(
Constructor {
location: 23..26,
module: None,
name: "Foo",
arguments: [],
},
),
location: 12..26,
},
),
location: 3..37,
},
],
final_else: Trace {
kind: Todo,
location: 47..51,
then: ErrorTerm {
location: 47..51,
},
label: String {
location: 47..51,
value: "aiken::todo",
},
arguments: [],
},
}