fix(validate): use released uplc crate to enable publish

Author: scarmuega

pallas-validate/Cargo.toml

@@ -24,8 +24,8 @@ itertools = "0.14.0"
 tracing = "0.1.41"
 
 # phase2 dependencies
-uplc-turbo = { git = "https://github.com/txpipe/uplc-turbo.git", rev = "bd174b3", optional = true }
-# uplc-turbo = { path = "../../../pragma-org/uplc/crates/uplc", optional = true }
+pallas-uplc = { version = "0.1.0", optional = true }
+# pallas-uplc = { git = "https://github.com/txpipe/uplc-turbo.git", rev = "bd174b3", optional = true }
 
 [features]
-phase2 = ["uplc-turbo"]
+phase2 = ["pallas-uplc"]

pallas-validate/src/phase2/error.rs

@@ -1,5 +1,5 @@
 use pallas_primitives::{conway::Language, TransactionInput};
-use uplc_turbo::{
+use pallas_uplc::{
     binder::DeBruijn,
     flat::FlatDecodeError,
     machine::{self, ExBudget},

pallas-validate/src/phase2/script_context.rs

@@ -394,7 +394,7 @@ impl<'a> TxInfo<'a> {
         }
     }
 
-    pub fn inputs(&self) -> &[TxInInfo] {
+    pub fn inputs(&self) -> &[TxInInfo<'_>] {
         match self {
             TxInfo::V1(info) => &info.inputs,
             TxInfo::V2(info) => &info.inputs,
@@ -967,7 +967,7 @@ pub fn from_alonzo_value(value: &alonzo::Value) -> Value {
     }
 }
 
-pub fn from_alonzo_output(output: &alonzo::TransactionOutput) -> TransactionOutput {
+pub fn from_alonzo_output(output: &alonzo::TransactionOutput) -> TransactionOutput<'_> {
     TransactionOutput::PostAlonzo(
         PostAlonzoTransactionOutput {
             address: output.address.clone(),

pallas-validate/src/phase2/tx.rs

@@ -18,14 +18,11 @@ use pallas_primitives::{
 };
 use pallas_traverse::{MultiEraRedeemer, MultiEraTx};
 
-use tracing::{debug, instrument};
-use uplc_turbo::{
-    binder::DeBruijn,
-    bumpalo::Bump,
-    constant::{Constant, Integer},
-    data::PlutusData as PragmaPlutusData,
+use pallas_uplc::{
+    binder::DeBruijn, bumpalo::Bump, constant::Constant, data::PlutusData as PragmaPlutusData,
     term::Term,
 };
+use tracing::{debug, instrument};
 
 #[derive(Debug)]
 pub struct TxEvalResult {
@@ -69,7 +66,7 @@ pub fn map_pallas_data_to_pragma_data<'a>(
                 PragmaPlutusData::integer_from(arena, val)
             }
             pallas_primitives::BigInt::BigNInt(big_num_bytes) => {
-                let val = uplc_turbo::constant::integer_from_bytes_and_sign(
+                let val = pallas_uplc::constant::integer_from_bytes_and_sign(
                     arena,
                     big_num_bytes.as_slice(),
                     -1,
@@ -79,7 +76,7 @@ pub fn map_pallas_data_to_pragma_data<'a>(
             }
             // @TODO: recheck this implementations correctness
             pallas_primitives::BigInt::BigUInt(big_num_bytes) => {
-                let val = uplc_turbo::constant::integer_from_bytes_and_sign(
+                let val = pallas_uplc::constant::integer_from_bytes_and_sign(
                     arena,
                     big_num_bytes.as_slice(),
                     1,
@@ -168,7 +165,7 @@ fn execute_script(
         pallas_codec::minicbor::decode(&script_bytes)
             .map_err(pallas_codec::minicbor::decode::Error::from)?;
 
-    let program = uplc_turbo::flat::decode(&arena, &flat)?;
+    let program = pallas_uplc::flat::decode(&arena, &flat)?;
 
     let program = match script_context {
         ScriptContext::V1V2 { .. } => if let Some(datum_term) = datum_term {