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

chore: fix fmt

This commit is contained in:
rvcas 2024-03-07 19:32:33 -05:00
parent 8e558d893f
commit fab6d5aff7
No known key found for this signature in database
GPG Key ID: C09B64E263F7D68C
2 changed files with 9 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
crates/aiken-lang/src/tipo.rs
View File

@ -833,12 +833,10 @@ impl TypeVar {
Self::Link { tipo } => tipo.get_inner_types(), Self::Link { tipo } => tipo.get_inner_types(),
Self::Unbound { .. } => vec![], Self::Unbound { .. } => vec![],
var => { var => {
vec![ vec![Type::Var {
Type::Var { tipo: RefCell::new(var.clone()).into(),
tipo: RefCell::new(var.clone()).into(), }
} .into()]
.into(),
]
} }
} }
} }

14
crates/aiken-project/src/test_framework.rs
View File

@ -396,10 +396,8 @@ impl Prng {
fn as_prng(cst: &PlutusData) -> Prng { fn as_prng(cst: &PlutusData) -> Prng {
if let PlutusData::Constr(Constr { tag, fields, .. }) = cst { if let PlutusData::Constr(Constr { tag, fields, .. }) = cst {
if *tag == 121 + Prng::SEEDED { if *tag == 121 + Prng::SEEDED {
if let [ if let [PlutusData::BoundedBytes(bytes), PlutusData::BoundedBytes(choices)] =
PlutusData::BoundedBytes(bytes), &fields[..]
PlutusData::BoundedBytes(choices),
] = &fields[..]
{ {
return Prng::Seeded { return Prng::Seeded {
choices: choices.to_vec(), choices: choices.to_vec(),
@ -883,11 +881,9 @@ impl TryFrom<TypedExpr> for Assertion<TypedExpr> {
final_else, final_else,
.. ..
} => { } => {
if let [ if let [IfBranch {
IfBranch { condition, body, ..
condition, body, .. }] = &branches[..]
},
] = &branches[..]
{ {
let then_is_true = match body { let then_is_true = match body {
TypedExpr::Var { TypedExpr::Var {