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

Fix formatting

This commit is contained in:
Niels Mündler 2023-12-14 15:25:12 +01:00 committed by Kasey
parent 4c60be368e
commit 7b452c21f0
2 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
crates/aiken/src/cmd/uplc/mod.rs
View File

@ -23,7 +23,7 @@ pub enum Cmd {
#[clap(alias = "unflat")] #[clap(alias = "unflat")]
Decode(decode::Args), Decode(decode::Args),
#[clap(alias = "optimize")] #[clap(alias = "optimize")]
Shrink(shrink::Args) Shrink(shrink::Args),
} }
pub fn exec(cmd: Cmd) -> miette::Result<()> { pub fn exec(cmd: Cmd) -> miette::Result<()> {

4
crates/aiken/src/cmd/uplc/shrink.rs
View File

@ -1,5 +1,5 @@
use miette::IntoDiagnostic; use miette::IntoDiagnostic;
use std::{path::PathBuf}; use std::path::PathBuf;
use uplc::ast::{DeBruijn, Name, NamedDeBruijn, Program}; use uplc::ast::{DeBruijn, Name, NamedDeBruijn, Program};
use uplc::optimize::aiken_optimize_and_intern; use uplc::optimize::aiken_optimize_and_intern;
@ -63,7 +63,6 @@ pub fn exec(
}; };
program.try_into().unwrap() program.try_into().unwrap()
} }
Format::Debruijn => { Format::Debruijn => {
let program: Program<DeBruijn> = if cbor { let program: Program<DeBruijn> = if cbor {
@ -74,7 +73,6 @@ pub fn exec(
}; };
program.try_into().unwrap() program.try_into().unwrap()
} }
}; };