@@ -642,7 +642,7 @@ typeWildCardActionTests = testGroup "type wildcard actions"
642
642
[ " func :: _"
643
643
, " func x = x"
644
644
]
645
- [ " func :: p -> p"
645
+ [ if ghcVersion >= GHC910 then " func :: t -> t " else " func :: p -> p"
646
646
, " func x = x"
647
647
]
648
648
, testUseTypeSignature " local signature"
@@ -662,9 +662,12 @@ typeWildCardActionTests = testGroup "type wildcard actions"
662
662
[ " func :: _"
663
663
, " func x y = x + y"
664
664
]
665
- [ if ghcVersion >= GHC98
666
- then " func :: a -> a -> a" -- since 9.8 GHC no longer does type defaulting (see https://gitlab.haskell.org/ghc/ghc/-/issues/24522)
667
- else " func :: Integer -> Integer -> Integer"
665
+ [ if ghcVersion >= GHC910 then
666
+ " func :: t -> t -> t"
667
+ else if ghcVersion >= GHC98 then
668
+ " func :: a -> a -> a" -- since 9.8 GHC no longer does type defaulting (see https://gitlab.haskell.org/ghc/ghc/-/issues/24522)
669
+ else
670
+ " func :: Integer -> Integer -> Integer"
668
671
, " func x y = x + y"
669
672
]
670
673
, testUseTypeSignature " type in parentheses"
@@ -692,9 +695,12 @@ typeWildCardActionTests = testGroup "type wildcard actions"
692
695
[ " func::_"
693
696
, " func x y = x + y"
694
697
]
695
- [ if ghcVersion >= GHC98
696
- then " func::a -> a -> a" -- since 9.8 GHC no longer does type defaulting (see https://gitlab.haskell.org/ghc/ghc/-/issues/24522)
697
- else " func::Integer -> Integer -> Integer"
698
+ [ if ghcVersion >= GHC910 then
699
+ " func::t -> t -> t"
700
+ else if ghcVersion >= GHC98 then
701
+ " func::a -> a -> a" -- since 9.8 GHC no longer does type defaulting (see https://gitlab.haskell.org/ghc/ghc/-/issues/24522)
702
+ else
703
+ " func::Integer -> Integer -> Integer"
698
704
, " func x y = x + y"
699
705
]
700
706
, testGroup " add parens if hole is part of bigger type"
0 commit comments