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
---
source: crates/aiken-lang/src/parser/expr/when/clause.rs
description: "Code:\n\nwhen val is {\n Bar1{..} -> todo\n Bar2{..} -> todo\n}\n"
---
When {
location: 0..53,
subject: Var {
location: 5..8,
name: "val",
},
clauses: [
UntypedClause {
location: 16..32,
patterns: [
Constructor {
is_record: true,
location: 16..24,
name: "Bar1",
arguments: [],
module: None,
constructor: (),
with_spread: true,
tipo: (),
},
],
guard: None,
then: Trace {
kind: Todo,
location: 28..32,
then: ErrorTerm {
location: 28..32,
},
text: String {
location: 28..32,
value: "aiken::todo",
},
},
},
UntypedClause {
location: 35..51,
patterns: [
Constructor {
is_record: true,
location: 35..43,
name: "Bar2",
arguments: [],
module: None,
constructor: (),
with_spread: true,
tipo: (),
},
],
guard: None,
then: Trace {
kind: Todo,
location: 47..51,
then: ErrorTerm {
location: 47..51,
},
text: String {
location: 47..51,
value: "aiken::todo",
},
},
},
],
}