diff options
author | Alan Zimmerman <alan.zimm@gmail.com> | 2023-01-15 15:26:39 +0000 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-01-16 20:52:39 -0500 |
commit | 97ac8230b0a645aae27b7ee42aa55b0c84735684 (patch) | |
tree | ad071fbbaa2bfdc044c4ed786369b38c64f034c7 /utils | |
parent | 97bd4d8c03fe74a7642f617db12bbee2215e24e6 (diff) | |
download | haskell-97ac8230b0a645aae27b7ee42aa55b0c84735684.tar.gz |
EPA: Add annotation for 'type' in DataDecl
Closes #22765
Diffstat (limited to 'utils')
-rw-r--r-- | utils/check-exact/ExactPrint.hs | 10 | ||||
-rw-r--r-- | utils/check-exact/Main.hs | 3 |
2 files changed, 9 insertions, 4 deletions
diff --git a/utils/check-exact/ExactPrint.hs b/utils/check-exact/ExactPrint.hs index df7fdfda1e..0724da1ef9 100644 --- a/utils/check-exact/ExactPrint.hs +++ b/utils/check-exact/ExactPrint.hs @@ -3643,9 +3643,13 @@ exactDataDefn an exactHdr an' <- annotationsToComments an lidl [AnnOpenP, AnnCloseP] - an0 <- markEpAnnL an' lidl $ case condecls of - DataTypeCons _ _ -> AnnData - NewTypeCon _ -> AnnNewtype + an0 <- case condecls of + DataTypeCons is_type_data _ -> do + an0' <- if is_type_data + then markEpAnnL an' lidl AnnType + else return an' + markEpAnnL an0' lidl AnnData + NewTypeCon _ -> markEpAnnL an' lidl AnnNewtype an1 <- markEpAnnL an0 lidl AnnInstance -- optional mb_ct' <- mapM markAnnotated mb_ct diff --git a/utils/check-exact/Main.hs b/utils/check-exact/Main.hs index ab12ac4c09..d9d7feceac 100644 --- a/utils/check-exact/Main.hs +++ b/utils/check-exact/Main.hs @@ -203,7 +203,8 @@ _tt = testOneFile changers "/home/alanz/mysrc/git.haskell.org/worktree/master/_b -- "../../testsuite/tests/ghc-api/exactprint/Test20239.hs" Nothing -- "../../testsuite/tests/printer/PprArrowLambdaCase.hs" Nothing -- "../../testsuite/tests/printer/Test16279.hs" Nothing - "../../testsuite/tests/printer/HsDocTy.hs" Nothing + -- "../../testsuite/tests/printer/HsDocTy.hs" Nothing + "../../testsuite/tests/printer/Test22765.hs" Nothing -- cloneT does not need a test, function can be retired |