Skip to content
Snippets Groups Projects
Commit 9f95db54 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Improve treatment of type applications in patterns 

This patch fixes a subtle bug in the typechecking of type
applications in patterns, e.g.
   f (MkT @Int @a x y) = ...

See Note [Type applications in patterns] in GHC.Tc.Gen.Pat.

This fixes #19847, #22383, #19577, #21501
parent f0eefa3c
Branches wip/T19847
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 411 additions and 105 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment