chore: delete unreferenced snapshots
This commit is contained in:
parent
93b33df3ef
commit
94bf75dd1c
|
@ -1,40 +0,0 @@
|
||||||
---
|
|
||||||
source: crates/aiken-lang/src/parser/expr/when/clause.rs
|
|
||||||
description: "Code:\n\nwhen val is {\n Bar1{..} -> error\n}\n"
|
|
||||||
---
|
|
||||||
When {
|
|
||||||
location: 0..35,
|
|
||||||
subject: Var {
|
|
||||||
location: 5..8,
|
|
||||||
name: "val",
|
|
||||||
},
|
|
||||||
clauses: [
|
|
||||||
UntypedClause {
|
|
||||||
location: 16..33,
|
|
||||||
patterns: [
|
|
||||||
Constructor {
|
|
||||||
is_record: true,
|
|
||||||
location: 16..24,
|
|
||||||
name: "Bar1",
|
|
||||||
arguments: [],
|
|
||||||
module: None,
|
|
||||||
constructor: (),
|
|
||||||
with_spread: true,
|
|
||||||
tipo: (),
|
|
||||||
},
|
|
||||||
],
|
|
||||||
guard: None,
|
|
||||||
then: Trace {
|
|
||||||
kind: Error,
|
|
||||||
location: 28..33,
|
|
||||||
then: ErrorTerm {
|
|
||||||
location: 28..33,
|
|
||||||
},
|
|
||||||
text: String {
|
|
||||||
location: 28..33,
|
|
||||||
value: "aiken::error",
|
|
||||||
},
|
|
||||||
},
|
|
||||||
},
|
|
||||||
],
|
|
||||||
}
|
|
|
@ -1,60 +0,0 @@
|
||||||
---
|
|
||||||
source: crates/aiken-lang/src/parser/expr/when/clause.rs
|
|
||||||
description: "Code:\n\nwhen val is {\n Bar1{..} -> True\n Bar2{..} -> todo @\"unimplemented\"\n}\n"
|
|
||||||
---
|
|
||||||
When {
|
|
||||||
location: 0..70,
|
|
||||||
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: Var {
|
|
||||||
location: 28..32,
|
|
||||||
name: "True",
|
|
||||||
},
|
|
||||||
},
|
|
||||||
UntypedClause {
|
|
||||||
location: 35..68,
|
|
||||||
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..68,
|
|
||||||
then: ErrorTerm {
|
|
||||||
location: 47..68,
|
|
||||||
},
|
|
||||||
text: String {
|
|
||||||
location: 52..68,
|
|
||||||
value: "unimplemented",
|
|
||||||
},
|
|
||||||
},
|
|
||||||
},
|
|
||||||
],
|
|
||||||
}
|
|
|
@ -1,67 +0,0 @@
|
||||||
---
|
|
||||||
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",
|
|
||||||
},
|
|
||||||
},
|
|
||||||
},
|
|
||||||
],
|
|
||||||
}
|
|
Loading…
Reference in New Issue