diff options
| author | Alan Zimmerman <alan.zimm@gmail.com> | 2021-05-11 18:06:05 +0100 |
|---|---|---|
| committer | Alan Zimmerman <alan.zimm@gmail.com> | 2021-05-12 08:41:34 +0100 |
| commit | 59a4e14410805191d12be7f0d78619afaf6d5d6d (patch) | |
| tree | eb3af5cb333ea4b2fcedf3b55f9e874c76289aa8 /utils/check-exact | |
| parent | f0b73ddd8bdb663ab70043e9424a99d2454cdf77 (diff) | |
| download | haskell-wip/az/T19821.tar.gz | |
EPA: Fix incorrect SrcSpan for FamDeclwip/az/T19821
The SrcSpan for a type family declaration did not include the family
equations.
Closes #19821
Diffstat (limited to 'utils/check-exact')
| -rw-r--r-- | utils/check-exact/ExactPrint.hs | 6 | ||||
| -rw-r--r-- | utils/check-exact/Main.hs | 3 |
2 files changed, 7 insertions, 2 deletions
diff --git a/utils/check-exact/ExactPrint.hs b/utils/check-exact/ExactPrint.hs index 454db7fce4..e4319bebf0 100644 --- a/utils/check-exact/ExactPrint.hs +++ b/utils/check-exact/ExactPrint.hs @@ -2778,7 +2778,11 @@ instance ExactPrint (FamilyDecl GhcPs) where exact_top_level exactVanillaDeclHead an ltycon tyvars fixity Nothing exact_kind - mapM_ markAnnotated mb_inj + case mb_inj of + Nothing -> return () + Just inj -> do + markEpAnn an AnnVbar + markAnnotated inj case info of ClosedTypeFamily mb_eqns -> do markEpAnn an AnnWhere diff --git a/utils/check-exact/Main.hs b/utils/check-exact/Main.hs index 147747d560..f9883fee83 100644 --- a/utils/check-exact/Main.hs +++ b/utils/check-exact/Main.hs @@ -186,7 +186,8 @@ _tt = testOneFile changers "/home/alanz/mysrc/git.haskell.org/worktree/exactprin -- "../../testsuite/tests/ghc-api/exactprint/Windows.hs" Nothing -- "../../testsuite/tests/printer/Test19784.hs" Nothing -- "../../testsuite/tests/printer/Test19813.hs" Nothing - "../../testsuite/tests/printer/Test19814.hs" Nothing + -- "../../testsuite/tests/printer/Test19814.hs" Nothing + "../../testsuite/tests/printer/Test19821.hs" Nothing -- cloneT does not need a test, function can be retired |