cgibbard authored Nov 09, 2020 and Madeline Haraj committed Nov 16, 2020

The haddock submodule is also updated so that it understands the changes
to patterns.

Add documentation for type applications in patterns with an example

Disable Scopes test

Fix invalid scopes error

Add a bit more documentation and a few additional examples.

Remove ErrTypeAppInPat as it is no longer relevant.

Apply suggestion to docs/users_guide/exts/type_applications.rst

Apply suggestion to docs/users_guide/exts/type_applications.rst

Apply suggestion to docs/users_guide/exts/type_applications.rst

Apply suggestion to libraries/template-haskell/changelog.md

Add should-fail test for the case of a misplaced type application in a pattern.

Add comments/haddock for rnImplicitTvOccs and rnImplicitTvBndrs helping to contrast them.

Add a backwards-compatibility conP to Language.Haskell.TH.Lib

Implement toHie for Void with absurd.

Split Scopes test into working and expected-failing part.