Repository navigation
LeiosNotify: add MsgQuit and MsgCanceled for graceful shutdown - #2344
Merged
Merged
IOG Hydra / ci/hydra-build:x86_64-linux.native.formattingLinting.hlint
failed
Oct 9, 2026 in 35s
Build failed
1 failed steps
Details
Failed Steps
Step 1
Derivation
/nix/store/n9csgdcha0c364g216rxq140j9jyibs1-hlint.drv
Log
unpacking source archive /nix/store/hyfpzkn58lc539zvc6af0rp9yjcmwjz0-a2snwnbpdpyl4xgn53034qzh6vhf3cnh-source
source root is a2snwnbpdpyl4xgn53034qzh6vhf3cnh-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
Loading