/nix/store/g4acv8r5jf3f8hkx2ljid8pz8d8lrj8q-hlint.drv

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