Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC
Commits:
-
5b97e5ce
by Simon Hengel at 2025-11-27T17:55:37-05:00
1 changed file:
Changes:
| ... | ... | @@ -195,7 +195,7 @@ For example: :: |
| 195 | 195 | g3c :: Int -> forall x y. y -> x -> x
|
| 196 | 196 | |
| 197 | 197 | f4 :: (Int -> forall a. (Eq a, Show a) => a -> a) -> Bool
|
| 198 | - g4 :: Int -> forall x. (Show x, Eq x) => x -> x) -> Bool
|
|
| 198 | + g4 :: Int -> forall x. (Show x, Eq x) => x -> x
|
|
| 199 | 199 | |
| 200 | 200 | Then the application ``f3 g3a`` is well-typed, because ``g3a`` has a type that matches the type
|
| 201 | 201 | expected by ``f3``. But ``f3 g3b`` is not well typed, because the foralls are in different places.
|