/nix/store/kl8znnp7yh7dp5sv3ipisvzhiazq6a83-hlint.drv

unpacking source archive /nix/store/vqn98yhv4brhxfgal4adq7mi1kizrvp1-q8r5249hkz16wmv6c23xvqsjp1j88hsm-source
source root is q8r5249hkz16wmv6c23xvqsjp1j88hsm-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