From 97ac8230b0a645aae27b7ee42aa55b0c84735684 Mon Sep 17 00:00:00 2001 From: Alan Zimmerman Date: Sun, 15 Jan 2023 15:26:39 +0000 Subject: EPA: Add annotation for 'type' in DataDecl Closes #22765 --- utils/check-exact/ExactPrint.hs | 10 +++++++--- utils/check-exact/Main.hs | 3 ++- 2 files changed, 9 insertions(+), 4 deletions(-) (limited to 'utils') 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 -- cgit v1.2.1