fix: remove BadTerm

crates/uplc/src/tx/error.rs

@@ -1,14 +1,9 @@
-use crate::{
+use crate::machine::{self, cost_model::ExBudget};
-    ast::{NamedDeBruijn, Term},
-    machine::{self, cost_model::ExBudget},
-};
 
 #[derive(thiserror::Error, Debug)]
 pub enum Error {
     #[error("{0}")]
     Address(#[from] pallas_addresses::Error),
-    #[error("{}\n\n{:#?}\n\n{}", .0, .1, .2.join("\n"))]
-    BadTerm(Term<NamedDeBruijn>, ExBudget, Vec<String>),
     #[error("Only shelley reward addresses can be a part of withdrawals")]
     BadWithdrawalAddress,
     #[error("{0}")]

crates/uplc/src/tx/eval.rs

@@ -652,11 +652,7 @@ pub fn eval_redeemer(
                 };
 
                 match result {
-                    Ok(term) => {
+                    Ok(_) => (),
-                        if !term.is_valid_script_result() {
-                            return Err(Error::BadTerm(term, budget, logs));
-                        }
-                    }
                     Err(err) => return Err(Error::Machine(err, budget, logs)),
                 }
 
@@ -707,11 +703,7 @@ pub fn eval_redeemer(
                 };
 
                 match result {
-                    Ok(term) => {
+                    Ok(_) => (),
-                        if !term.is_valid_script_result() {
-                            return Err(Error::BadTerm(term, budget, logs));
-                        }
-                    }
                     Err(err) => return Err(Error::Machine(err, budget, logs)),
                 }
 
@@ -764,11 +756,7 @@ pub fn eval_redeemer(
                 };
 
                 match result {
-                    Ok(term) => {
+                    Ok(_) => (),
-                        if !term.is_valid_script_result() {
-                            return Err(Error::BadTerm(term, budget, logs));
-                        }
-                    }
                     Err(err) => return Err(Error::Machine(err, budget, logs)),
                 }
 
@@ -818,11 +806,7 @@ pub fn eval_redeemer(
                 };
 
                 match result {
-                    Ok(term) => {
+                    Ok(_) => (),
-                        if !term.is_valid_script_result() {
-                            return Err(Error::BadTerm(term, budget, logs));
-                        }
-                    }
                     Err(err) => return Err(Error::Machine(err, budget, logs)),
                 }