Wolfgang Jeltsch pushed to branch wip/jeltsch/known-key-removals/lists at Glasgow Haskell Compiler / GHC
Commits:
-
22ad7992
by Wolfgang Jeltsch at 2025-12-20T15:56:50+02:00
2 changed files:
- testsuite/tests/typecheck/should_compile/holes.stderr
- testsuite/tests/typecheck/should_compile/holes3.stderr
Changes:
| ... | ... | @@ -74,8 +74,6 @@ holes.hs:11:15: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] |
| 74 | 74 | putStrLn :: String -> IO ()
|
| 75 | 75 | readFile :: FilePath -> IO String
|
| 76 | 76 | writeFile :: FilePath -> String -> IO ()
|
| 77 | - (++) :: forall a. [a] -> [a] -> [a]
|
|
| 78 | - filter :: forall a. (a -> Bool) -> [a] -> [a]
|
|
| 79 | 77 | fromInteger :: forall a. Num a => Integer -> a
|
| 80 | 78 | (-) :: forall a. Num a => a -> a -> a
|
| 81 | 79 | fromRational :: forall a. Fractional a => Rational -> a
|
| ... | ... | @@ -87,6 +85,7 @@ holes.hs:11:15: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] |
| 87 | 85 | Nothing :: forall a. Maybe a
|
| 88 | 86 | Just :: forall a. a -> Maybe a
|
| 89 | 87 | [] :: forall a. [a]
|
| 88 | + (++) :: forall a. [a] -> [a] -> [a]
|
|
| 90 | 89 | asTypeOf :: forall a. a -> a -> a
|
| 91 | 90 | id :: forall a. a -> a
|
| 92 | 91 | until :: forall a. (a -> Bool) -> (a -> a) -> a -> a
|
| ... | ... | @@ -102,6 +101,7 @@ holes.hs:11:15: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] |
| 102 | 101 | [a] -> [a]
|
| 103 | 102 | drop :: forall a. Int -> [a] -> [a]
|
| 104 | 103 | dropWhile :: forall a. (a -> Bool) -> [a] -> [a]
|
| 104 | + filter :: forall a. (a -> Bool) -> [a] -> [a]
|
|
| 105 | 105 | head :: forall a. GHC.Internal.Stack.Types.HasCallStack => [a] -> a
|
| 106 | 106 | init :: forall a.
|
| 107 | 107 | GHC.Internal.Stack.Types.HasCallStack =>
|
| ... | ... | @@ -171,7 +171,6 @@ holes.hs:11:15: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] |
| 171 | 171 | quot :: forall a. Integral a => a -> a -> a
|
| 172 | 172 | quotRem :: forall a. Integral a => a -> a -> (a, a)
|
| 173 | 173 | rem :: forall a. Integral a => a -> a -> a
|
| 174 | - zip :: forall a b. [a] -> [b] -> [(a, b)]
|
|
| 175 | 174 | map :: forall a b. (a -> b) -> [a] -> [b]
|
| 176 | 175 | realToFrac :: forall a b. (Real a, Fractional b) => a -> b
|
| 177 | 176 | Left :: forall a b. a -> Either a b
|
| ... | ... | @@ -184,6 +183,7 @@ holes.hs:11:15: warning: [GHC-88464] [-Wtyped-holes (in -Wdefault)] |
| 184 | 183 | scanl :: forall b a. (b -> a -> b) -> b -> [a] -> [b]
|
| 185 | 184 | scanr :: forall a b. (a -> b -> b) -> b -> [a] -> [b]
|
| 186 | 185 | unzip :: forall a b. [(a, b)] -> ([a], [b])
|
| 186 | + zip :: forall a b. [a] -> [b] -> [(a, b)]
|
|
| 187 | 187 | (^^) :: forall a b. (Fractional a, Integral b) => a -> b -> a
|
| 188 | 188 | ceiling :: forall a b. (RealFrac a, Integral b) => a -> b
|
| 189 | 189 | floor :: forall a b. (RealFrac a, Integral b) => a -> b
|
| ... | ... | @@ -77,8 +77,6 @@ holes3.hs:11:15: error: [GHC-88464] |
| 77 | 77 | putStrLn :: String -> IO ()
|
| 78 | 78 | readFile :: FilePath -> IO String
|
| 79 | 79 | writeFile :: FilePath -> String -> IO ()
|
| 80 | - (++) :: forall a. [a] -> [a] -> [a]
|
|
| 81 | - filter :: forall a. (a -> Bool) -> [a] -> [a]
|
|
| 82 | 80 | fromInteger :: forall a. Num a => Integer -> a
|
| 83 | 81 | (-) :: forall a. Num a => a -> a -> a
|
| 84 | 82 | fromRational :: forall a. Fractional a => Rational -> a
|
| ... | ... | @@ -90,6 +88,7 @@ holes3.hs:11:15: error: [GHC-88464] |
| 90 | 88 | Nothing :: forall a. Maybe a
|
| 91 | 89 | Just :: forall a. a -> Maybe a
|
| 92 | 90 | [] :: forall a. [a]
|
| 91 | + (++) :: forall a. [a] -> [a] -> [a]
|
|
| 93 | 92 | asTypeOf :: forall a. a -> a -> a
|
| 94 | 93 | id :: forall a. a -> a
|
| 95 | 94 | until :: forall a. (a -> Bool) -> (a -> a) -> a -> a
|
| ... | ... | @@ -105,6 +104,7 @@ holes3.hs:11:15: error: [GHC-88464] |
| 105 | 104 | [a] -> [a]
|
| 106 | 105 | drop :: forall a. Int -> [a] -> [a]
|
| 107 | 106 | dropWhile :: forall a. (a -> Bool) -> [a] -> [a]
|
| 107 | + filter :: forall a. (a -> Bool) -> [a] -> [a]
|
|
| 108 | 108 | head :: forall a. GHC.Internal.Stack.Types.HasCallStack => [a] -> a
|
| 109 | 109 | init :: forall a.
|
| 110 | 110 | GHC.Internal.Stack.Types.HasCallStack =>
|
| ... | ... | @@ -174,7 +174,6 @@ holes3.hs:11:15: error: [GHC-88464] |
| 174 | 174 | quot :: forall a. Integral a => a -> a -> a
|
| 175 | 175 | quotRem :: forall a. Integral a => a -> a -> (a, a)
|
| 176 | 176 | rem :: forall a. Integral a => a -> a -> a
|
| 177 | - zip :: forall a b. [a] -> [b] -> [(a, b)]
|
|
| 178 | 177 | map :: forall a b. (a -> b) -> [a] -> [b]
|
| 179 | 178 | realToFrac :: forall a b. (Real a, Fractional b) => a -> b
|
| 180 | 179 | Left :: forall a b. a -> Either a b
|
| ... | ... | @@ -187,6 +186,7 @@ holes3.hs:11:15: error: [GHC-88464] |
| 187 | 186 | scanl :: forall b a. (b -> a -> b) -> b -> [a] -> [b]
|
| 188 | 187 | scanr :: forall a b. (a -> b -> b) -> b -> [a] -> [b]
|
| 189 | 188 | unzip :: forall a b. [(a, b)] -> ([a], [b])
|
| 189 | + zip :: forall a b. [a] -> [b] -> [(a, b)]
|
|
| 190 | 190 | (^^) :: forall a b. (Fractional a, Integral b) => a -> b -> a
|
| 191 | 191 | ceiling :: forall a b. (RealFrac a, Integral b) => a -> b
|
| 192 | 192 | floor :: forall a b. (RealFrac a, Integral b) => a -> b
|