diff options
| author | Alan Zimmerman <alan.zimm@gmail.com> | 2021-05-16 14:58:45 +0100 |
|---|---|---|
| committer | Alan Zimmerman <alan.zimm@gmail.com> | 2021-06-14 19:14:47 +0100 |
| commit | 317ba50a2a629fc5c4753cc92ec40f13f46451dd (patch) | |
| tree | e00ac36dfd9416d481ead9363abfac51750c1aee /utils/check-exact/ExactPrint.hs | |
| parent | 6001efd14eb931fac14bfa2b5d6daa4b7b32c85d (diff) | |
| download | haskell-ghc-9.2-az-4.tar.gz | |
EPA: AnnAt missing for type application in patternsghc-9.2-az-4
Ensure that the exact print annotations accurately record the `@` for
code like
tyApp :: Con k a -> Proxy a
tyApp (Con @kx @ax (x :: Proxy ax)) = x :: Proxy (ax :: kx)
Closes #19850
(cherry picked from commit 92cb7711f8dca14701aaa702199418c3063f5ede)
Diffstat (limited to 'utils/check-exact/ExactPrint.hs')
| -rw-r--r-- | utils/check-exact/ExactPrint.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/utils/check-exact/ExactPrint.hs b/utils/check-exact/ExactPrint.hs index 49104ec964..53286e1a81 100644 --- a/utils/check-exact/ExactPrint.hs +++ b/utils/check-exact/ExactPrint.hs @@ -3797,7 +3797,9 @@ instance ExactPrint (Pat GhcPs) where instance ExactPrint (HsPatSigType GhcPs) where getAnnotationEntry = const NoEntryVal - exact (HsPS _ ty) = markAnnotated ty + exact (HsPS an ty) = do + markAnnKw an id AnnAt + markAnnotated ty -- --------------------------------------------------------------------- |