Skip to content

Commit

Permalink
Remove unused pragmas
Browse files Browse the repository at this point in the history
  • Loading branch information
@jasagredo
jasagredo committed May 8, 2024
1 parent 7324734 commit b898aaa
Show file tree
Hide file tree
Showing 181 changed files with 991 additions and 595 deletions.
1 change: 1 addition & 0 deletions .hlint.yaml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,3 +13,4 @@

- warn: {name: Ouroboros.Consensus.MiniProtocol.ChainSync.Client should be imported qualified or with an explicit import list}
- error: {name: Data.SOP.Dict should be imported qualified or with an explicit import list}
- warn: {name: Unused LANGUAGE pragma}
28 changes: 14 additions & 14 deletions ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Crypto/DSIGN.hs
View file
Original file line number Diff line number Diff line change
@@ -1,17 +1,17 @@
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE DerivingVia #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveGeneric #-}

{-# LANGUAGE DerivingVia #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}

{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}

{-# LANGUAGE UndecidableInstances #-}

-- | Byron digital signatures.
module Ouroboros.Consensus.Byron.Crypto.DSIGN (
Expand Down
2 changes: 1 addition & 1 deletion ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Block.hs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE NamedFieldPuns #-}

{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
Expand Down
2 changes: 1 addition & 1 deletion ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Config.hs
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE NamedFieldPuns #-}

{-# LANGUAGE TypeFamilies #-}

{-# OPTIONS_GHC -Wno-orphans #-}
Expand Down
6 changes: 3 additions & 3 deletions ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Forge.hs
View file
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE LambdaCase #-}

{-# LANGUAGE NamedFieldPuns #-}
{-# LANGUAGE RecordWildCards #-}

{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}

{-# LANGUAGE TypeFamilies #-}

{-# OPTIONS_GHC -Wno-orphans #-}
Expand Down
6 changes: 3 additions & 3 deletions ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Inspect.hs
View file
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
{-# LANGUAGE MultiWayIf #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE MultiWayIf #-}

{-# LANGUAGE TypeFamilies #-}

{-# OPTIONS_GHC -Wno-orphans #-}

Expand Down
26 changes: 13 additions & 13 deletions ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Mempool.hs
View file
Original file line number Diff line number Diff line change
@@ -1,16 +1,16 @@
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DerivingVia #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE NamedFieldPuns #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DerivingVia #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}

{-# LANGUAGE LambdaCase #-}

{-# LANGUAGE OverloadedStrings #-}


{-# LANGUAGE TypeFamilies #-}

{-# OPTIONS_GHC -Wno-orphans #-}

Expand Down
2 changes: 1 addition & 1 deletion ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/PBFT.hs
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE TupleSections #-}

{-# LANGUAGE TypeFamilies #-}

{-# OPTIONS_GHC -Wno-orphans #-}
Expand Down
4 changes: 2 additions & 2 deletions ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Ledger/Serialisation.hs
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE DeriveGeneric #-}


{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE LambdaCase #-}
Expand Down
2 changes: 1 addition & 1 deletion ouroboros-consensus-cardano/src/byron/Ouroboros/Consensus/Byron/Node.hs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
{-# LANGUAGE NamedFieldPuns #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE TypeApplications #-}

{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE UndecidableInstances #-}

Expand Down
168 changes: 150 additions & 18 deletions ...ros-consensus-cardano/src/ouroboros-consensus-cardano/Ouroboros/Consensus/Cardano/Node.hs
View file
Original file line number Diff line number Diff line change
@@ -1,29 +1,29 @@
{-# LANGUAGE CPP #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE NamedFieldPuns #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE UndecidableSuperClasses #-}
{-# LANGUAGE CPP #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE NamedFieldPuns #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}

{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE UndecidableSuperClasses #-}
{-# OPTIONS_GHC -Wno-orphans #-}

-- Disable completeness checks on GHC versions pre-9.6, where this can be
-- exceptionally slow:
#if __GLASGOW_HASKELL__ <= 906

{-# OPTIONS_GHC -Wno-incomplete-patterns
-Wno-incomplete-uni-patterns
-Wno-incomplete-record-updates
-Wno-overlapping-patterns #-}
#endif


-- TODO: this is required for ghc-8.10.7, because using NamedFieldPuns and
-- PatternSynonyms with record syntax results in warnings related to shadowing.
Expand Down Expand Up @@ -684,6 +684,138 @@ protocolInfoCardano paramsCardano
where
protVers :: Exactly (CardanoShelleyEras StandardCrypto) ProtVer
protVers = Exactly $
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!

-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!

-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!

-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!

-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!

-- ensure that these have the same order as 'CardanoShelleyEras'!
-- ensure that these have the same order as 'CardanoShelleyEras'!

-- ensure that these have the same order as 'CardanoShelleyEras'!
K protVerShelley :*
K protVerAllegra :*
Expand Down
4 changes: 2 additions & 2 deletions ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Eras.hs
View file
Original file line number Diff line number Diff line change
@@ -1,12 +1,12 @@
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveAnyClass #-}

{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE OverloadedStrings #-}

{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
Expand Down
2 changes: 1 addition & 1 deletion ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Ledger/Block.hs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
{-# LANGUAGE GADTs #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE OverloadedStrings #-}

{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE TypeApplications #-}
Expand Down
2 changes: 1 addition & 1 deletion ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Ledger/Inspect.hs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE TypeApplications #-}

{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE UndecidableInstances #-}

Expand Down
4 changes: 2 additions & 2 deletions ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Ledger/Mempool.hs
View file
Original file line number Diff line number Diff line change
@@ -1,14 +1,14 @@
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveAnyClass #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DerivingStrategies #-}

{-# LANGUAGE DerivingVia #-}
{-# LANGUAGE DisambiguateRecordFields #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE NamedFieldPuns #-}

{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE Rank2Types #-}
{-# LANGUAGE ScopedTypeVariables #-}
Expand Down
2 changes: 1 addition & 1 deletion ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Ledger/Query.hs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE NamedFieldPuns #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE PatternSynonyms #-}

{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE StandaloneDeriving #-}
Expand Down
2 changes: 1 addition & 1 deletion ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Node/Common.hs
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DeriveGeneric #-}

{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE GADTs #-}
Expand Down
2 changes: 1 addition & 1 deletion ...ros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Node/DiffusionPipelining.hs
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE LambdaCase #-}

{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE TypeApplications #-}
Expand Down

0 comments on commit b898aaa

Please sign in to comment.