We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent c3d4f5d commit afa7458Copy full SHA for afa7458
libs/cardano-ledger-core/src/Cardano/Ledger/Core/Era.hs
@@ -75,9 +75,6 @@ class
75
-- protocol version for the era, otherwise we can never upgrade to the next version:
76
CmpNat (ProtVerLow era) MaxVersion ~ 'LT
77
, CmpNat (ProtVerHigh era) MaxVersion ~ 'LT
78
- , -- These two are redundant and can be removed once support for GHC-8.10 is dropped:
79
- ProtVerLow era <= MaxVersion
80
- , ProtVerHigh era <= MaxVersion
81
) =>
82
Era era
83
where
0 commit comments