Skip to content

Commit 8023c8d

Browse files
committed
remove unused LANGUAGE pragmas
1 parent 1c0864c commit 8023c8d

File tree

4 files changed

+0
-4
lines changed
  • ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Node
  • ouroboros-consensus-protocol/src/ouroboros-consensus-protocol/Ouroboros/Consensus/Protocol

4 files changed

+0
-4
lines changed

ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Node/TPraos.hs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,6 @@
1010
{-# LANGUAGE ScopedTypeVariables #-}
1111
{-# LANGUAGE TypeApplications #-}
1212
{-# LANGUAGE TypeFamilies #-}
13-
{-# LANGUAGE TypeOperators #-}
1413
{-# LANGUAGE UndecidableInstances #-}
1514
{-# LANGUAGE UndecidableSuperClasses #-}
1615
{-# OPTIONS_GHC -Wno-orphans #-}

ouroboros-consensus-protocol/src/ouroboros-consensus-protocol/Ouroboros/Consensus/Protocol/Praos.hs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,6 @@
1010
{-# LANGUAGE StandaloneDeriving #-}
1111
{-# LANGUAGE TypeApplications #-}
1212
{-# LANGUAGE TypeFamilies #-}
13-
{-# LANGUAGE TypeOperators #-}
1413
{-# LANGUAGE UndecidableInstances #-}
1514
{-# LANGUAGE UndecidableSuperClasses #-}
1615
{-# LANGUAGE ViewPatterns #-}

ouroboros-consensus-protocol/src/ouroboros-consensus-protocol/Ouroboros/Consensus/Protocol/Praos/AgentClient.hs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,6 @@
66
{-# LANGUAGE ScopedTypeVariables #-}
77
{-# LANGUAGE TypeApplications #-}
88
{-# LANGUAGE TypeFamilies #-}
9-
{-# LANGUAGE TypeOperators #-}
109
{-# LANGUAGE TypeSynonymInstances #-}
1110
{-# OPTIONS_GHC -Wno-orphans #-}
1211

ouroboros-consensus-protocol/src/ouroboros-consensus-protocol/Ouroboros/Consensus/Protocol/Praos/Common.hs

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,6 @@
77
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
88
{-# LANGUAGE LambdaCase #-}
99
{-# LANGUAGE ScopedTypeVariables #-}
10-
{-# LANGUAGE TypeApplications #-}
1110
{-# LANGUAGE TypeFamilies #-}
1211
{-# LANGUAGE TypeOperators #-}
1312
{-# LANGUAGE UndecidableInstances #-}

0 commit comments

Comments
 (0)