File tree Expand file tree Collapse file tree 1 file changed +0
-14
lines changed
libs/cardano-data/src/Data Expand file tree Collapse file tree 1 file changed +0
-14
lines changed Original file line number Diff line number Diff line change @@ -44,12 +44,7 @@ module Data.Universe (
44
44
45
45
import Data.Kind (Type )
46
46
import Data.Type.Equality (TestEquality (.. ), (:~:) (Refl ))
47
- #if __GLASGOW_HASKELL__ < 906
48
- import Type.Reflection (TypeRep , pattern App , pattern Con , pattern Fun )
49
- #else
50
- -- Ghc-9.6 removed the Fun constructor.
51
47
import Type.Reflection (TypeRep , pattern App , pattern Con )
52
- #endif
53
48
54
49
-- ==================================================
55
50
@@ -181,15 +176,6 @@ compareTypeRep (App x a) (App y b) =
181
176
case compareTypeRep x y of
182
177
EQ -> compareTypeRep a b
183
178
other -> other
184
- #if __GLASGOW_HASKELL__ < 906
185
- -- Ghc-9.6 removed the Fun constructor making these redundant.
186
- compareTypeRep (App _ _) _ = LT
187
- compareTypeRep _ (App _ _) = GT
188
- compareTypeRep (Fun x a) (Fun y b) =
189
- case compareTypeRep x y of
190
- EQ -> compareTypeRep a b
191
- other -> other
192
- #endif
193
179
194
180
instance Singleton TypeRep where
195
181
testEql = testEquality
You can’t perform that action at this time.
0 commit comments