Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC Commits: 5b97e5ce by Simon Hengel at 2025-11-27T17:55:37-05:00 Fix broken RankNTypes example in user's guide - - - - - 1 changed file: - docs/users_guide/exts/rank_polymorphism.rst Changes: ===================================== docs/users_guide/exts/rank_polymorphism.rst ===================================== @@ -195,7 +195,7 @@ For example: :: g3c :: Int -> forall x y. y -> x -> x f4 :: (Int -> forall a. (Eq a, Show a) => a -> a) -> Bool - g4 :: Int -> forall x. (Show x, Eq x) => x -> x) -> Bool + g4 :: Int -> forall x. (Show x, Eq x) => x -> x Then the application ``f3 g3a`` is well-typed, because ``g3a`` has a type that matches the type expected by ``f3``. But ``f3 g3b`` is not well typed, because the foralls are in different places. View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/5b97e5ceb2f068b86a4eb4dd13a36fb6... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/5b97e5ceb2f068b86a4eb4dd13a36fb6... You're receiving this email because of your account on gitlab.haskell.org.