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
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
---
source: crates/aiken-lang/src/parser/expr/when/mod.rs
description: "Code:\n\nwhen a is {\n 2 if x > 1 -> 3\n 1 | 4 | 5 -> {\n let amazing = 5\n amazing\n }\n 3 -> 9\n _ -> 4\n}\n"
---
When {
location: 0..102,
subject: Var {
location: 5..6,
name: "a",
},
clauses: [
UntypedClause {
location: 14..29,
patterns: [
Int {
location: 14..15,
value: "2",
base: Decimal {
numeric_underscore: false,
},
},
],
guard: Some(
GtInt {
location: 19..24,
left: Var {
location: 19..20,
tipo: (),
name: "x",
},
right: Constant(
Int {
location: 23..24,
value: "1",
base: Decimal {
numeric_underscore: false,
},
},
),
},
),
then: UInt {
location: 28..29,
value: "3",
base: Decimal {
numeric_underscore: false,
},
},
},
UntypedClause {
location: 32..82,
patterns: [
Int {
location: 32..33,
value: "1",
base: Decimal {
numeric_underscore: false,
},
},
Int {
location: 36..37,
value: "4",
base: Decimal {
numeric_underscore: false,
},
},
Int {
location: 40..41,
value: "5",
base: Decimal {
numeric_underscore: false,
},
},
],
guard: None,
then: Sequence {
location: 51..78,
expressions: [
Assignment {
location: 51..66,
value: UInt {
location: 65..66,
value: "5",
base: Decimal {
numeric_underscore: false,
},
},
pattern: Var {
location: 55..62,
name: "amazing",
},
kind: Let,
annotation: None,
},
Var {
location: 71..78,
name: "amazing",
},
],
},
},
UntypedClause {
location: 85..91,
patterns: [
Int {
location: 85..86,
value: "3",
base: Decimal {
numeric_underscore: false,
},
},
],
guard: None,
then: UInt {
location: 90..91,
value: "9",
base: Decimal {
numeric_underscore: false,
},
},
},
UntypedClause {
location: 94..100,
patterns: [
Discard {
name: "_",
location: 94..95,
},
],
guard: None,
then: UInt {
location: 99..100,
value: "4",
base: Decimal {
numeric_underscore: false,
},
},
},
],
}