Fold in leios testnet bugfixes from 20260708 stuck sync incident - #2112
Draft
nfrisby wants to merge 5 commits into
Draft
Fold in leios testnet bugfixes from 20260708 stuck sync incident#2112nfrisby wants to merge 5 commits into
nfrisby wants to merge 5 commits into
IOG Hydra / ci/hydra-build:x86_64-linux.native.formattingLinting.fourmolu
failed
Jul 9, 2026 in 13s
Build failed
1 failed steps
Details
Failed Steps
Step 1
Derivation
/nix/store/ppbq7bx9zc7966k2kjh8sabj6wj4dmw5-check-fourmolu-exe-fourmolu.drv
Log
unpacking source archive /nix/store/na18r0796h36ni6jbfnh2pcxy4nmwdk0-bpbg8i3dzdgkr7gfiwfsm5s29bqgn1ic-source
source root is bpbg8i3dzdgkr7gfiwfsm5s29bqgn1ic-source
The custom options for formatting this repo are:
fourmolu 0.18.0.0
using ghc-lib-parser 9.12.3.20251228
> indentation: 2
> column-limit: 100
> import-export-style: leading
> haddock-style: single-line
> single-constraint-parens: never
> single-deriving-parens: never
> import-grouping: single
Formatting haskell files...
Loaded config from: fourmolu.yaml
diff -ru /nix/store/na18r0796h36ni6jbfnh2pcxy4nmwdk0-bpbg8i3dzdgkr7gfiwfsm5s29bqgn1ic-source/ouroboros-consensus/src/ouroboros-consensus/LeiosDemoTypes.hs ./ouroboros-consensus/src/ouroboros-consensus/LeiosDemoTypes.hs
--- /nix/store/na18r0796h36ni6jbfnh2pcxy4nmwdk0-bpbg8i3dzdgkr7gfiwfsm5s29bqgn1ic-source/ouroboros-consensus/src/ouroboros-consensus/LeiosDemoTypes.hs 1970-01-01 00:00:01.000000000 +0000
+++ ./ouroboros-consensus/src/ouroboros-consensus/LeiosDemoTypes.hs 2026-07-09 09:30:32.727411207 +0000
@@ -213,7 +213,7 @@
data AcquiredLeiosEbs = AcquiredLeiosEbs
{ alebYoungestSlot :: !(Map EbHash SlotNo)
, alebBySlot :: !(Map SlotNo (NESet EbHash))
- -- ^ INVARIANT: is merely reverse index of 'alebYoungestSlot'
+ -- ^ INVARIANT: is merely reverse index of 'alebYoungestSlot'
}
deriving stock (Show, Generic)
@@ -226,8 +226,8 @@
emptyAcquiredLeiosEbs = AcquiredLeiosEbs Map.empty Map.empty
-- | Use the 'Map' as a 'Set' without allocating the 'Set'.
-data AcquiredLeiosEbsSet =
- forall x. MkAcquiredLeiosEbsSet !(Map EbHash x)
+data AcquiredLeiosEbsSet
+ = forall x. MkAcquiredLeiosEbsSet !(Map EbHash x)
acquiredLeiosEbHashes :: AcquiredLeiosEbs -> AcquiredLeiosEbsSet
acquiredLeiosEbHashes = MkAcquiredLeiosEbsSet . alebYoungestSlot
@@ -238,7 +238,7 @@
-- | NOT EXPORTED
--
-- An auxiliary for 'insertAcquiredLeiosEb'.
-newtype Alteration a b = MkAlteration (Maybe (a, b)) deriving (Functor)
+newtype Alteration a b = MkAlteration (Maybe (a, b)) deriving Functor
-- | 'Nothing' if unchanged; @'Just' (novel, st')@ otherwise, where @novel@ is
-- 'True' iff the EB was not present before. Only bumps the slot when strictly
@@ -247,17 +247,17 @@
LeiosPoint -> AcquiredLeiosEbs -> Maybe (Bool, AcquiredLeiosEbs)
insertAcquiredLeiosEb (MkLeiosPoint slot eb) (AcquiredLeiosEbs youngest bySlot) =
case mbAltered of
- Nothing -> Nothing
- Just ((novel, bySlot'), youngest') ->
- Just (novel, AcquiredLeiosEbs youngest' bySlot')
+ Nothing -> Nothing
+ Just ((novel, bySlot'), youngest') ->
+ Just (novel, AcquiredLeiosEbs youngest' bySlot')
where
MkAlteration mbAltered =
Map.alterF (fmap Just . MkAlteration . alteration) eb youngest
alteration = \case
- Nothing -> Just ((True, insertBucket slot eb bySlot), slot)
- Just prevSlot
- | slot <= prevSlot -> Nothing
- | otherwise ->
+ Nothing -> Just ((True, insertBucket slot eb bySlot), slot)
+ Just prevSlot
+ | slot <= prevSlot -> Nothing
+ | otherwise ->
Just ((False, insertBucket slot eb $ deleteBucket prevSlot eb bySlot), slot)
insertBucket s e = Map.insertWith NESet.union s (NESet.singleton e)
*** fourmolu-exe-fourmolu-0.18.0.0 found changes that need addressed first
Loading