Skip to content

Renumber the Leios mini-protocol messages from zero, without gaps - #2363

Merged
ch1bo merged 1 commit into
nfrisby/LeiosNotify-graceful-shutdownfrom
ch1bo/leios-protocol-message-indices
Oct 9, 2026
Merged

ch1bo merged 1 commit into
nfrisby/LeiosNotify-graceful-shutdownfrom
ch1bo/leios-protocol-message-indices

Renumber the Leios mini-protocol messages from zero, without gaps

c54515e
Select commit
Loading
Failed to load commit list.
IOG Hydra / ci/hydra-build:x86_64-linux.native.formattingLinting.hlint failed Oct 9, 2026 in 53s

Build failed

1 failed steps

Details

Failed Steps

Step 1

Derivation

/nix/store/0n624ypxc7dpabz7yy7hlxmfbm8snxni-hlint.drv

Log

unpacking source archive /nix/store/4f2v0q4rjqgwn0m641sfkrvv2knfys3y-1kafv79rpxq1j1zbplwf0vdicwcjw4by-source
source root is 1kafv79rpxq1j1zbplwf0vdicwcjw4by-source
ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Ledger/Ledger.hs:13:1-36: Warning: Unused LANGUAGE pragma
Found:
  {-# LANGUAGE OverloadedRecordDot #-}
Perhaps you should remove it.

ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Ledger/SupportsProtocol.hs:1:1-30: Warning: Unused LANGUAGE pragma
Found:
  {-# LANGUAGE TypeOperators #-}
Perhaps you should remove it.
Note: may require `{-# LANGUAGE ExplicitNamespaces #-}` adding to the top of the file

ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Protocol/Praos.hs:7:1-33: Warning: Unused LANGUAGE pragma
Found:
  {-# LANGUAGE TypeApplications #-}
Perhaps you should remove it.

ouroboros-consensus-cardano/src/unstable-shelley-testlib/Test/Consensus/Shelley/Generators.hs:10:1-33: Warning: Unused LANGUAGE pragma
Found:
  {-# LANGUAGE TypeApplications #-}
Perhaps you should remove it.

ouroboros-consensus-diffusion/src/ouroboros-consensus-diffusion/Ouroboros/Consensus/Network/NodeToNode.hs:10:1-33: Warning: Unused LANGUAGE pragma
Found:
  {-# LANGUAGE TypeApplications #-}
Perhaps you should remove it.

ouroboros-consensus-diffusion/test/consensus-test/Test/Consensus/Leios/RecoveryPath.hs:3:1-35: Warning: Unused LANGUAGE pragma
Found:
  {-# LANGUAGE NumericUnderscores #-}
Perhaps you should remove it.

ouroboros-consensus-protocol/src/ouroboros-consensus-protocol/Ouroboros/Consensus/Protocol/Praos/Common.hs:12:1-35: Warning: Unused LANGUAGE pragma
Found:
  {-# LANGUAGE StandaloneDeriving #-}
Perhaps you should remove it.

ouroboros-consensus-protocol/src/ouroboros-consensus-protocol/Ouroboros/Consensus/Protocol/Praos/Common.hs:14:1-33: Warning: Unused LANGUAGE pragma
Found:
  {-# LANGUAGE TypeApplications #-}
Perhaps you should remove it.

ouroboros-consensus-protocol/src/ouroboros-consensus-protocol/Ouroboros/Consensus/Protocol/Praos/Common.hs:16:1-29: Warning: Unused LANGUAGE pragma
Found:
  {-# LANGUAGE TypeFamilies #-}
Perhaps you should remove it.
Note: may require `{-# LANGUAGE MonoLocalBinds #-}` adding to the top of the file, may require `{-# LANGUAGE KindSignatures #-}` adding to the top of the file, may require `{-# LANGUAGE ExplicitNamespaces #-}` adding to the top of the file, Extension TypeFamilies is implied by TypeFamilyDependencies

ouroboros-consensus-protocol/src/ouroboros-consensus-protocol/Ouroboros/Consensus/Protocol/Praos/Views.hs:8:1-33: Warning: Unused LANGUAGE pragma
Found:
  {-# LANGUAGE TypeApplications #-}
Perhaps you should remove it.

ouroboros-consensus-protocol/src/unstable-protocol-testlib/Test/Consensus/Protocol/Serialisation/Generators.hs:4:1-33: Warning: Unused LANGUAGE pragma
Found:
  {-# LANGUAGE TypeApplications #-}
Perhaps you should remove it.

11 hints