From 679fb3680f881e0994e9d8375d5380613e6fd82a Mon Sep 17 00:00:00 2001 From: Lucsanszky Date: Tue, 16 Apr 2024 16:14:26 +0200 Subject: [PATCH] Make the `utxoTransition` in Babbage more general --- .../babbage/impl/src/Cardano/Ledger/Babbage/Rules/Utxo.hs | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/eras/babbage/impl/src/Cardano/Ledger/Babbage/Rules/Utxo.hs b/eras/babbage/impl/src/Cardano/Ledger/Babbage/Rules/Utxo.hs index 2b2c994e07f..2f0d2774169 100644 --- a/eras/babbage/impl/src/Cardano/Ledger/Babbage/Rules/Utxo.hs +++ b/eras/babbage/impl/src/Cardano/Ledger/Babbage/Rules/Utxo.hs @@ -347,13 +347,17 @@ utxoTransition :: , BabbageEraTxBody era , AlonzoEraTxWits era , Tx era ~ AlonzoTx era - , EraRule "UTXO" era ~ BabbageUTXO era , InjectRuleFailure "UTXO" ShelleyUtxoPredFailure era , InjectRuleFailure "UTXO" AllegraUtxoPredFailure era , InjectRuleFailure "UTXO" AlonzoUtxoPredFailure era , InjectRuleFailure "UTXO" BabbageUtxoPredFailure era + , Environment (EraRule "UTXO" era) ~ UtxoEnv era + , State (EraRule "UTXO" era) ~ UTxOState era + , Signal (EraRule "UTXO" era) ~ AlonzoTx era + , BaseM (EraRule "UTXO" era) ~ ShelleyBase + , STS (EraRule "UTXO" era) , -- In this function we we call the UTXOS rule, so we need some assumptions - Embed (EraRule "UTXOS" era) (BabbageUTXO era) + Embed (EraRule "UTXOS" era) (EraRule "UTXO" era) , Environment (EraRule "UTXOS" era) ~ UtxoEnv era , State (EraRule "UTXOS" era) ~ UTxOState era , Signal (EraRule "UTXOS" era) ~ Tx era