WIP

Author: jasagredo

cabal.project

@@ -14,7 +14,7 @@ repository cardano-haskell-packages
 -- update either of these.
 index-state:
   -- Bump this if you need newer packages from Hackage
-  , hackage.haskell.org 2025-01-14T03:16:27Z
+  , hackage.haskell.org 2025-03-18T17:41:11Z
   -- Bump this if you need newer packages from CHaP
   , cardano-haskell-packages 2025-03-25T12:18:59Z
 
@@ -75,3 +75,5 @@ if impl (ghc >= 9.12)
     , ouroboros-network-api:base
     , network-mux:base
     , ouroboros-network:base
+
+    , with-utf8:base

ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/ByronHFC.hs

@@ -280,8 +280,6 @@ instance SerialiseNodeToClient ByronBlock ByronPartialLedgerConfig where
       <$> fromCBOR @(LedgerConfig ByronBlock)
       <*> decodeNodeToClient ccfg version
 
-
-
 {-------------------------------------------------------------------------------
   Canonical TxIn
 -------------------------------------------------------------------------------}
@@ -300,10 +298,10 @@ instance HasCanonicalTxIn '[ByronBlock] where
 
 instance HasHardForkTxOut '[ByronBlock] where
   type instance HardForkTxOut '[ByronBlock] = Void
-  injectHardForkTxOut IZ txout    = absurd txout
-  injectHardForkTxOut (IS idx') _ = case idx' of {}
-  ejectHardForkTxOut IZ txout    = absurd txout
-  ejectHardForkTxOut (IS idx') _ = case idx' of {}
+  injectHardForkTxOut  IZ       txout = absurd txout
+  injectHardForkTxOut (IS idx') _     = case idx' of {}
+  ejectHardForkTxOut   IZ       txout = absurd txout
+  ejectHardForkTxOut  (IS idx') _     = case idx' of {}
 
 deriving via Void
     instance IndexedMemPack (LedgerState (HardForkBlock '[ByronBlock]) EmptyMK) Void

ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Eras.hs

@@ -152,9 +152,6 @@ class ( Core.EraSegWits era
 
       , ToCBOR (Core.TranslationContext era)
       , FromCBOR (Core.TranslationContext era)
-      , DecCBOR SL.TxIn
-      , EncCBOR SL.TxIn
-
       ) => ShelleyBasedEra era where
 
   applyShelleyBasedTx ::

sop-extras/changelog.d/utxo-hd.md

@@ -1,4 +1,6 @@
 ### Breaking
 
 - Delete the `K2` combinator.
-- Define `Fn2`.
+- Define `Fn2` and add `composeFromTo`.
+- Define `telescopeMismatch`.
+- Define `inPairsToTails` and `extendWithTails`.