-
Ryan Scott authored
Summary: This documents the status quo with regards to how `ScopedTypeVariables` brings into scope type variables that are quantified by nested `forall`s (that is to say, it doesn't). This takes the prose in https://ghc.haskell.org/trac/ghc/ticket/14288#comment:5 and enshrines it into the users' guide. Test Plan: Read it Reviewers: simonpj, bgamari Reviewed By: simonpj Subscribers: rwbarton, thomie, carter GHC Trac Issues: #14288 Differential Revision: https://phabricator.haskell.org/D4272
b6304f8f