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

chore: rust rover error

This commit is contained in:
rvcas 2023-09-13 21:29:05 -04:00
parent 7b915b7dcf
commit 1dea348a2e
No known key found for this signature in database
GPG Key ID: C09B64E263F7D68C
1 changed files with 5 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
crates/aiken/src/cmd/uplc/eval.rs
View File

@ -18,7 +18,7 @@ pub struct Args {
#[clap(short, long)] #[clap(short, long)]
cbor: bool, cbor: bool,
/// Arguments to pass to the uplc program /// Arguments to pass to the UPLC program
args: Vec<String>, args: Vec<String>,
} }
@ -54,10 +54,9 @@ pub fn exec(
}; };
for arg in args { for arg in args {
let term: Term<NamedDeBruijn> = parser::term(&arg) let term = parser::term(&arg).into_diagnostic()?;
.into_diagnostic()?
.try_into() let term = Term::<NamedDeBruijn>::try_from(term).into_diagnostic()?;
.into_diagnostic()?;
program = program.apply_term(&term); program = program.apply_term(&term);
} }
@ -71,7 +70,7 @@ pub fn exec(
match eval_result.result() { match eval_result.result() {
Ok(term) => { Ok(term) => {
let term: Term<Name> = term.try_into().into_diagnostic()?; let term = Term::<Name>::try_from(term).into_diagnostic()?;
let output = json!({ let output = json!({
"result": term.to_pretty(), "result": term.to_pretty(),