waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Remove redundant match on tuple blueprint generation.

This commit is contained in:
KtorZ 2023-03-08 16:40:03 +01:00
parent 2c987e289d
commit a66c9bd2c3
No known key found for this signature in database
GPG Key ID: 33173CB6F77F4277
2 changed files with 16 additions and 29 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
crates/aiken-project/src/blueprint/schema.rs
View File

@ -250,21 +250,7 @@ impl Annotated<Schema> {
Err(Error::new(ErrorContext::UnboundTypeVariable, type_info))
}
},
Type::Tuple { elems } => match &elems[..] {
[left, right] => {
let left = Annotated::from_type(modules, left, type_parameters)?
.into_data(left)
.map_err(|e| e.backtrack(type_info))?;
let right = Annotated::from_type(modules, right, type_parameters)?
.into_data(right)
.map_err(|e| e.backtrack(type_info))?;
Ok(Schema::Data(Data::List(Items::Many(vec![
left.annotated,
right.annotated,
])))
.into())
}
_ => {
Type::Tuple { elems } => {
let elems = elems
.iter()
.map(|e| {
@ -273,13 +259,13 @@ impl Annotated<Schema> {
})
.collect::<Result<Vec<_>, _>>()
.map_err(|e| e.backtrack(type_info))?;
Ok(Annotated {
title: Some("Tuple".to_owned()),
description: None,
annotated: Schema::Data(Data::List(Items::Many(elems))),
})
}
},
Type::Fn { .. } => Err(Error::new(ErrorContext::UnexpectedFunction, type_info)),
}
}

1
crates/aiken-project/src/blueprint/validator.rs
View File

@ -470,6 +470,7 @@ mod test {
"title": "test_module.spend",
"hash": "3c6766e7a36df2aa13c0e9e6e071317ed39d05f405771c4f1a81c6cc",
"datum": {
"title": "Tuple",
"schema": {
"dataType": "list",
"items": [