diff options
| author | M Farkas-Dyck <strake888@gmail.com> | 2022-03-13 16:10:21 -0800 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-09-19 09:07:05 -0400 |
| commit | c1f81b38625a5fea7fb8160a3a62ae6be078a7b1 (patch) | |
| tree | 7c151bc71e83e587df97265fd58c7a1b45574f8d /testsuite/tests/printer | |
| parent | 7574659452a864e762fa812cb38cf15f70d85617 (diff) | |
| download | haskell-c1f81b38625a5fea7fb8160a3a62ae6be078a7b1.tar.gz | |
Scrub partiality about `NewOrData`.
Rather than a list of constructors and a `NewOrData` flag, we define `data DataDefnCons a = NewTypeCon a | DataTypeCons [a]`, which enforces a newtype to have exactly one constructor.
Closes #22070.
Bump haddock submodule.
Diffstat (limited to 'testsuite/tests/printer')
| -rw-r--r-- | testsuite/tests/printer/T18791.stderr | 136 |
1 files changed, 69 insertions, 67 deletions
diff --git a/testsuite/tests/printer/T18791.stderr b/testsuite/tests/printer/T18791.stderr index f4264de86d..2d8d3060ab 100644 --- a/testsuite/tests/printer/T18791.stderr +++ b/testsuite/tests/printer/T18791.stderr @@ -67,78 +67,80 @@ (Prefix) (HsDataDefn (NoExtField) - (DataType) (Nothing) (Nothing) (Nothing) - [(L - (SrcSpanAnn (EpAnnNotUsed) { T18791.hs:5:3-17 }) - (ConDeclGADT - (EpAnn - (Anchor - { T18791.hs:5:3-17 } - (UnchangedAnchor)) - [] - (EpaComments - [])) - [(L - (SrcSpanAnn (EpAnnNotUsed) { T18791.hs:5:3-5 }) - (Unqual - {OccName: MkT}))] - (L - (TokenLoc - (EpaSpan { T18791.hs:5:7-8 })) - (HsNormalTok)) - (L - (SrcSpanAnn (EpAnnNotUsed) { T18791.hs:5:10-17 }) - (HsOuterImplicit - (NoExtField))) - (Nothing) - (PrefixConGADT - [(HsScaled - (HsUnrestrictedArrow - (L - (TokenLoc - (EpaSpan { T18791.hs:5:14-15 })) - (HsNormalTok))) - (L - (SrcSpanAnn (EpAnn - (Anchor - { T18791.hs:5:10-12 } - (UnchangedAnchor)) - (AnnListItem - []) - (EpaComments - [])) { T18791.hs:5:10-12 }) - (HsTyVar - (EpAnn - (Anchor - { T18791.hs:5:10-12 } - (UnchangedAnchor)) - [] - (EpaComments - [])) - (NotPromoted) - (L - (SrcSpanAnn (EpAnnNotUsed) { T18791.hs:5:10-12 }) - (Unqual - {OccName: Int})))))]) - (L - (SrcSpanAnn (EpAnnNotUsed) { T18791.hs:5:17 }) - (HsTyVar - (EpAnn - (Anchor - { T18791.hs:5:17 } - (UnchangedAnchor)) - [] - (EpaComments - [])) - (NotPromoted) + (DataTypeCons + [(L + (SrcSpanAnn (EpAnnNotUsed) { T18791.hs:5:3-17 }) + (ConDeclGADT + (EpAnn + (Anchor + { T18791.hs:5:3-17 } + (UnchangedAnchor)) + [] + (EpaComments + [])) + (:| (L - (SrcSpanAnn (EpAnnNotUsed) { T18791.hs:5:17 }) + (SrcSpanAnn (EpAnnNotUsed) { T18791.hs:5:3-5 }) (Unqual - {OccName: T})))) - (Nothing)))] + {OccName: MkT})) + []) + (L + (TokenLoc + (EpaSpan { T18791.hs:5:7-8 })) + (HsNormalTok)) + (L + (SrcSpanAnn (EpAnnNotUsed) { T18791.hs:5:10-17 }) + (HsOuterImplicit + (NoExtField))) + (Nothing) + (PrefixConGADT + [(HsScaled + (HsUnrestrictedArrow + (L + (TokenLoc + (EpaSpan { T18791.hs:5:14-15 })) + (HsNormalTok))) + (L + (SrcSpanAnn (EpAnn + (Anchor + { T18791.hs:5:10-12 } + (UnchangedAnchor)) + (AnnListItem + []) + (EpaComments + [])) { T18791.hs:5:10-12 }) + (HsTyVar + (EpAnn + (Anchor + { T18791.hs:5:10-12 } + (UnchangedAnchor)) + [] + (EpaComments + [])) + (NotPromoted) + (L + (SrcSpanAnn (EpAnnNotUsed) { T18791.hs:5:10-12 }) + (Unqual + {OccName: Int})))))]) + (L + (SrcSpanAnn (EpAnnNotUsed) { T18791.hs:5:17 }) + (HsTyVar + (EpAnn + (Anchor + { T18791.hs:5:17 } + (UnchangedAnchor)) + [] + (EpaComments + [])) + (NotPromoted) + (L + (SrcSpanAnn (EpAnnNotUsed) { T18791.hs:5:17 }) + (Unqual + {OccName: T})))) + (Nothing)))]) []))))])) |