diff options
author | Alan Zimmerman <alan.zimm@gmail.com> | 2021-02-21 21:23:40 +0000 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-03-20 07:48:38 -0400 |
commit | 95275a5f25a2e70b71240d4756109180486af1b1 (patch) | |
tree | eb4801bb0e00098b8b9d513479de4fbbd779ddac /testsuite/tests/parser/should_compile | |
parent | f940fd466a86c2f8e93237b36835797be3f3c898 (diff) | |
download | haskell-95275a5f25a2e70b71240d4756109180486af1b1.tar.gz |
GHC Exactprint main commit
Metric Increase:
T10370
parsing001
Updates haddock submodule
Diffstat (limited to 'testsuite/tests/parser/should_compile')
-rw-r--r-- | testsuite/tests/parser/should_compile/DumpParsedAst.stderr | 879 | ||||
-rw-r--r-- | testsuite/tests/parser/should_compile/DumpRenamedAst.stderr | 910 | ||||
-rw-r--r-- | testsuite/tests/parser/should_compile/DumpTypecheckedAst.stderr | 1368 | ||||
-rw-r--r-- | testsuite/tests/parser/should_compile/KindSigs.stderr | 1369 | ||||
-rw-r--r-- | testsuite/tests/parser/should_compile/T14189.stderr | 142 | ||||
-rw-r--r-- | testsuite/tests/parser/should_compile/T15279.stderr | 5 | ||||
-rw-r--r-- | testsuite/tests/parser/should_compile/T15323.stderr | 210 | ||||
-rw-r--r-- | testsuite/tests/parser/should_compile/all.T | 7 |
8 files changed, 3788 insertions, 1102 deletions
diff --git a/testsuite/tests/parser/should_compile/DumpParsedAst.stderr b/testsuite/tests/parser/should_compile/DumpParsedAst.stderr index 640adcb50b..9c6885620d 100644 --- a/testsuite/tests/parser/should_compile/DumpParsedAst.stderr +++ b/testsuite/tests/parser/should_compile/DumpParsedAst.stderr @@ -1,19 +1,57 @@ ==================== Parser AST ==================== -({ DumpParsedAst.hs:1:1 } +(L + { DumpParsedAst.hs:1:1 } (HsModule + (ApiAnn + (Anchor + { DumpParsedAst.hs:1:1 } + (UnchangedAnchor)) + (AnnsModule + [(AddApiAnn AnnModule (AR { DumpParsedAst.hs:5:1-6 })) + ,(AddApiAnn AnnWhere (AR { DumpParsedAst.hs:5:22-26 }))] + (AnnList + (Nothing) + (Nothing) + (Nothing) + [] + [])) + (AnnCommentsBalanced + [] + [(L + (Anchor + { DumpParsedAst.hs:21:1 } + (UnchangedAnchor)) + (AnnComment + (AnnEofComment) + { DumpParsedAst.hs:21:1 }))])) (VirtualBraces (1)) (Just - ({ DumpParsedAst.hs:5:8-20 } + (L + { DumpParsedAst.hs:5:8-20 } {ModuleName: DumpParsedAst})) (Nothing) - [({ DumpParsedAst.hs:6:1-16 } + [(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:6:1-16 }) (ImportDecl - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:6:1-6 } + (UnchangedAnchor)) + (ApiAnnImportDecl + (AR { DumpParsedAst.hs:6:1-6 }) + (Nothing) + (Nothing) + (Nothing) + (Nothing) + (Nothing)) + (AnnComments + [])) (NoSourceText) - ({ DumpParsedAst.hs:6:8-16 } + (L + { DumpParsedAst.hs:6:8-16 } {ModuleName: Data.Kind}) (Nothing) (NotBoot) @@ -22,12 +60,28 @@ (False) (Nothing) (Nothing)))] - [({ DumpParsedAst.hs:8:1-30 } + [(L + (SrcSpanAnn (ApiAnn + (Anchor + { DumpParsedAst.hs:8:1-30 } + (UnchangedAnchor)) + (AnnListItem + []) + (AnnComments + [])) { DumpParsedAst.hs:8:1-30 }) (TyClD (NoExtField) (DataDecl - (NoExtField) - ({ DumpParsedAst.hs:8:6-10 } + (ApiAnn + (Anchor + { DumpParsedAst.hs:8:1-30 } + (UnchangedAnchor)) + [(AddApiAnn AnnData (AR { DumpParsedAst.hs:8:1-4 })) + ,(AddApiAnn AnnEqual (AR { DumpParsedAst.hs:8:12 }))] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:8:6-10 }) (Unqual {OccName: Peano})) (HsQTvs @@ -35,407 +89,855 @@ []) (Prefix) (HsDataDefn - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:8:1-30 } + (UnchangedAnchor)) + [(AddApiAnn AnnData (AR { DumpParsedAst.hs:8:1-4 })) + ,(AddApiAnn AnnEqual (AR { DumpParsedAst.hs:8:12 }))] + (AnnComments + [])) (DataType) (Nothing) (Nothing) (Nothing) - [({ DumpParsedAst.hs:8:14-17 } + [(L + (SrcSpanAnn (ApiAnn + (Anchor + { DumpParsedAst.hs:8:14-17 } + (UnchangedAnchor)) + (AnnListItem + [(AddVbarAnn + (AR { DumpParsedAst.hs:8:19 }))]) + (AnnComments + [])) { DumpParsedAst.hs:8:14-17 }) (ConDeclH98 - (NoExtField) - ({ DumpParsedAst.hs:8:14-17 } + (ApiAnn + (Anchor + { DumpParsedAst.hs:8:14-17 } + (UnchangedAnchor)) + [] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:8:14-17 }) (Unqual {OccName: Zero})) - ({ <no location info> } - (False)) + (False) [] (Nothing) (PrefixCon [] []) (Nothing))) - ,({ DumpParsedAst.hs:8:21-30 } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:8:21-30 }) (ConDeclH98 - (NoExtField) - ({ DumpParsedAst.hs:8:21-24 } + (ApiAnn + (Anchor + { DumpParsedAst.hs:8:21-30 } + (UnchangedAnchor)) + [] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:8:21-24 }) (Unqual {OccName: Succ})) - ({ <no location info> } - (False)) + (False) [] (Nothing) (PrefixCon [] [(HsScaled (HsLinearArrow - (NormalSyntax)) - ({ DumpParsedAst.hs:8:26-30 } + (NormalSyntax) + (Nothing)) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:8:26-30 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:8:26-30 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ DumpParsedAst.hs:8:26-30 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:8:26-30 }) (Unqual {OccName: Peano})))))]) (Nothing)))] - ({ <no location info> } - []))))) - ,({ DumpParsedAst.hs:10:1-39 } + [])))) + ,(L + (SrcSpanAnn (ApiAnn + (Anchor + { DumpParsedAst.hs:10:1-39 } + (UnchangedAnchor)) + (AnnListItem + []) + (AnnComments + [])) { DumpParsedAst.hs:10:1-39 }) (TyClD (NoExtField) (FamDecl (NoExtField) (FamilyDecl - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:10:1-45 } + (UnchangedAnchor)) + [(AddApiAnn AnnType (AR { DumpParsedAst.hs:10:1-4 })) + ,(AddApiAnn AnnFamily (AR { DumpParsedAst.hs:10:6-11 })) + ,(AddApiAnn AnnDcolon (AR { DumpParsedAst.hs:10:32-33 })) + ,(AddApiAnn AnnWhere (AR { DumpParsedAst.hs:10:41-45 })) + ,(AddApiAnn AnnCloseP (AR { DumpParsedAst.hs:10:30 })) + ,(AddApiAnn AnnOpenP (AR { DumpParsedAst.hs:10:20 }))] + (AnnComments + [])) (ClosedTypeFamily (Just - [({ DumpParsedAst.hs:11:3-36 } + [(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:11:3-36 }) (FamEqn - (NoExtField) - ({ DumpParsedAst.hs:11:3-8 } + (ApiAnn + (Anchor + { DumpParsedAst.hs:11:3-36 } + (UnchangedAnchor)) + [(AddApiAnn AnnEqual (AR { DumpParsedAst.hs:11:19 }))] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:11:3-8 }) (Unqual {OccName: Length})) (HsOuterImplicit (NoExtField)) [(HsValArg - ({ DumpParsedAst.hs:11:10-17 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:11:10-17 }) (HsParTy - (NoExtField) - ({ DumpParsedAst.hs:11:11-16 } + (ApiAnn + (Anchor + { DumpParsedAst.hs:11:10 } + (UnchangedAnchor)) + (AnnParen + (AnnParens) + (AR { DumpParsedAst.hs:11:10 }) + (AR { DumpParsedAst.hs:11:17 })) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:11:11-16 }) (HsOpTy (NoExtField) - ({ DumpParsedAst.hs:11:11 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:11:11 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:11:11 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ DumpParsedAst.hs:11:11 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:11:11 }) (Unqual {OccName: a})))) - ({ DumpParsedAst.hs:11:13 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:11:13 }) (Exact {Name: :})) - ({ DumpParsedAst.hs:11:15-16 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:11:15-16 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:11:15-16 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ DumpParsedAst.hs:11:15-16 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:11:15-16 }) (Unqual {OccName: as})))))))))] (Prefix) - ({ DumpParsedAst.hs:11:21-36 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:11:21-36 }) (HsAppTy (NoExtField) - ({ DumpParsedAst.hs:11:21-24 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:11:21-24 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:11:21-24 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ DumpParsedAst.hs:11:21-24 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:11:21-24 }) (Unqual {OccName: Succ})))) - ({ DumpParsedAst.hs:11:26-36 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:11:26-36 }) (HsParTy - (NoExtField) - ({ DumpParsedAst.hs:11:27-35 } + (ApiAnn + (Anchor + { DumpParsedAst.hs:11:26 } + (UnchangedAnchor)) + (AnnParen + (AnnParens) + (AR { DumpParsedAst.hs:11:26 }) + (AR { DumpParsedAst.hs:11:36 })) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:11:27-35 }) (HsAppTy (NoExtField) - ({ DumpParsedAst.hs:11:27-32 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:11:27-32 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:11:27-32 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ DumpParsedAst.hs:11:27-32 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:11:27-32 }) (Unqual {OccName: Length})))) - ({ DumpParsedAst.hs:11:34-35 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:11:34-35 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:11:34-35 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ DumpParsedAst.hs:11:34-35 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:11:34-35 }) (Unqual {OccName: as})))))))))))) - ,({ DumpParsedAst.hs:12:3-24 } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:12:3-24 }) (FamEqn - (NoExtField) - ({ DumpParsedAst.hs:12:3-8 } + (ApiAnn + (Anchor + { DumpParsedAst.hs:12:3-24 } + (UnchangedAnchor)) + [(AddApiAnn AnnEqual (AR { DumpParsedAst.hs:12:19 }))] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:12:3-8 }) (Unqual {OccName: Length})) (HsOuterImplicit (NoExtField)) [(HsValArg - ({ DumpParsedAst.hs:12:10-12 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:12:10-12 }) (HsExplicitListTy - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:12:10 } + (UnchangedAnchor)) + [(AddApiAnn AnnSimpleQuote (AR { DumpParsedAst.hs:12:10 })) + ,(AddApiAnn AnnOpenS (AR { DumpParsedAst.hs:12:11 })) + ,(AddApiAnn AnnCloseS (AR { DumpParsedAst.hs:12:12 }))] + (AnnComments + [])) (IsPromoted) [])))] (Prefix) - ({ DumpParsedAst.hs:12:21-24 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:12:21-24 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:12:21-24 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ DumpParsedAst.hs:12:21-24 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:12:21-24 }) (Unqual {OccName: Zero}))))))])) - ({ DumpParsedAst.hs:10:13-18 } + (TopLevel) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:10:13-18 }) (Unqual {OccName: Length})) (HsQTvs (NoExtField) - [({ DumpParsedAst.hs:10:21-29 } + [(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:10:20-30 }) (KindedTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:10:20-30 } + (UnchangedAnchor)) + [(AddApiAnn AnnDcolon (AR { DumpParsedAst.hs:10:24-25 })) + ,(AddApiAnn AnnOpenP (AR { DumpParsedAst.hs:10:20 })) + ,(AddApiAnn AnnCloseP (AR { DumpParsedAst.hs:10:30 }))] + (AnnComments + [])) (()) - ({ DumpParsedAst.hs:10:21-22 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:10:21-22 }) (Unqual {OccName: as})) - ({ DumpParsedAst.hs:10:27-29 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:10:27-29 }) (HsListTy - (NoExtField) - ({ DumpParsedAst.hs:10:28 } + (ApiAnn + (Anchor + { DumpParsedAst.hs:10:27 } + (UnchangedAnchor)) + (AnnParen + (AnnParensSquare) + (AR { DumpParsedAst.hs:10:27 }) + (AR { DumpParsedAst.hs:10:29 })) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:10:28 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:10:28 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ DumpParsedAst.hs:10:28 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:10:28 }) (Unqual {OccName: k}))))))))]) (Prefix) - ({ DumpParsedAst.hs:10:32-39 } + (L + { DumpParsedAst.hs:10:32-39 } (KindSig (NoExtField) - ({ DumpParsedAst.hs:10:35-39 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:10:35-39 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:10:35-39 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ DumpParsedAst.hs:10:35-39 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:10:35-39 }) (Unqual {OccName: Peano})))))) (Nothing))))) - ,({ DumpParsedAst.hs:15:1-29 } + ,(L + (SrcSpanAnn (ApiAnn + (Anchor + { DumpParsedAst.hs:15:1-29 } + (UnchangedAnchor)) + (AnnListItem + []) + (AnnComments + [])) { DumpParsedAst.hs:15:1-29 }) (TyClD (NoExtField) (DataDecl - (NoExtField) - ({ DumpParsedAst.hs:15:6 } + (ApiAnn + (Anchor + { DumpParsedAst.hs:15:1-29 } + (UnchangedAnchor)) + [(AddApiAnn AnnData (AR { DumpParsedAst.hs:15:1-4 })) + ,(AddApiAnn AnnEqual (AR { DumpParsedAst.hs:15:19 })) + ,(AddApiAnn AnnCloseP (AR { DumpParsedAst.hs:15:17 })) + ,(AddApiAnn AnnOpenP (AR { DumpParsedAst.hs:15:10 }))] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:15:6 }) (Unqual {OccName: T})) (HsQTvs (NoExtField) - [({ DumpParsedAst.hs:15:8 } + [(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:15:8 }) (UserTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:15:8 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (()) - ({ DumpParsedAst.hs:15:8 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:15:8 }) (Unqual {OccName: f})))) - ,({ DumpParsedAst.hs:15:11-16 } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:15:10-17 }) (KindedTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:15:10-17 } + (UnchangedAnchor)) + [(AddApiAnn AnnDcolon (AR { DumpParsedAst.hs:15:13-14 })) + ,(AddApiAnn AnnOpenP (AR { DumpParsedAst.hs:15:10 })) + ,(AddApiAnn AnnCloseP (AR { DumpParsedAst.hs:15:17 }))] + (AnnComments + [])) (()) - ({ DumpParsedAst.hs:15:11 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:15:11 }) (Unqual {OccName: a})) - ({ DumpParsedAst.hs:15:16 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:15:16 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:15:16 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ DumpParsedAst.hs:15:16 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:15:16 }) (Unqual {OccName: k}))))))]) (Prefix) (HsDataDefn - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:15:1-29 } + (UnchangedAnchor)) + [(AddApiAnn AnnData (AR { DumpParsedAst.hs:15:1-4 })) + ,(AddApiAnn AnnEqual (AR { DumpParsedAst.hs:15:19 })) + ,(AddApiAnn AnnCloseP (AR { DumpParsedAst.hs:15:17 })) + ,(AddApiAnn AnnOpenP (AR { DumpParsedAst.hs:15:10 }))] + (AnnComments + [])) (DataType) (Nothing) (Nothing) (Nothing) - [({ DumpParsedAst.hs:15:21-29 } + [(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:15:21-29 }) (ConDeclH98 - (NoExtField) - ({ DumpParsedAst.hs:15:21-23 } + (ApiAnn + (Anchor + { DumpParsedAst.hs:15:21-29 } + (UnchangedAnchor)) + [] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:15:21-23 }) (Unqual {OccName: MkT})) - ({ <no location info> } - (False)) + (False) [] (Nothing) (PrefixCon [] [(HsScaled (HsLinearArrow - (NormalSyntax)) - ({ DumpParsedAst.hs:15:25-29 } + (NormalSyntax) + (Nothing)) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:15:25-29 }) (HsParTy - (NoExtField) - ({ DumpParsedAst.hs:15:26-28 } + (ApiAnn + (Anchor + { DumpParsedAst.hs:15:25 } + (UnchangedAnchor)) + (AnnParen + (AnnParens) + (AR { DumpParsedAst.hs:15:25 }) + (AR { DumpParsedAst.hs:15:29 })) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:15:26-28 }) (HsAppTy (NoExtField) - ({ DumpParsedAst.hs:15:26 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:15:26 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:15:26 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ DumpParsedAst.hs:15:26 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:15:26 }) (Unqual {OccName: f})))) - ({ DumpParsedAst.hs:15:28 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:15:28 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:15:28 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ DumpParsedAst.hs:15:28 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:15:28 }) (Unqual {OccName: a})))))))))]) (Nothing)))] - ({ <no location info> } - []))))) - ,({ DumpParsedAst.hs:17:1-48 } + [])))) + ,(L + (SrcSpanAnn (ApiAnn + (Anchor + { DumpParsedAst.hs:17:1-48 } + (UnchangedAnchor)) + (AnnListItem + []) + (AnnComments + [])) { DumpParsedAst.hs:17:1-48 }) (TyClD (NoExtField) (FamDecl (NoExtField) (FamilyDecl - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:17:1-54 } + (UnchangedAnchor)) + [(AddApiAnn AnnType (AR { DumpParsedAst.hs:17:1-4 })) + ,(AddApiAnn AnnFamily (AR { DumpParsedAst.hs:17:6-11 })) + ,(AddApiAnn AnnDcolon (AR { DumpParsedAst.hs:17:42-43 })) + ,(AddApiAnn AnnWhere (AR { DumpParsedAst.hs:17:50-54 })) + ,(AddApiAnn AnnCloseP (AR { DumpParsedAst.hs:17:23 })) + ,(AddApiAnn AnnOpenP (AR { DumpParsedAst.hs:17:16 })) + ,(AddApiAnn AnnCloseP (AR { DumpParsedAst.hs:17:40 })) + ,(AddApiAnn AnnOpenP (AR { DumpParsedAst.hs:17:25 }))] + (AnnComments + [])) (ClosedTypeFamily (Just - [({ DumpParsedAst.hs:18:3-30 } + [(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:18:3-30 }) (FamEqn - (NoExtField) - ({ DumpParsedAst.hs:18:3-4 } + (ApiAnn + (Anchor + { DumpParsedAst.hs:18:3-30 } + (UnchangedAnchor)) + [(AddApiAnn AnnEqual (AR { DumpParsedAst.hs:18:17 }))] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:18:3-4 }) (Unqual {OccName: F1})) (HsOuterImplicit (NoExtField)) [(HsTypeArg - { DumpParsedAst.hs:18:6-11 } - ({ DumpParsedAst.hs:18:7-11 } + { DumpParsedAst.hs:18:6 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:18:7-11 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:18:7-11 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ DumpParsedAst.hs:18:7-11 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:18:7-11 }) (Unqual {OccName: Peano}))))) ,(HsValArg - ({ DumpParsedAst.hs:18:13 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:18:13 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:18:13 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ DumpParsedAst.hs:18:13 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:18:13 }) (Unqual {OccName: a}))))) ,(HsValArg - ({ DumpParsedAst.hs:18:15 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:18:15 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:18:15 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ DumpParsedAst.hs:18:15 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:18:15 }) (Unqual {OccName: f})))))] (Prefix) - ({ DumpParsedAst.hs:18:19-30 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:18:19-30 }) (HsAppTy (NoExtField) - ({ DumpParsedAst.hs:18:19-28 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:18:19-28 }) (HsAppTy (NoExtField) - ({ DumpParsedAst.hs:18:19-26 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:18:19-26 }) (HsAppKindTy - { DumpParsedAst.hs:18:21-26 } - ({ DumpParsedAst.hs:18:19 } + { DumpParsedAst.hs:18:21 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:18:19 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:18:19 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ DumpParsedAst.hs:18:19 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:18:19 }) (Unqual {OccName: T})))) - ({ DumpParsedAst.hs:18:22-26 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:18:22-26 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:18:22-26 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ DumpParsedAst.hs:18:22-26 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:18:22-26 }) (Unqual {OccName: Peano})))))) - ({ DumpParsedAst.hs:18:28 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:18:28 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:18:28 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ DumpParsedAst.hs:18:28 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:18:28 }) (Unqual {OccName: f})))))) - ({ DumpParsedAst.hs:18:30 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:18:30 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:18:30 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ DumpParsedAst.hs:18:30 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:18:30 }) (Unqual {OccName: a}))))))))])) - ({ DumpParsedAst.hs:17:13-14 } + (TopLevel) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:17:13-14 }) (Unqual {OccName: F1})) (HsQTvs (NoExtField) - [({ DumpParsedAst.hs:17:17-22 } + [(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:17:16-23 }) (KindedTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:17:16-23 } + (UnchangedAnchor)) + [(AddApiAnn AnnDcolon (AR { DumpParsedAst.hs:17:19-20 })) + ,(AddApiAnn AnnOpenP (AR { DumpParsedAst.hs:17:16 })) + ,(AddApiAnn AnnCloseP (AR { DumpParsedAst.hs:17:23 }))] + (AnnComments + [])) (()) - ({ DumpParsedAst.hs:17:17 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:17:17 }) (Unqual {OccName: a})) - ({ DumpParsedAst.hs:17:22 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:17:22 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:17:22 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ DumpParsedAst.hs:17:22 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:17:22 }) (Unqual {OccName: k})))))) - ,({ DumpParsedAst.hs:17:26-39 } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:17:25-40 }) (KindedTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:17:25-40 } + (UnchangedAnchor)) + [(AddApiAnn AnnDcolon (AR { DumpParsedAst.hs:17:28-29 })) + ,(AddApiAnn AnnOpenP (AR { DumpParsedAst.hs:17:25 })) + ,(AddApiAnn AnnCloseP (AR { DumpParsedAst.hs:17:40 }))] + (AnnComments + [])) (()) - ({ DumpParsedAst.hs:17:26 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:17:26 }) (Unqual {OccName: f})) - ({ DumpParsedAst.hs:17:31-39 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:17:31-39 }) (HsFunTy - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:17:31 } + (UnchangedAnchor)) + (AddRarrowAnn + (AR { DumpParsedAst.hs:17:33-34 })) + (AnnComments + [])) (HsUnrestrictedArrow (NormalSyntax)) - ({ DumpParsedAst.hs:17:31 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:17:31 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:17:31 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ DumpParsedAst.hs:17:31 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:17:31 }) (Unqual {OccName: k})))) - ({ DumpParsedAst.hs:17:36-39 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:17:36-39 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:17:36-39 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ DumpParsedAst.hs:17:36-39 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:17:36-39 }) (Unqual {OccName: Type}))))))))]) (Prefix) - ({ DumpParsedAst.hs:17:42-48 } + (L + { DumpParsedAst.hs:17:42-48 } (KindSig (NoExtField) - ({ DumpParsedAst.hs:17:45-48 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:17:45-48 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:17:45-48 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ DumpParsedAst.hs:17:45-48 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:17:45-48 }) (Unqual {OccName: Type})))))) (Nothing))))) - ,({ DumpParsedAst.hs:20:1-23 } + ,(L + (SrcSpanAnn (ApiAnn + (Anchor + { DumpParsedAst.hs:20:1-23 } + (UnchangedAnchor)) + (AnnListItem + []) + (AnnComments + [])) { DumpParsedAst.hs:20:1-23 }) (ValD (NoExtField) (FunBind (NoExtField) - ({ DumpParsedAst.hs:20:1-4 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:20:1-4 }) (Unqual {OccName: main})) (MG (NoExtField) - ({ DumpParsedAst.hs:20:1-23 } - [({ DumpParsedAst.hs:20:1-23 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:20:1-23 }) + [(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:20:1-23 }) (Match - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:20:1-23 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (FunRhs - ({ DumpParsedAst.hs:20:1-4 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:20:1-4 }) (Unqual {OccName: main})) (Prefix) @@ -443,32 +945,53 @@ [] (GRHSs (NoExtField) - [({ DumpParsedAst.hs:20:6-23 } + [(L + { DumpParsedAst.hs:20:6-23 } (GRHS - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:20:6-23 } + (UnchangedAnchor)) + (GrhsAnn + (Nothing) + (AddApiAnn AnnEqual (AR { DumpParsedAst.hs:20:6 }))) + (AnnComments + [])) [] - ({ DumpParsedAst.hs:20:8-23 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:20:8-23 }) (HsApp - (NoExtField) - ({ DumpParsedAst.hs:20:8-15 } + (ApiAnn + (Anchor + { DumpParsedAst.hs:20:8-23 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:20:8-15 }) (HsVar (NoExtField) - ({ DumpParsedAst.hs:20:8-15 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:20:8-15 }) (Unqual {OccName: putStrLn})))) - ({ DumpParsedAst.hs:20:17-23 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpParsedAst.hs:20:17-23 }) (HsLit - (NoExtField) + (ApiAnn + (Anchor + { DumpParsedAst.hs:20:17-23 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) (HsString - (SourceText - "\"hello\"") + (SourceText "hello") {FastString: "hello"})))))))] - ({ <no location info> } - (EmptyLocalBinds - (NoExtField))))))]) + (EmptyLocalBinds + (NoExtField)))))]) (FromSource)) [])))] (Nothing) (Nothing))) - - diff --git a/testsuite/tests/parser/should_compile/DumpRenamedAst.stderr b/testsuite/tests/parser/should_compile/DumpRenamedAst.stderr index ec4c1dd9bd..cbed41c027 100644 --- a/testsuite/tests/parser/should_compile/DumpRenamedAst.stderr +++ b/testsuite/tests/parser/should_compile/DumpRenamedAst.stderr @@ -9,226 +9,332 @@ (NValBinds [((,) (NonRecursive) - {Bag(Located (HsBind Name)): - [({ DumpRenamedAst.hs:27:1-23 } + {Bag(LocatedA (HsBind Name)): + [(L + (SrcSpanAnn (ApiAnn + (Anchor + { DumpRenamedAst.hs:27:1-23 } + (UnchangedAnchor)) + (AnnListItem + []) + (AnnComments + [])) { DumpRenamedAst.hs:27:1-23 }) (FunBind {NameSet: []} - ({ DumpRenamedAst.hs:27:1-4 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:27:1-4 }) {Name: DumpRenamedAst.main}) (MG (NoExtField) - ({ DumpRenamedAst.hs:27:1-23 } - [({ DumpRenamedAst.hs:27:1-23 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:27:1-23 }) + [(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:27:1-23 }) (Match - (NoExtField) + (ApiAnnNotUsed) (FunRhs - ({ DumpRenamedAst.hs:27:1-4 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:27:1-4 }) {Name: DumpRenamedAst.main}) (Prefix) (NoSrcStrict)) [] (GRHSs (NoExtField) - [({ DumpRenamedAst.hs:27:6-23 } + [(L + { DumpRenamedAst.hs:27:6-23 } (GRHS - (NoExtField) + (ApiAnnNotUsed) [] - ({ DumpRenamedAst.hs:27:8-23 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:27:8-23 }) (HsApp - (NoExtField) - ({ DumpRenamedAst.hs:27:8-15 } + (ApiAnn + (Anchor + { DumpRenamedAst.hs:27:8-23 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:27:8-15 }) (HsVar (NoExtField) - ({ DumpRenamedAst.hs:27:8-15 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:27:8-15 }) {Name: System.IO.putStrLn}))) - ({ DumpRenamedAst.hs:27:17-23 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:27:17-23 }) (HsLit - (NoExtField) + (ApiAnn + (Anchor + { DumpRenamedAst.hs:27:17-23 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) (HsString - (SourceText - "\"hello\"") + (SourceText "hello") {FastString: "hello"})))))))] - ({ <no location info> } - (EmptyLocalBinds - (NoExtField))))))]) + (EmptyLocalBinds + (NoExtField)))))]) (FromSource)) []))]})] [])) [] [(TyClGroup (NoExtField) - [({ DumpRenamedAst.hs:10:1-30 } + [(L + (SrcSpanAnn (ApiAnn + (Anchor + { DumpRenamedAst.hs:10:1-30 } + (UnchangedAnchor)) + (AnnListItem + []) + (AnnComments + [])) { DumpRenamedAst.hs:10:1-30 }) (DataDecl (DataDeclRn (True) {NameSet: [{Name: DumpRenamedAst.Peano}]}) - ({ DumpRenamedAst.hs:10:6-10 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:10:6-10 }) {Name: DumpRenamedAst.Peano}) (HsQTvs [] []) (Prefix) (HsDataDefn - (NoExtField) + (ApiAnnNotUsed) (DataType) (Nothing) (Nothing) (Nothing) - [({ DumpRenamedAst.hs:10:14-17 } + [(L + (SrcSpanAnn (ApiAnn + (Anchor + { DumpRenamedAst.hs:10:14-17 } + (UnchangedAnchor)) + (AnnListItem + [(AddVbarAnn + (AR { DumpRenamedAst.hs:10:19 }))]) + (AnnComments + [])) { DumpRenamedAst.hs:10:14-17 }) (ConDeclH98 - (NoExtField) - ({ DumpRenamedAst.hs:10:14-17 } + (ApiAnnNotUsed) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:10:14-17 }) {Name: DumpRenamedAst.Zero}) - ({ <no location info> } - (False)) + (False) [] (Nothing) (PrefixCon [] []) (Nothing))) - ,({ DumpRenamedAst.hs:10:21-30 } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:10:21-30 }) (ConDeclH98 - (NoExtField) - ({ DumpRenamedAst.hs:10:21-24 } + (ApiAnnNotUsed) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:10:21-24 }) {Name: DumpRenamedAst.Succ}) - ({ <no location info> } - (False)) + (False) [] (Nothing) (PrefixCon [] [(HsScaled (HsLinearArrow - (NormalSyntax)) - ({ DumpRenamedAst.hs:10:26-30 } + (NormalSyntax) + (Nothing)) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:10:26-30 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:10:26-30 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:10:26-30 }) {Name: DumpRenamedAst.Peano}))))]) (Nothing)))] - ({ <no location info> } - []))))] + [])))] [] [] []) ,(TyClGroup (NoExtField) - [({ DumpRenamedAst.hs:12:1-39 } + [(L + (SrcSpanAnn (ApiAnn + (Anchor + { DumpRenamedAst.hs:12:1-39 } + (UnchangedAnchor)) + (AnnListItem + []) + (AnnComments + [])) { DumpRenamedAst.hs:12:1-39 }) (FamDecl (NoExtField) (FamilyDecl - (NoExtField) + (ApiAnnNotUsed) (ClosedTypeFamily (Just - [({ DumpRenamedAst.hs:13:3-36 } + [(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:13:3-36 }) (FamEqn - (NoExtField) - ({ DumpRenamedAst.hs:13:3-8 } + (ApiAnnNotUsed) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:13:3-8 }) {Name: DumpRenamedAst.Length}) (HsOuterImplicit [{Name: a} ,{Name: as}]) [(HsValArg - ({ DumpRenamedAst.hs:13:10-17 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:13:10-17 }) (HsParTy - (NoExtField) - ({ DumpRenamedAst.hs:13:11-16 } + (ApiAnnNotUsed) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:13:11-16 }) (HsOpTy (NoExtField) - ({ DumpRenamedAst.hs:13:11 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:13:11 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:13:11 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:13:11 }) {Name: a}))) - ({ DumpRenamedAst.hs:13:13 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:13:13 }) {Name: :}) - ({ DumpRenamedAst.hs:13:15-16 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:13:15-16 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:13:15-16 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:13:15-16 }) {Name: as}))))))))] (Prefix) - ({ DumpRenamedAst.hs:13:21-36 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:13:21-36 }) (HsAppTy (NoExtField) - ({ DumpRenamedAst.hs:13:21-24 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:13:21-24 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:13:21-24 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:13:21-24 }) {Name: DumpRenamedAst.Succ}))) - ({ DumpRenamedAst.hs:13:26-36 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:13:26-36 }) (HsParTy - (NoExtField) - ({ DumpRenamedAst.hs:13:27-35 } + (ApiAnnNotUsed) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:13:27-35 }) (HsAppTy (NoExtField) - ({ DumpRenamedAst.hs:13:27-32 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:13:27-32 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:13:27-32 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:13:27-32 }) {Name: DumpRenamedAst.Length}))) - ({ DumpRenamedAst.hs:13:34-35 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:13:34-35 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:13:34-35 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:13:34-35 }) {Name: as}))))))))))) - ,({ DumpRenamedAst.hs:14:3-24 } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:14:3-24 }) (FamEqn - (NoExtField) - ({ DumpRenamedAst.hs:14:3-8 } + (ApiAnnNotUsed) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:14:3-8 }) {Name: DumpRenamedAst.Length}) (HsOuterImplicit []) [(HsValArg - ({ DumpRenamedAst.hs:14:10-12 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:14:10-12 }) (HsExplicitListTy (NoExtField) (IsPromoted) [])))] (Prefix) - ({ DumpRenamedAst.hs:14:21-24 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:14:21-24 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:14:21-24 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:14:21-24 }) {Name: DumpRenamedAst.Zero})))))])) - ({ DumpRenamedAst.hs:12:13-18 } + (TopLevel) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:12:13-18 }) {Name: DumpRenamedAst.Length}) (HsQTvs [{Name: k}] - [({ DumpRenamedAst.hs:12:21-29 } + [(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:12:20-30 }) (KindedTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpRenamedAst.hs:12:20-30 } + (UnchangedAnchor)) + [(AddApiAnn AnnDcolon (AR { DumpRenamedAst.hs:12:24-25 })) + ,(AddApiAnn AnnOpenP (AR { DumpRenamedAst.hs:12:20 })) + ,(AddApiAnn AnnCloseP (AR { DumpRenamedAst.hs:12:30 }))] + (AnnComments + [])) (()) - ({ DumpRenamedAst.hs:12:21-22 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:12:21-22 }) {Name: as}) - ({ DumpRenamedAst.hs:12:27-29 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:12:27-29 }) (HsListTy - (NoExtField) - ({ DumpRenamedAst.hs:12:28 } + (ApiAnn + (Anchor + { DumpRenamedAst.hs:12:27 } + (UnchangedAnchor)) + (AnnParen + (AnnParensSquare) + (AR { DumpRenamedAst.hs:12:27 }) + (AR { DumpRenamedAst.hs:12:29 })) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:12:28 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:12:28 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:12:28 }) {Name: k})))))))]) (Prefix) - ({ DumpRenamedAst.hs:12:32-39 } + (L + { DumpRenamedAst.hs:12:32-39 } (KindSig (NoExtField) - ({ DumpRenamedAst.hs:12:35-39 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:12:35-39 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:12:35-39 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:12:35-39 }) {Name: DumpRenamedAst.Peano}))))) (Nothing))))] [] @@ -236,137 +342,227 @@ []) ,(TyClGroup (NoExtField) - [({ DumpRenamedAst.hs:16:1-33 } + [(L + (SrcSpanAnn (ApiAnn + (Anchor + { DumpRenamedAst.hs:16:1-33 } + (UnchangedAnchor)) + (AnnListItem + []) + (AnnComments + [])) { DumpRenamedAst.hs:16:1-33 }) (FamDecl (NoExtField) (FamilyDecl - (NoExtField) + (ApiAnnNotUsed) (DataFamily) - ({ DumpRenamedAst.hs:16:13-15 } + (TopLevel) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:16:13-15 }) {Name: DumpRenamedAst.Nat}) (HsQTvs [{Name: k}] []) (Prefix) - ({ DumpRenamedAst.hs:16:17-33 } + (L + { DumpRenamedAst.hs:16:17-33 } (KindSig (NoExtField) - ({ DumpRenamedAst.hs:16:20-33 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:16:20-33 }) (HsFunTy - (NoExtField) + (ApiAnn + (Anchor + { DumpRenamedAst.hs:16:20 } + (UnchangedAnchor)) + (AddRarrowAnn + (AR { DumpRenamedAst.hs:16:22-23 })) + (AnnComments + [])) (HsUnrestrictedArrow (NormalSyntax)) - ({ DumpRenamedAst.hs:16:20 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:16:20 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:16:20 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:16:20 }) {Name: k}))) - ({ DumpRenamedAst.hs:16:25-33 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:16:25-33 }) (HsFunTy - (NoExtField) + (ApiAnn + (Anchor + { DumpRenamedAst.hs:16:25 } + (UnchangedAnchor)) + (AddRarrowAnn + (AR { DumpRenamedAst.hs:16:27-28 })) + (AnnComments + [])) (HsUnrestrictedArrow (NormalSyntax)) - ({ DumpRenamedAst.hs:16:25 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:16:25 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:16:25 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:16:25 }) {Name: k}))) - ({ DumpRenamedAst.hs:16:30-33 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:16:30-33 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:16:30-33 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:16:30-33 }) {Name: GHC.Types.Type}))))))))) (Nothing))))] [] [] - [({ DumpRenamedAst.hs:(19,1)-(20,45) } + [(L + (SrcSpanAnn (ApiAnn + (Anchor + { DumpRenamedAst.hs:(19,1)-(20,45) } + (UnchangedAnchor)) + (AnnListItem + []) + (AnnComments + [])) { DumpRenamedAst.hs:(19,1)-(20,45) }) (DataFamInstD (NoExtField) (DataFamInstDecl (FamEqn - (NoExtField) - ({ DumpRenamedAst.hs:19:18-20 } + (ApiAnnNotUsed) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:19:18-20 }) {Name: DumpRenamedAst.Nat}) (HsOuterImplicit [{Name: a} ,{Name: k}]) [(HsValArg - ({ DumpRenamedAst.hs:19:22-37 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:19:22-37 }) (HsParTy - (NoExtField) - ({ DumpRenamedAst.hs:19:23-36 } + (ApiAnnNotUsed) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:19:23-36 }) (HsKindSig - (NoExtField) - ({ DumpRenamedAst.hs:19:23 } + (ApiAnn + (Anchor + { DumpRenamedAst.hs:19:23 } + (UnchangedAnchor)) + [(AddApiAnn AnnDcolon (AR { DumpRenamedAst.hs:19:25-26 }))] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:19:23 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:19:23 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:19:23 }) {Name: a}))) - ({ DumpRenamedAst.hs:19:28-36 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:19:28-36 }) (HsFunTy - (NoExtField) + (ApiAnn + (Anchor + { DumpRenamedAst.hs:19:28 } + (UnchangedAnchor)) + (AddRarrowAnn + (AR { DumpRenamedAst.hs:19:30-31 })) + (AnnComments + [])) (HsUnrestrictedArrow (NormalSyntax)) - ({ DumpRenamedAst.hs:19:28 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:19:28 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:19:28 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:19:28 }) {Name: k}))) - ({ DumpRenamedAst.hs:19:33-36 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:19:33-36 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:19:33-36 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:19:33-36 }) {Name: GHC.Types.Type}))))))))))] (Prefix) (HsDataDefn - (NoExtField) + (ApiAnnNotUsed) (NewType) (Nothing) (Nothing) (Just - ({ DumpRenamedAst.hs:19:42-60 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:19:42-60 }) (HsFunTy - (NoExtField) + (ApiAnn + (Anchor + { DumpRenamedAst.hs:19:42-52 } + (UnchangedAnchor)) + (AddRarrowAnn + (AR { DumpRenamedAst.hs:19:54-55 })) + (AnnComments + [])) (HsUnrestrictedArrow (NormalSyntax)) - ({ DumpRenamedAst.hs:19:42-52 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:19:42-52 }) (HsParTy - (NoExtField) - ({ DumpRenamedAst.hs:19:43-51 } + (ApiAnnNotUsed) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:19:43-51 }) (HsFunTy - (NoExtField) + (ApiAnn + (Anchor + { DumpRenamedAst.hs:19:43 } + (UnchangedAnchor)) + (AddRarrowAnn + (AR { DumpRenamedAst.hs:19:45-46 })) + (AnnComments + [])) (HsUnrestrictedArrow (NormalSyntax)) - ({ DumpRenamedAst.hs:19:43 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:19:43 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:19:43 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:19:43 }) {Name: k}))) - ({ DumpRenamedAst.hs:19:48-51 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:19:48-51 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:19:48-51 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:19:48-51 }) {Name: GHC.Types.Type}))))))) - ({ DumpRenamedAst.hs:19:57-60 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:19:57-60 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:19:57-60 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:19:57-60 }) {Name: GHC.Types.Type})))))) - [({ DumpRenamedAst.hs:20:3-45 } + [(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:20:3-45 }) (ConDeclGADT - (NoExtField) - [({ DumpRenamedAst.hs:20:3-5 } + (ApiAnnNotUsed) + [(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:20:3-5 }) {Name: DumpRenamedAst.Nat})] - ({ DumpRenamedAst.hs:20:10-45 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:20:10-45 }) (HsOuterImplicit [{Name: f} ,{Name: g}])) @@ -375,279 +571,424 @@ [(HsScaled (HsUnrestrictedArrow (NormalSyntax)) - ({ DumpRenamedAst.hs:20:10-34 } + (L + (SrcSpanAnn (ApiAnn + (Anchor + { DumpRenamedAst.hs:20:10-34 } + (UnchangedAnchor)) + (AnnListItem + [(AddRarrowAnn + (AR { DumpRenamedAst.hs:20:36-37 }))]) + (AnnComments + [])) { DumpRenamedAst.hs:20:10-34 }) (HsParTy - (NoExtField) - ({ DumpRenamedAst.hs:20:11-33 } + (ApiAnnNotUsed) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:20:11-33 }) (HsForAllTy (NoExtField) (HsForAllInvis - (NoExtField) - [({ DumpRenamedAst.hs:20:18-19 } + (ApiAnnNotUsed) + [(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:20:18-19 }) (UserTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpRenamedAst.hs:20:18-19 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (SpecifiedSpec) - ({ DumpRenamedAst.hs:20:18-19 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:20:18-19 }) {Name: xx})))]) - ({ DumpRenamedAst.hs:20:22-33 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:20:22-33 }) (HsFunTy - (NoExtField) + (ApiAnn + (Anchor + { DumpRenamedAst.hs:20:22-25 } + (UnchangedAnchor)) + (AddRarrowAnn + (AR { DumpRenamedAst.hs:20:27-28 })) + (AnnComments + [])) (HsUnrestrictedArrow (NormalSyntax)) - ({ DumpRenamedAst.hs:20:22-25 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:20:22-25 }) (HsAppTy (NoExtField) - ({ DumpRenamedAst.hs:20:22 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:20:22 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:20:22 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:20:22 }) {Name: f}))) - ({ DumpRenamedAst.hs:20:24-25 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:20:24-25 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:20:24-25 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:20:24-25 }) {Name: xx}))))) - ({ DumpRenamedAst.hs:20:30-33 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:20:30-33 }) (HsAppTy (NoExtField) - ({ DumpRenamedAst.hs:20:30 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:20:30 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:20:30 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:20:30 }) {Name: g}))) - ({ DumpRenamedAst.hs:20:32-33 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:20:32-33 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:20:32-33 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:20:32-33 }) {Name: xx}))))))))))))]) - ({ DumpRenamedAst.hs:20:39-45 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:20:39-45 }) (HsAppTy (NoExtField) - ({ DumpRenamedAst.hs:20:39-43 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:20:39-43 }) (HsAppTy (NoExtField) - ({ DumpRenamedAst.hs:20:39-41 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:20:39-41 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:20:39-41 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:20:39-41 }) {Name: DumpRenamedAst.Nat}))) - ({ DumpRenamedAst.hs:20:43 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:20:43 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:20:43 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:20:43 }) {Name: f}))))) - ({ DumpRenamedAst.hs:20:45 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:20:45 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:20:45 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:20:45 }) {Name: g}))))) (Nothing)))] - ({ <no location info> } - []))))))]) + [])))))]) ,(TyClGroup (NoExtField) - [({ DumpRenamedAst.hs:22:1-29 } + [(L + (SrcSpanAnn (ApiAnn + (Anchor + { DumpRenamedAst.hs:22:1-29 } + (UnchangedAnchor)) + (AnnListItem + []) + (AnnComments + [])) { DumpRenamedAst.hs:22:1-29 }) (DataDecl (DataDeclRn (False) {NameSet: [{Name: a} ,{Name: f}]}) - ({ DumpRenamedAst.hs:22:6 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:22:6 }) {Name: DumpRenamedAst.T}) (HsQTvs [{Name: k}] - [({ DumpRenamedAst.hs:22:8 } + [(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:22:8 }) (UserTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpRenamedAst.hs:22:8 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (()) - ({ DumpRenamedAst.hs:22:8 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:22:8 }) {Name: f}))) - ,({ DumpRenamedAst.hs:22:11-16 } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:22:10-17 }) (KindedTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpRenamedAst.hs:22:10-17 } + (UnchangedAnchor)) + [(AddApiAnn AnnDcolon (AR { DumpRenamedAst.hs:22:13-14 })) + ,(AddApiAnn AnnOpenP (AR { DumpRenamedAst.hs:22:10 })) + ,(AddApiAnn AnnCloseP (AR { DumpRenamedAst.hs:22:17 }))] + (AnnComments + [])) (()) - ({ DumpRenamedAst.hs:22:11 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:22:11 }) {Name: a}) - ({ DumpRenamedAst.hs:22:16 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:22:16 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:22:16 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:22:16 }) {Name: k})))))]) (Prefix) (HsDataDefn - (NoExtField) + (ApiAnnNotUsed) (DataType) (Nothing) (Nothing) (Nothing) - [({ DumpRenamedAst.hs:22:21-29 } + [(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:22:21-29 }) (ConDeclH98 - (NoExtField) - ({ DumpRenamedAst.hs:22:21-23 } + (ApiAnnNotUsed) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:22:21-23 }) {Name: DumpRenamedAst.MkT}) - ({ <no location info> } - (False)) + (False) [] (Nothing) (PrefixCon [] [(HsScaled (HsLinearArrow - (NormalSyntax)) - ({ DumpRenamedAst.hs:22:25-29 } + (NormalSyntax) + (Nothing)) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:22:25-29 }) (HsParTy - (NoExtField) - ({ DumpRenamedAst.hs:22:26-28 } + (ApiAnnNotUsed) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:22:26-28 }) (HsAppTy (NoExtField) - ({ DumpRenamedAst.hs:22:26 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:22:26 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:22:26 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:22:26 }) {Name: f}))) - ({ DumpRenamedAst.hs:22:28 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:22:28 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:22:28 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:22:28 }) {Name: a}))))))))]) (Nothing)))] - ({ <no location info> } - []))))] + [])))] [] [] []) ,(TyClGroup (NoExtField) - [({ DumpRenamedAst.hs:24:1-48 } + [(L + (SrcSpanAnn (ApiAnn + (Anchor + { DumpRenamedAst.hs:24:1-48 } + (UnchangedAnchor)) + (AnnListItem + []) + (AnnComments + [])) { DumpRenamedAst.hs:24:1-48 }) (FamDecl (NoExtField) (FamilyDecl - (NoExtField) + (ApiAnnNotUsed) (ClosedTypeFamily (Just - [({ DumpRenamedAst.hs:25:3-30 } + [(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:25:3-30 }) (FamEqn - (NoExtField) - ({ DumpRenamedAst.hs:25:3-4 } + (ApiAnnNotUsed) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:25:3-4 }) {Name: DumpRenamedAst.F1}) (HsOuterImplicit [{Name: a} ,{Name: f}]) [(HsTypeArg - { DumpRenamedAst.hs:25:6-11 } - ({ DumpRenamedAst.hs:25:7-11 } + { DumpRenamedAst.hs:25:6 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:25:7-11 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:25:7-11 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:25:7-11 }) {Name: DumpRenamedAst.Peano})))) ,(HsValArg - ({ DumpRenamedAst.hs:25:13 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:25:13 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:25:13 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:25:13 }) {Name: a})))) ,(HsValArg - ({ DumpRenamedAst.hs:25:15 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:25:15 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:25:15 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:25:15 }) {Name: f}))))] (Prefix) - ({ DumpRenamedAst.hs:25:19-30 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:25:19-30 }) (HsAppTy (NoExtField) - ({ DumpRenamedAst.hs:25:19-28 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:25:19-28 }) (HsAppTy (NoExtField) - ({ DumpRenamedAst.hs:25:19-26 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:25:19-26 }) (HsAppKindTy - { DumpRenamedAst.hs:25:21-26 } - ({ DumpRenamedAst.hs:25:19 } + { DumpRenamedAst.hs:25:21 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:25:19 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:25:19 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:25:19 }) {Name: DumpRenamedAst.T}))) - ({ DumpRenamedAst.hs:25:22-26 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:25:22-26 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:25:22-26 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:25:22-26 }) {Name: DumpRenamedAst.Peano}))))) - ({ DumpRenamedAst.hs:25:28 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:25:28 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:25:28 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:25:28 }) {Name: f}))))) - ({ DumpRenamedAst.hs:25:30 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:25:30 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:25:30 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:25:30 }) {Name: a})))))))])) - ({ DumpRenamedAst.hs:24:13-14 } + (TopLevel) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:24:13-14 }) {Name: DumpRenamedAst.F1}) (HsQTvs [{Name: k}] - [({ DumpRenamedAst.hs:24:17-22 } + [(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:24:16-23 }) (KindedTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpRenamedAst.hs:24:16-23 } + (UnchangedAnchor)) + [(AddApiAnn AnnDcolon (AR { DumpRenamedAst.hs:24:19-20 })) + ,(AddApiAnn AnnOpenP (AR { DumpRenamedAst.hs:24:16 })) + ,(AddApiAnn AnnCloseP (AR { DumpRenamedAst.hs:24:23 }))] + (AnnComments + [])) (()) - ({ DumpRenamedAst.hs:24:17 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:24:17 }) {Name: a}) - ({ DumpRenamedAst.hs:24:22 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:24:22 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:24:22 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:24:22 }) {Name: k}))))) - ,({ DumpRenamedAst.hs:24:26-39 } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:24:25-40 }) (KindedTyVar - (NoExtField) + (ApiAnn + (Anchor + { DumpRenamedAst.hs:24:25-40 } + (UnchangedAnchor)) + [(AddApiAnn AnnDcolon (AR { DumpRenamedAst.hs:24:28-29 })) + ,(AddApiAnn AnnOpenP (AR { DumpRenamedAst.hs:24:25 })) + ,(AddApiAnn AnnCloseP (AR { DumpRenamedAst.hs:24:40 }))] + (AnnComments + [])) (()) - ({ DumpRenamedAst.hs:24:26 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:24:26 }) {Name: f}) - ({ DumpRenamedAst.hs:24:31-39 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:24:31-39 }) (HsFunTy - (NoExtField) + (ApiAnn + (Anchor + { DumpRenamedAst.hs:24:31 } + (UnchangedAnchor)) + (AddRarrowAnn + (AR { DumpRenamedAst.hs:24:33-34 })) + (AnnComments + [])) (HsUnrestrictedArrow (NormalSyntax)) - ({ DumpRenamedAst.hs:24:31 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:24:31 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:24:31 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:24:31 }) {Name: k}))) - ({ DumpRenamedAst.hs:24:36-39 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:24:36-39 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:24:36-39 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:24:36-39 }) {Name: GHC.Types.Type})))))))]) (Prefix) - ({ DumpRenamedAst.hs:24:42-48 } + (L + { DumpRenamedAst.hs:24:42-48 } (KindSig (NoExtField) - ({ DumpRenamedAst.hs:24:45-48 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:24:45-48 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ DumpRenamedAst.hs:24:45-48 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:24:45-48 }) {Name: GHC.Types.Type}))))) (Nothing))))] [] @@ -661,11 +1002,13 @@ [] [] []) - [({ DumpRenamedAst.hs:5:8-21 } + [(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:5:8-21 }) (ImportDecl (NoExtField) (NoSourceText) - ({ DumpRenamedAst.hs:5:8-21 } + (L + { DumpRenamedAst.hs:5:8-21 } {ModuleName: Prelude}) (Nothing) (NotBoot) @@ -674,11 +1017,13 @@ (True) (Nothing) (Nothing))) - ,({ DumpRenamedAst.hs:6:1-16 } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:6:1-16 }) (ImportDecl (NoExtField) (NoSourceText) - ({ DumpRenamedAst.hs:6:8-16 } + (L + { DumpRenamedAst.hs:6:8-16 } {ModuleName: Data.Kind}) (Nothing) (NotBoot) @@ -687,11 +1032,13 @@ (False) (Nothing) (Nothing))) - ,({ DumpRenamedAst.hs:8:1-23 } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:8:1-23 }) (ImportDecl (NoExtField) (NoSourceText) - ({ DumpRenamedAst.hs:8:8-16 } + (L + { DumpRenamedAst.hs:8:8-16 } {ModuleName: Data.Kind}) (Nothing) (NotBoot) @@ -702,15 +1049,30 @@ (Just ((,) (False) - ({ DumpRenamedAst.hs:8:18-23 } - [({ DumpRenamedAst.hs:8:19-22 } + (L + (SrcSpanAnn (ApiAnn + (Anchor + { DumpRenamedAst.hs:8:18-23 } + (UnchangedAnchor)) + (AnnList + (Nothing) + (Just + (AddApiAnn AnnOpenP (AR { DumpRenamedAst.hs:8:18 }))) + (Just + (AddApiAnn AnnCloseP (AR { DumpRenamedAst.hs:8:23 }))) + [] + []) + (AnnComments + [])) { DumpRenamedAst.hs:8:18-23 }) + [(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:8:19-22 }) (IEThingAbs - (NoExtField) - ({ DumpRenamedAst.hs:8:19-22 } + (ApiAnnNotUsed) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:8:19-22 }) (IEName - ({ DumpRenamedAst.hs:8:19-22 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpRenamedAst.hs:8:19-22 }) {Name: GHC.Types.Type})))))])))))] (Nothing) - (Nothing))) - - + (Nothing)))
\ No newline at end of file diff --git a/testsuite/tests/parser/should_compile/DumpTypecheckedAst.stderr b/testsuite/tests/parser/should_compile/DumpTypecheckedAst.stderr index 45488ba165..12471e3f38 100644 --- a/testsuite/tests/parser/should_compile/DumpTypecheckedAst.stderr +++ b/testsuite/tests/parser/should_compile/DumpTypecheckedAst.stderr @@ -1,544 +1,1148 @@ ==================== Typechecker AST ==================== -{Bag(Located (HsBind Var)): - [({ <no location info> } +{Bag(LocatedA (HsBind Var)): + [(L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (VarBind (NoExtField) {Var: DumpTypecheckedAst.$tcT} - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsConLikeOut (NoExtField) ({abstract:ConLike}))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsLit - (NoExtField) + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) {HsWord{64}Prim (1374752024144278257) (NoSourceText)})))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsLit - (NoExtField) + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) {HsWord{64}Prim (13654949607623281177) (NoSourceText)})))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsVar (NoExtField) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) {Var: DumpTypecheckedAst.$trModule}))))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsPar - (NoExtField) - ({ <no location info> } + (ApiAnnNotUsed) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsConLikeOut (NoExtField) ({abstract:ConLike}))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsLit - (NoExtField) + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) (HsStringPrim (NoSourceText) "T"))))))))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsLit - (NoExtField) + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) {HsInt{64}Prim (1) (SourceText "1")})))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsVar (NoExtField) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) {Var: $krep}))))))) - ,({ <no location info> } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (VarBind (NoExtField) {Var: DumpTypecheckedAst.$tc'MkT} - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsConLikeOut (NoExtField) ({abstract:ConLike}))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsLit - (NoExtField) + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) {HsWord{64}Prim (10715337633704422415) (NoSourceText)})))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsLit - (NoExtField) + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) {HsWord{64}Prim (12411373583424111944) (NoSourceText)})))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsVar (NoExtField) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) {Var: DumpTypecheckedAst.$trModule}))))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsPar - (NoExtField) - ({ <no location info> } + (ApiAnnNotUsed) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsConLikeOut (NoExtField) ({abstract:ConLike}))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsLit - (NoExtField) + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) (HsStringPrim (NoSourceText) "'MkT"))))))))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsLit - (NoExtField) + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) {HsInt{64}Prim (3) (SourceText "3")})))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsVar (NoExtField) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) {Var: $krep}))))))) - ,({ <no location info> } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (VarBind (NoExtField) {Var: DumpTypecheckedAst.$tcPeano} - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsConLikeOut (NoExtField) ({abstract:ConLike}))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsLit - (NoExtField) + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) {HsWord{64}Prim (14073232900889011755) (NoSourceText)})))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsLit - (NoExtField) + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) {HsWord{64}Prim (2739668351064589274) (NoSourceText)})))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsVar (NoExtField) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) {Var: DumpTypecheckedAst.$trModule}))))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsPar - (NoExtField) - ({ <no location info> } + (ApiAnnNotUsed) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsConLikeOut (NoExtField) ({abstract:ConLike}))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsLit - (NoExtField) + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) (HsStringPrim (NoSourceText) "Peano"))))))))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsLit - (NoExtField) + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) {HsInt{64}Prim (0) (SourceText "0")})))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsVar (NoExtField) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) {Var: GHC.Types.krep$*}))))))) - ,({ <no location info> } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (VarBind (NoExtField) {Var: DumpTypecheckedAst.$tc'Zero} - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsConLikeOut (NoExtField) ({abstract:ConLike}))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsLit - (NoExtField) + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) {HsWord{64}Prim (13760111476013868540) (NoSourceText)})))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsLit - (NoExtField) + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) {HsWord{64}Prim (12314848029315386153) (NoSourceText)})))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsVar (NoExtField) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) {Var: DumpTypecheckedAst.$trModule}))))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsPar - (NoExtField) - ({ <no location info> } + (ApiAnnNotUsed) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsConLikeOut (NoExtField) ({abstract:ConLike}))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsLit - (NoExtField) + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) (HsStringPrim (NoSourceText) "'Zero"))))))))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsLit - (NoExtField) + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) {HsInt{64}Prim (0) (SourceText "0")})))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsVar (NoExtField) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) {Var: $krep}))))))) - ,({ <no location info> } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (VarBind (NoExtField) {Var: DumpTypecheckedAst.$tc'Succ} - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsConLikeOut (NoExtField) ({abstract:ConLike}))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsLit - (NoExtField) + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) {HsWord{64}Prim (1143980031331647856) (NoSourceText)})))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsLit - (NoExtField) + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) {HsWord{64}Prim (14802086722010293686) (NoSourceText)})))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsVar (NoExtField) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) {Var: DumpTypecheckedAst.$trModule}))))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsPar - (NoExtField) - ({ <no location info> } + (ApiAnnNotUsed) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsConLikeOut (NoExtField) ({abstract:ConLike}))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsLit - (NoExtField) + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) (HsStringPrim (NoSourceText) "'Succ"))))))))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsLit - (NoExtField) + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) {HsInt{64}Prim (0) (SourceText "0")})))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsVar (NoExtField) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) {Var: $krep}))))))) - ,({ <no location info> } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (VarBind (NoExtField) {Var: $krep} - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsConLikeOut (NoExtField) ({abstract:ConLike}))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsLit - (NoExtField) + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) (HsInt (NoExtField) (IL - (SourceText - "2") + (SourceText 2) (False) (2))))))))) - ,({ <no location info> } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (VarBind (NoExtField) {Var: $krep} - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsConLikeOut (NoExtField) ({abstract:ConLike}))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsLit - (NoExtField) + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) (HsInt (NoExtField) (IL - (SourceText - "1") + (SourceText 1) (False) (1))))))))) - ,({ <no location info> } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (VarBind (NoExtField) {Var: $krep} - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsConLikeOut (NoExtField) ({abstract:ConLike}))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsLit - (NoExtField) + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) (HsInt (NoExtField) (IL - (SourceText - "0") + (SourceText 0) (False) (0))))))))) - ,({ <no location info> } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (VarBind (NoExtField) {Var: $krep} - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsConLikeOut (NoExtField) ({abstract:ConLike}))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsVar (NoExtField) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) {Var: $krep}))))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsVar (NoExtField) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) {Var: $krep}))))))) - ,({ <no location info> } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (VarBind (NoExtField) {Var: $krep} - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsConLikeOut (NoExtField) ({abstract:ConLike}))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsVar (NoExtField) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) {Var: $krep}))))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsVar (NoExtField) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) {Var: GHC.Types.krep$*}))))))) - ,({ <no location info> } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (VarBind (NoExtField) {Var: $krep} - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsConLikeOut (NoExtField) ({abstract:ConLike}))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsVar (NoExtField) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) {Var: $krep}))))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsVar (NoExtField) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) {Var: $krep}))))))) - ,({ <no location info> } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (VarBind (NoExtField) {Var: $krep} - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsConLikeOut (NoExtField) ({abstract:ConLike}))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsVar (NoExtField) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) {Var: $krep}))))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsVar (NoExtField) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) {Var: $krep}))))))) - ,({ <no location info> } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (VarBind (NoExtField) {Var: $krep} - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsConLikeOut (NoExtField) ({abstract:ConLike}))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsVar (NoExtField) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) {Var: $krep}))))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsVar (NoExtField) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) {Var: $krep}))))))) - ,({ <no location info> } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (VarBind (NoExtField) {Var: $krep} - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsConLikeOut (NoExtField) ({abstract:ConLike}))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsVar (NoExtField) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) {Var: DumpTypecheckedAst.$tcT}))))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsPar - (NoExtField) - ({ <no location info> } + (ApiAnnNotUsed) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (XExpr (WrapExpr (HsWrap @@ -549,21 +1153,39 @@ (HsConLikeOut (NoExtField) ({abstract:ConLike})))))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsVar (NoExtField) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) {Var: $krep}))))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsPar - (NoExtField) - ({ <no location info> } + (ApiAnnNotUsed) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (XExpr (WrapExpr (HsWrap @@ -574,21 +1196,39 @@ (HsConLikeOut (NoExtField) ({abstract:ConLike})))))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsVar (NoExtField) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) {Var: $krep}))))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsPar - (NoExtField) - ({ <no location info> } + (ApiAnnNotUsed) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (XExpr (WrapExpr (HsWrap @@ -599,12 +1239,15 @@ (HsConLikeOut (NoExtField) ({abstract:ConLike})))))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsVar (NoExtField) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) {Var: $krep}))))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (XExpr (WrapExpr (HsWrap @@ -615,26 +1258,45 @@ (HsConLikeOut (NoExtField) ({abstract:ConLike})))))))))))))))))))))) - ,({ <no location info> } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (VarBind (NoExtField) {Var: $krep} - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsConLikeOut (NoExtField) ({abstract:ConLike}))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsVar (NoExtField) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) {Var: DumpTypecheckedAst.$tcPeano}))))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (XExpr (WrapExpr (HsWrap @@ -645,53 +1307,102 @@ (HsConLikeOut (NoExtField) ({abstract:ConLike})))))))))) - ,({ <no location info> } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (VarBind (NoExtField) {Var: DumpTypecheckedAst.$trModule} - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsConLikeOut (NoExtField) ({abstract:ConLike}))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsPar - (NoExtField) - ({ <no location info> } + (ApiAnnNotUsed) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsConLikeOut (NoExtField) ({abstract:ConLike}))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsLit - (NoExtField) + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) (HsStringPrim (NoSourceText) "main"))))))))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsPar - (NoExtField) - ({ <no location info> } + (ApiAnnNotUsed) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsApp - (NoExtField) - ({ <no location info> } + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsConLikeOut (NoExtField) ({abstract:ConLike}))) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) (HsLit - (NoExtField) + (ApiAnn + (Anchor + { placeholder:-1:-1 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) (HsStringPrim (NoSourceText) "DumpTypecheckedAst"))))))))))) - ,({ DumpTypecheckedAst.hs:19:1-23 } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpTypecheckedAst.hs:19:1-23 }) (AbsBinds (NoExtField) [] @@ -704,11 +1415,20 @@ (SpecPrags []))] [({abstract:TcEvBinds})] - {Bag(Located (HsBind Var)): - [({ DumpTypecheckedAst.hs:19:1-23 } + {Bag(LocatedA (HsBind Var)): + [(L + (SrcSpanAnn (ApiAnn + (Anchor + { DumpTypecheckedAst.hs:19:1-23 } + (UnchangedAnchor)) + (AnnListItem + []) + (AnnComments + [])) { DumpTypecheckedAst.hs:19:1-23 }) (FunBind (WpHole) - ({ DumpTypecheckedAst.hs:19:1-4 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpTypecheckedAst.hs:19:1-4 }) {Var: main}) (MG (MatchGroupTc @@ -718,42 +1438,52 @@ [(TyConApp ({abstract:TyCon}) [])])) - ({ DumpTypecheckedAst.hs:19:1-23 } - [({ DumpTypecheckedAst.hs:19:1-23 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpTypecheckedAst.hs:19:1-23 }) + [(L + (SrcSpanAnn (ApiAnnNotUsed) { DumpTypecheckedAst.hs:19:1-23 }) (Match - (NoExtField) + (ApiAnnNotUsed) (FunRhs - ({ DumpTypecheckedAst.hs:19:1-4 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpTypecheckedAst.hs:19:1-4 }) {Name: main}) (Prefix) (NoSrcStrict)) [] (GRHSs (NoExtField) - [({ DumpTypecheckedAst.hs:19:6-23 } + [(L + { DumpTypecheckedAst.hs:19:6-23 } (GRHS - (NoExtField) + (ApiAnnNotUsed) [] - ({ DumpTypecheckedAst.hs:19:8-23 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpTypecheckedAst.hs:19:8-23 }) (HsApp - (NoExtField) - ({ DumpTypecheckedAst.hs:19:8-15 } + (ApiAnnNotUsed) + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpTypecheckedAst.hs:19:8-15 }) (HsVar (NoExtField) - ({ <no location info> } + (L + (SrcSpanAnn (ApiAnnNotUsed) { <no location info> }) {Var: putStrLn}))) - ({ DumpTypecheckedAst.hs:19:17-23 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { DumpTypecheckedAst.hs:19:17-23 }) (HsLit - (NoExtField) + (ApiAnn + (Anchor + { DumpTypecheckedAst.hs:19:17-23 } + (UnchangedAnchor)) + (NoApiAnns) + (AnnComments + [])) (HsString - (SourceText - "\"hello\"") + (SourceText "hello") {FastString: "hello"})))))))] - ({ <no location info> } - (EmptyLocalBinds - (NoExtField))))))]) + (EmptyLocalBinds + (NoExtField)))))]) (FromSource)) []))]} - (False)))]} - - + (False)))]}
\ No newline at end of file diff --git a/testsuite/tests/parser/should_compile/KindSigs.stderr b/testsuite/tests/parser/should_compile/KindSigs.stderr index a8597046e2..12a15b02f1 100644 --- a/testsuite/tests/parser/should_compile/KindSigs.stderr +++ b/testsuite/tests/parser/should_compile/KindSigs.stderr @@ -1,19 +1,57 @@ ==================== Parser AST ==================== -({ KindSigs.hs:1:1 } +(L + { KindSigs.hs:1:1 } (HsModule + (ApiAnn + (Anchor + { KindSigs.hs:1:1 } + (UnchangedAnchor)) + (AnnsModule + [(AddApiAnn AnnModule (AR { KindSigs.hs:6:1-6 })) + ,(AddApiAnn AnnWhere (AR { KindSigs.hs:6:17-21 }))] + (AnnList + (Nothing) + (Nothing) + (Nothing) + [] + [])) + (AnnCommentsBalanced + [] + [(L + (Anchor + { KindSigs.hs:36:1 } + (UnchangedAnchor)) + (AnnComment + (AnnEofComment) + { KindSigs.hs:36:1 }))])) (VirtualBraces (1)) (Just - ({ KindSigs.hs:6:8-15 } + (L + { KindSigs.hs:6:8-15 } {ModuleName: KindSigs})) (Nothing) - [({ KindSigs.hs:8:1-16 } + [(L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:8:1-16 }) (ImportDecl - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:8:1-6 } + (UnchangedAnchor)) + (ApiAnnImportDecl + (AR { KindSigs.hs:8:1-6 }) + (Nothing) + (Nothing) + (Nothing) + (Nothing) + (Nothing)) + (AnnComments + [])) (NoSourceText) - ({ KindSigs.hs:8:8-16 } + (L + { KindSigs.hs:8:8-16 } {ModuleName: Data.Kind}) (Nothing) (NotBoot) @@ -22,579 +60,1410 @@ (False) (Nothing) (Nothing)))] - [({ KindSigs.hs:11:1-17 } + [(L + (SrcSpanAnn (ApiAnn + (Anchor + { KindSigs.hs:11:1-17 } + (UnchangedAnchor)) + (AnnListItem + []) + (AnnComments + [])) { KindSigs.hs:11:1-17 }) (TyClD (NoExtField) (FamDecl (NoExtField) (FamilyDecl - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:11:1-23 } + (UnchangedAnchor)) + [(AddApiAnn AnnType (AR { KindSigs.hs:11:1-4 })) + ,(AddApiAnn AnnFamily (AR { KindSigs.hs:11:6-11 })) + ,(AddApiAnn AnnWhere (AR { KindSigs.hs:11:19-23 }))] + (AnnComments + [])) (ClosedTypeFamily (Just - [({ KindSigs.hs:12:3-21 } + [(L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:12:3-21 }) (FamEqn - (NoExtField) - ({ KindSigs.hs:12:3-5 } + (ApiAnn + (Anchor + { KindSigs.hs:12:3-21 } + (UnchangedAnchor)) + [(AddApiAnn AnnEqual (AR { KindSigs.hs:12:9 }))] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:12:3-5 }) (Unqual {OccName: Foo})) (HsOuterImplicit (NoExtField)) [(HsValArg - ({ KindSigs.hs:12:7 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:12:7 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:12:7 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:12:7 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:12:7 }) (Unqual {OccName: a})))))] (Prefix) - ({ KindSigs.hs:12:11-21 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:12:11-21 }) (HsKindSig - (NoExtField) - ({ KindSigs.hs:12:11-13 } + (ApiAnn + (Anchor + { KindSigs.hs:12:11-13 } + (UnchangedAnchor)) + [(AddApiAnn AnnDcolon (AR { KindSigs.hs:12:15-16 }))] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:12:11-13 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:12:11-13 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:12:11-13 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:12:11-13 }) (Unqual {OccName: Int})))) - ({ KindSigs.hs:12:18-21 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:12:18-21 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:12:18-21 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:12:18-21 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:12:18-21 }) (Unqual {OccName: Type}))))))))])) - ({ KindSigs.hs:11:13-15 } + (TopLevel) + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:11:13-15 }) (Unqual {OccName: Foo})) (HsQTvs (NoExtField) - [({ KindSigs.hs:11:17 } + [(L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:11:17 }) (UserTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:11:17 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (()) - ({ KindSigs.hs:11:17 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:11:17 }) (Unqual {OccName: a}))))]) (Prefix) - ({ <no location info> } + (L + { <no location info> } (NoSig (NoExtField))) (Nothing))))) - ,({ KindSigs.hs:15:1-51 } + ,(L + (SrcSpanAnn (ApiAnn + (Anchor + { KindSigs.hs:15:1-51 } + (UnchangedAnchor)) + (AnnListItem + []) + (AnnComments + [])) { KindSigs.hs:15:1-51 }) (TyClD (NoExtField) (SynDecl - (NoExtField) - ({ KindSigs.hs:15:6-8 } + (ApiAnn + (Anchor + { KindSigs.hs:15:1-51 } + (UnchangedAnchor)) + [(AddApiAnn AnnType (AR { KindSigs.hs:15:1-4 })) + ,(AddApiAnn AnnEqual (AR { KindSigs.hs:15:12 }))] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:15:6-8 }) (Unqual {OccName: Bar})) (HsQTvs (NoExtField) - [({ KindSigs.hs:15:10 } + [(L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:15:10 }) (UserTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:15:10 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (()) - ({ KindSigs.hs:15:10 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:15:10 }) (Unqual {OccName: a}))))]) (Prefix) - ({ KindSigs.hs:15:14-51 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:15:14-51 }) (HsTupleTy - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:15:14 } + (UnchangedAnchor)) + (AnnParen + (AnnParens) + (AR { KindSigs.hs:15:14 }) + (AR { KindSigs.hs:15:51 })) + (AnnComments + [])) (HsBoxedOrConstraintTuple) - [({ KindSigs.hs:15:16-26 } + [(L + (SrcSpanAnn (ApiAnn + (Anchor + { KindSigs.hs:15:16-26 } + (UnchangedAnchor)) + (AnnListItem + [(AddCommaAnn + (AR { KindSigs.hs:15:27 }))]) + (AnnComments + [])) { KindSigs.hs:15:16-26 }) (HsKindSig - (NoExtField) - ({ KindSigs.hs:15:16-18 } + (ApiAnn + (Anchor + { KindSigs.hs:15:16-18 } + (UnchangedAnchor)) + [(AddApiAnn AnnDcolon (AR { KindSigs.hs:15:20-21 }))] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:15:16-18 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:15:16-18 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:15:16-18 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:15:16-18 }) (Unqual {OccName: Int})))) - ({ KindSigs.hs:15:23-26 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:15:23-26 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:15:23-26 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:15:23-26 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:15:23-26 }) (Unqual {OccName: Type})))))) - ,({ KindSigs.hs:15:29-32 } + ,(L + (SrcSpanAnn (ApiAnn + (Anchor + { KindSigs.hs:15:29-32 } + (UnchangedAnchor)) + (AnnListItem + [(AddCommaAnn + (AR { KindSigs.hs:15:33 }))]) + (AnnComments + [])) { KindSigs.hs:15:29-32 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:15:29-32 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:15:29-32 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:15:29-32 }) (Unqual {OccName: Bool})))) - ,({ KindSigs.hs:15:35-49 } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:15:35-49 }) (HsKindSig - (NoExtField) - ({ KindSigs.hs:15:35-41 } + (ApiAnn + (Anchor + { KindSigs.hs:15:35-41 } + (UnchangedAnchor)) + [(AddApiAnn AnnDcolon (AR { KindSigs.hs:15:43-44 }))] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:15:35-41 }) (HsAppTy (NoExtField) - ({ KindSigs.hs:15:35-39 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:15:35-39 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:15:35-39 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:15:35-39 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:15:35-39 }) (Unqual {OccName: Maybe})))) - ({ KindSigs.hs:15:41 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:15:41 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:15:41 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:15:41 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:15:41 }) (Unqual {OccName: a})))))) - ({ KindSigs.hs:15:46-49 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:15:46-49 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:15:46-49 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:15:46-49 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:15:46-49 }) (Unqual {OccName: Type}))))))]))))) - ,({ KindSigs.hs:16:1-54 } + ,(L + (SrcSpanAnn (ApiAnn + (Anchor + { KindSigs.hs:16:1-54 } + (UnchangedAnchor)) + (AnnListItem + []) + (AnnComments + [])) { KindSigs.hs:16:1-54 }) (TyClD (NoExtField) (SynDecl - (NoExtField) - ({ KindSigs.hs:16:6-9 } + (ApiAnn + (Anchor + { KindSigs.hs:16:1-54 } + (UnchangedAnchor)) + [(AddApiAnn AnnType (AR { KindSigs.hs:16:1-4 })) + ,(AddApiAnn AnnEqual (AR { KindSigs.hs:16:13 }))] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:16:6-9 }) (Unqual {OccName: Bar'})) (HsQTvs (NoExtField) - [({ KindSigs.hs:16:11 } + [(L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:16:11 }) (UserTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:16:11 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (()) - ({ KindSigs.hs:16:11 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:16:11 }) (Unqual {OccName: a}))))]) (Prefix) - ({ KindSigs.hs:16:15-54 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:16:15-54 }) (HsTupleTy - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:16:15-16 } + (UnchangedAnchor)) + (AnnParen + (AnnParensHash) + (AR { KindSigs.hs:16:15-16 }) + (AR { KindSigs.hs:16:53-54 })) + (AnnComments + [])) (HsUnboxedTuple) - [({ KindSigs.hs:16:18-28 } + [(L + (SrcSpanAnn (ApiAnn + (Anchor + { KindSigs.hs:16:18-28 } + (UnchangedAnchor)) + (AnnListItem + [(AddCommaAnn + (AR { KindSigs.hs:16:29 }))]) + (AnnComments + [])) { KindSigs.hs:16:18-28 }) (HsKindSig - (NoExtField) - ({ KindSigs.hs:16:18-20 } + (ApiAnn + (Anchor + { KindSigs.hs:16:18-20 } + (UnchangedAnchor)) + [(AddApiAnn AnnDcolon (AR { KindSigs.hs:16:22-23 }))] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:16:18-20 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:16:18-20 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:16:18-20 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:16:18-20 }) (Unqual {OccName: Int})))) - ({ KindSigs.hs:16:25-28 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:16:25-28 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:16:25-28 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:16:25-28 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:16:25-28 }) (Unqual {OccName: Type})))))) - ,({ KindSigs.hs:16:31-34 } + ,(L + (SrcSpanAnn (ApiAnn + (Anchor + { KindSigs.hs:16:31-34 } + (UnchangedAnchor)) + (AnnListItem + [(AddCommaAnn + (AR { KindSigs.hs:16:35 }))]) + (AnnComments + [])) { KindSigs.hs:16:31-34 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:16:31-34 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:16:31-34 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:16:31-34 }) (Unqual {OccName: Bool})))) - ,({ KindSigs.hs:16:37-51 } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:16:37-51 }) (HsKindSig - (NoExtField) - ({ KindSigs.hs:16:37-43 } + (ApiAnn + (Anchor + { KindSigs.hs:16:37-43 } + (UnchangedAnchor)) + [(AddApiAnn AnnDcolon (AR { KindSigs.hs:16:45-46 }))] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:16:37-43 }) (HsAppTy (NoExtField) - ({ KindSigs.hs:16:37-41 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:16:37-41 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:16:37-41 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:16:37-41 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:16:37-41 }) (Unqual {OccName: Maybe})))) - ({ KindSigs.hs:16:43 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:16:43 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:16:43 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:16:43 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:16:43 }) (Unqual {OccName: a})))))) - ({ KindSigs.hs:16:48-51 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:16:48-51 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:16:48-51 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:16:48-51 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:16:48-51 }) (Unqual {OccName: Type}))))))]))))) - ,({ KindSigs.hs:19:1-26 } + ,(L + (SrcSpanAnn (ApiAnn + (Anchor + { KindSigs.hs:19:1-26 } + (UnchangedAnchor)) + (AnnListItem + []) + (AnnComments + [])) { KindSigs.hs:19:1-26 }) (TyClD (NoExtField) (SynDecl - (NoExtField) - ({ KindSigs.hs:19:6-8 } + (ApiAnn + (Anchor + { KindSigs.hs:19:1-26 } + (UnchangedAnchor)) + [(AddApiAnn AnnType (AR { KindSigs.hs:19:1-4 })) + ,(AddApiAnn AnnEqual (AR { KindSigs.hs:19:10 }))] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:19:6-8 }) (Unqual {OccName: Baz})) (HsQTvs (NoExtField) []) (Prefix) - ({ KindSigs.hs:19:12-26 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:19:12-26 }) (HsListTy - (NoExtField) - ({ KindSigs.hs:19:14-24 } + (ApiAnn + (Anchor + { KindSigs.hs:19:12 } + (UnchangedAnchor)) + (AnnParen + (AnnParensSquare) + (AR { KindSigs.hs:19:12 }) + (AR { KindSigs.hs:19:26 })) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:19:14-24 }) (HsKindSig - (NoExtField) - ({ KindSigs.hs:19:14-16 } + (ApiAnn + (Anchor + { KindSigs.hs:19:14-16 } + (UnchangedAnchor)) + [(AddApiAnn AnnDcolon (AR { KindSigs.hs:19:18-19 }))] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:19:14-16 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:19:14-16 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:19:14-16 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:19:14-16 }) (Unqual {OccName: Int})))) - ({ KindSigs.hs:19:21-24 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:19:21-24 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:19:21-24 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:19:21-24 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:19:21-24 }) (Unqual {OccName: Type}))))))))))) - ,({ KindSigs.hs:22:1-44 } + ,(L + (SrcSpanAnn (ApiAnn + (Anchor + { KindSigs.hs:22:1-44 } + (UnchangedAnchor)) + (AnnListItem + []) + (AnnComments + [])) { KindSigs.hs:22:1-44 }) (SigD (NoExtField) (TypeSig - (NoExtField) - [({ KindSigs.hs:22:1-3 } + (ApiAnn + (Anchor + { KindSigs.hs:22:1-3 } + (UnchangedAnchor)) + (AnnSig + (AddApiAnn AnnDcolon (AR { KindSigs.hs:22:5-6 })) + []) + (AnnComments + [])) + [(L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:22:1-3 }) (Unqual {OccName: qux}))] (HsWC (NoExtField) - ({ KindSigs.hs:22:8-44 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:22:8-44 }) (HsSig (NoExtField) (HsOuterImplicit (NoExtField)) - ({ KindSigs.hs:22:8-44 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:22:8-44 }) (HsFunTy - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:22:8-20 } + (UnchangedAnchor)) + (AddRarrowAnn + (AR { KindSigs.hs:22:22-23 })) + (AnnComments + [])) (HsUnrestrictedArrow (NormalSyntax)) - ({ KindSigs.hs:22:8-20 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:22:8-20 }) (HsParTy - (NoExtField) - ({ KindSigs.hs:22:9-19 } + (ApiAnn + (Anchor + { KindSigs.hs:22:8 } + (UnchangedAnchor)) + (AnnParen + (AnnParens) + (AR { KindSigs.hs:22:8 }) + (AR { KindSigs.hs:22:20 })) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:22:9-19 }) (HsKindSig - (NoExtField) - ({ KindSigs.hs:22:9-11 } + (ApiAnn + (Anchor + { KindSigs.hs:22:9-11 } + (UnchangedAnchor)) + [(AddApiAnn AnnDcolon (AR { KindSigs.hs:22:13-14 }))] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:22:9-11 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:22:9-11 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:22:9-11 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:22:9-11 }) (Unqual {OccName: Int})))) - ({ KindSigs.hs:22:16-19 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:22:16-19 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:22:16-19 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:22:16-19 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:22:16-19 }) (Unqual {OccName: Type})))))))) - ({ KindSigs.hs:22:25-44 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:22:25-44 }) (HsFunTy - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:22:25-28 } + (UnchangedAnchor)) + (AddRarrowAnn + (AR { KindSigs.hs:22:30-31 })) + (AnnComments + [])) (HsUnrestrictedArrow (NormalSyntax)) - ({ KindSigs.hs:22:25-28 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:22:25-28 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:22:25-28 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:22:25-28 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:22:25-28 }) (Unqual {OccName: Bool})))) - ({ KindSigs.hs:22:33-44 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:22:33-44 }) (HsParTy - (NoExtField) - ({ KindSigs.hs:22:34-43 } + (ApiAnn + (Anchor + { KindSigs.hs:22:33 } + (UnchangedAnchor)) + (AnnParen + (AnnParens) + (AR { KindSigs.hs:22:33 }) + (AR { KindSigs.hs:22:44 })) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:22:34-43 }) (HsKindSig - (NoExtField) - ({ KindSigs.hs:22:34-35 } + (ApiAnn + (Anchor + { KindSigs.hs:22:34-35 } + (UnchangedAnchor)) + [(AddApiAnn AnnDcolon (AR { KindSigs.hs:22:37-38 }))] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:22:34-35 }) (HsTupleTy - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:22:34 } + (UnchangedAnchor)) + (AnnParen + (AnnParens) + (AR { KindSigs.hs:22:34 }) + (AR { KindSigs.hs:22:35 })) + (AnnComments + [])) (HsBoxedOrConstraintTuple) [])) - ({ KindSigs.hs:22:40-43 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:22:40-43 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:22:40-43 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:22:40-43 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:22:40-43 }) (Unqual {OccName: Type})))))))))))))))))) - ,({ KindSigs.hs:23:1-12 } + ,(L + (SrcSpanAnn (ApiAnn + (Anchor + { KindSigs.hs:23:1-12 } + (UnchangedAnchor)) + (AnnListItem + []) + (AnnComments + [])) { KindSigs.hs:23:1-12 }) (ValD (NoExtField) (FunBind (NoExtField) - ({ KindSigs.hs:23:1-3 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:23:1-3 }) (Unqual {OccName: qux})) (MG (NoExtField) - ({ KindSigs.hs:23:1-12 } - [({ KindSigs.hs:23:1-12 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:23:1-12 }) + [(L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:23:1-12 }) (Match - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:23:1-12 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (FunRhs - ({ KindSigs.hs:23:1-3 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:23:1-3 }) (Unqual {OccName: qux})) (Prefix) (NoSrcStrict)) - [({ KindSigs.hs:23:5 } + [(L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:23:5 }) (WildPat (NoExtField))) - ,({ KindSigs.hs:23:7 } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:23:7 }) (WildPat (NoExtField)))] (GRHSs (NoExtField) - [({ KindSigs.hs:23:9-12 } + [(L + { KindSigs.hs:23:9-12 } (GRHS - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:23:9-12 } + (UnchangedAnchor)) + (GrhsAnn + (Nothing) + (AddApiAnn AnnEqual (AR { KindSigs.hs:23:9 }))) + (AnnComments + [])) [] - ({ KindSigs.hs:23:11-12 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:23:11-12 }) (HsVar (NoExtField) - ({ KindSigs.hs:23:11-12 } + (L + (SrcSpanAnn (ApiAnn + (Anchor + { KindSigs.hs:23:11-12 } + (UnchangedAnchor)) + (NameAnnOnly + (NameParens) + (AR { KindSigs.hs:23:11 }) + (AR { KindSigs.hs:23:12 }) + []) + (AnnComments + [])) { KindSigs.hs:23:11-12 }) (Exact {Name: ()}))))))] - ({ <no location info> } - (EmptyLocalBinds - (NoExtField))))))]) + (EmptyLocalBinds + (NoExtField)))))]) (FromSource)) []))) - ,({ KindSigs.hs:26:1-29 } + ,(L + (SrcSpanAnn (ApiAnn + (Anchor + { KindSigs.hs:26:1-29 } + (UnchangedAnchor)) + (AnnListItem + []) + (AnnComments + [])) { KindSigs.hs:26:1-29 }) (TyClD (NoExtField) (SynDecl - (NoExtField) - ({ KindSigs.hs:26:6-9 } + (ApiAnn + (Anchor + { KindSigs.hs:26:1-29 } + (UnchangedAnchor)) + [(AddApiAnn AnnType (AR { KindSigs.hs:26:1-4 })) + ,(AddApiAnn AnnEqual (AR { KindSigs.hs:26:11 }))] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:26:6-9 }) (Unqual {OccName: Quux})) (HsQTvs (NoExtField) []) (Prefix) - ({ KindSigs.hs:26:13-29 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:26:13-29 }) (HsExplicitListTy - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:26:13 } + (UnchangedAnchor)) + [(AddApiAnn AnnSimpleQuote (AR { KindSigs.hs:26:13 })) + ,(AddApiAnn AnnOpenS (AR { KindSigs.hs:26:14 })) + ,(AddApiAnn AnnCloseS (AR { KindSigs.hs:26:29 }))] + (AnnComments + [])) (IsPromoted) - [({ KindSigs.hs:26:16-27 } + [(L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:26:16-27 }) (HsKindSig - (NoExtField) - ({ KindSigs.hs:26:16-19 } + (ApiAnn + (Anchor + { KindSigs.hs:26:16-19 } + (UnchangedAnchor)) + [(AddApiAnn AnnDcolon (AR { KindSigs.hs:26:21-22 }))] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:26:16-19 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:26:16-19 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:26:16-19 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:26:16-19 }) (Unqual {OccName: True})))) - ({ KindSigs.hs:26:24-27 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:26:24-27 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:26:24-27 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:26:24-27 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:26:24-27 }) (Unqual {OccName: Bool}))))))]))))) - ,({ KindSigs.hs:27:1-45 } + ,(L + (SrcSpanAnn (ApiAnn + (Anchor + { KindSigs.hs:27:1-45 } + (UnchangedAnchor)) + (AnnListItem + []) + (AnnComments + [])) { KindSigs.hs:27:1-45 }) (TyClD (NoExtField) (SynDecl - (NoExtField) - ({ KindSigs.hs:27:6-10 } + (ApiAnn + (Anchor + { KindSigs.hs:27:1-45 } + (UnchangedAnchor)) + [(AddApiAnn AnnType (AR { KindSigs.hs:27:1-4 })) + ,(AddApiAnn AnnEqual (AR { KindSigs.hs:27:12 }))] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:27:6-10 }) (Unqual {OccName: Quux'})) (HsQTvs (NoExtField) []) (Prefix) - ({ KindSigs.hs:27:14-45 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:27:14-45 }) (HsExplicitListTy - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:27:14 } + (UnchangedAnchor)) + [(AddApiAnn AnnOpenS (AR { KindSigs.hs:27:14 })) + ,(AddApiAnn AnnCloseS (AR { KindSigs.hs:27:45 }))] + (AnnComments + [])) (NotPromoted) - [({ KindSigs.hs:27:16-27 } + [(L + (SrcSpanAnn (ApiAnn + (Anchor + { KindSigs.hs:27:16-27 } + (UnchangedAnchor)) + (AnnListItem + [(AddCommaAnn + (AR { KindSigs.hs:27:28 }))]) + (AnnComments + [])) { KindSigs.hs:27:16-27 }) (HsKindSig - (NoExtField) - ({ KindSigs.hs:27:16-19 } + (ApiAnn + (Anchor + { KindSigs.hs:27:16-19 } + (UnchangedAnchor)) + [(AddApiAnn AnnDcolon (AR { KindSigs.hs:27:21-22 }))] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:27:16-19 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:27:16-19 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:27:16-19 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:27:16-19 }) (Unqual {OccName: True})))) - ({ KindSigs.hs:27:24-27 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:27:24-27 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:27:24-27 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:27:24-27 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:27:24-27 }) (Unqual {OccName: Bool})))))) - ,({ KindSigs.hs:27:30-42 } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:27:30-42 }) (HsKindSig - (NoExtField) - ({ KindSigs.hs:27:30-34 } + (ApiAnn + (Anchor + { KindSigs.hs:27:30-34 } + (UnchangedAnchor)) + [(AddApiAnn AnnDcolon (AR { KindSigs.hs:27:36-37 }))] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:27:30-34 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:27:30-34 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:27:30-34 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:27:30-34 }) (Unqual {OccName: False})))) - ({ KindSigs.hs:27:39-42 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:27:39-42 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:27:39-42 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:27:39-42 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:27:39-42 }) (Unqual {OccName: Bool}))))))]))))) - ,({ KindSigs.hs:28:1-44 } + ,(L + (SrcSpanAnn (ApiAnn + (Anchor + { KindSigs.hs:28:1-44 } + (UnchangedAnchor)) + (AnnListItem + []) + (AnnComments + [])) { KindSigs.hs:28:1-44 }) (TyClD (NoExtField) (SynDecl - (NoExtField) - ({ KindSigs.hs:28:6-10 } + (ApiAnn + (Anchor + { KindSigs.hs:28:1-44 } + (UnchangedAnchor)) + [(AddApiAnn AnnType (AR { KindSigs.hs:28:1-4 })) + ,(AddApiAnn AnnEqual (AR { KindSigs.hs:28:14 }))] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:28:6-10 }) (Unqual {OccName: Quuux})) (HsQTvs (NoExtField) - [({ KindSigs.hs:28:12 } + [(L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:28:12 }) (UserTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:28:12 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (()) - ({ KindSigs.hs:28:12 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:28:12 }) (Unqual {OccName: b}))))]) (Prefix) - ({ KindSigs.hs:28:16-44 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:28:16-44 }) (HsExplicitTupleTy - (NoExtField) - [({ KindSigs.hs:28:19-39 } + (ApiAnn + (Anchor + { KindSigs.hs:28:16 } + (UnchangedAnchor)) + [(AddApiAnn AnnSimpleQuote (AR { KindSigs.hs:28:16 })) + ,(AddApiAnn AnnOpenP (AR { KindSigs.hs:28:17 })) + ,(AddApiAnn AnnCloseP (AR { KindSigs.hs:28:44 }))] + (AnnComments + [])) + [(L + (SrcSpanAnn (ApiAnn + (Anchor + { KindSigs.hs:28:19-39 } + (UnchangedAnchor)) + (AnnListItem + [(AddCommaAnn + (AR { KindSigs.hs:28:40 }))]) + (AnnComments + [])) { KindSigs.hs:28:19-39 }) (HsKindSig - (NoExtField) - ({ KindSigs.hs:28:19-29 } + (ApiAnn + (Anchor + { KindSigs.hs:28:19-29 } + (UnchangedAnchor)) + [(AddApiAnn AnnDcolon (AR { KindSigs.hs:28:31-32 }))] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:28:19-29 }) (HsExplicitListTy - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:28:19 } + (UnchangedAnchor)) + [(AddApiAnn AnnOpenS (AR { KindSigs.hs:28:19 })) + ,(AddApiAnn AnnCloseS (AR { KindSigs.hs:28:29 }))] + (AnnComments + [])) (NotPromoted) - [({ KindSigs.hs:28:20-22 } + [(L + (SrcSpanAnn (ApiAnn + (Anchor + { KindSigs.hs:28:20-22 } + (UnchangedAnchor)) + (AnnListItem + [(AddCommaAnn + (AR { KindSigs.hs:28:23 }))]) + (AnnComments + [])) { KindSigs.hs:28:20-22 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:28:20-22 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:28:20-22 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:28:20-22 }) (Unqual {OccName: Int})))) - ,({ KindSigs.hs:28:25-28 } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:28:25-28 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:28:25-28 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:28:25-28 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:28:25-28 }) (Unqual {OccName: Bool}))))])) - ({ KindSigs.hs:28:34-39 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:28:34-39 }) (HsListTy - (NoExtField) - ({ KindSigs.hs:28:35-38 } + (ApiAnn + (Anchor + { KindSigs.hs:28:34 } + (UnchangedAnchor)) + (AnnParen + (AnnParensSquare) + (AR { KindSigs.hs:28:34 }) + (AR { KindSigs.hs:28:39 })) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:28:35-38 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:28:35-38 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:28:35-38 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:28:35-38 }) (Unqual {OccName: Type})))))))) - ,({ KindSigs.hs:28:42 } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:28:42 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:28:42 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:28:42 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:28:42 }) (Unqual {OccName: b}))))]))))) - ,({ KindSigs.hs:31:1-31 } + ,(L + (SrcSpanAnn (ApiAnn + (Anchor + { KindSigs.hs:31:1-31 } + (UnchangedAnchor)) + (AnnListItem + []) + (AnnComments + [])) { KindSigs.hs:31:1-31 }) (TyClD (NoExtField) (SynDecl - (NoExtField) - ({ KindSigs.hs:31:6-17 } + (ApiAnn + (Anchor + { KindSigs.hs:31:1-31 } + (UnchangedAnchor)) + [(AddApiAnn AnnType (AR { KindSigs.hs:31:1-4 })) + ,(AddApiAnn AnnEqual (AR { KindSigs.hs:31:19 }))] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:31:6-17 }) (Unqual {OccName: Sarsaparilla})) (HsQTvs (NoExtField) []) (Prefix) - ({ KindSigs.hs:31:21-31 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:31:21-31 }) (HsKindSig - (NoExtField) - ({ KindSigs.hs:31:21-23 } + (ApiAnn + (Anchor + { KindSigs.hs:31:21-23 } + (UnchangedAnchor)) + [(AddApiAnn AnnDcolon (AR { KindSigs.hs:31:25-26 }))] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:31:21-23 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:31:21-23 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:31:21-23 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:31:21-23 }) (Unqual {OccName: Int})))) - ({ KindSigs.hs:31:28-31 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:31:28-31 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:31:28-31 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:31:28-31 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:31:28-31 }) (Unqual {OccName: Type}))))))))) - ,({ KindSigs.hs:34:1-22 } + ,(L + (SrcSpanAnn (ApiAnn + (Anchor + { KindSigs.hs:34:1-22 } + (UnchangedAnchor)) + (AnnListItem + []) + (AnnComments + [])) { KindSigs.hs:34:1-22 }) (SigD (NoExtField) (TypeSig - (NoExtField) - [({ KindSigs.hs:34:1-4 } + (ApiAnn + (Anchor + { KindSigs.hs:34:1-4 } + (UnchangedAnchor)) + (AnnSig + (AddApiAnn AnnDcolon (AR { KindSigs.hs:34:6-7 })) + []) + (AnnComments + [])) + [(L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:34:1-4 }) (Unqual {OccName: true}))] (HsWC (NoExtField) - ({ KindSigs.hs:34:9-22 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:34:9-22 }) (HsSig (NoExtField) (HsOuterImplicit (NoExtField)) - ({ KindSigs.hs:34:9-22 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:34:9-22 }) (HsParTy - (NoExtField) - ({ KindSigs.hs:34:10-21 } + (ApiAnn + (Anchor + { KindSigs.hs:34:9 } + (UnchangedAnchor)) + (AnnParen + (AnnParens) + (AR { KindSigs.hs:34:9 }) + (AR { KindSigs.hs:34:22 })) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:34:10-21 }) (HsKindSig - (NoExtField) - ({ KindSigs.hs:34:10-13 } + (ApiAnn + (Anchor + { KindSigs.hs:34:10-13 } + (UnchangedAnchor)) + [(AddApiAnn AnnDcolon (AR { KindSigs.hs:34:15-16 }))] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:34:10-13 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:34:10-13 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:34:10-13 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:34:10-13 }) (Unqual {OccName: Bool})))) - ({ KindSigs.hs:34:18-21 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:34:18-21 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:34:18-21 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ KindSigs.hs:34:18-21 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:34:18-21 }) (Unqual {OccName: Type})))))))))))))) - ,({ KindSigs.hs:35:1-11 } + ,(L + (SrcSpanAnn (ApiAnn + (Anchor + { KindSigs.hs:35:1-11 } + (UnchangedAnchor)) + (AnnListItem + []) + (AnnComments + [])) { KindSigs.hs:35:1-11 }) (ValD (NoExtField) (FunBind (NoExtField) - ({ KindSigs.hs:35:1-4 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:35:1-4 }) (Unqual {OccName: true})) (MG (NoExtField) - ({ KindSigs.hs:35:1-11 } - [({ KindSigs.hs:35:1-11 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:35:1-11 }) + [(L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:35:1-11 }) (Match - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:35:1-11 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (FunRhs - ({ KindSigs.hs:35:1-4 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:35:1-4 }) (Unqual {OccName: true})) (Prefix) @@ -602,22 +1471,30 @@ [] (GRHSs (NoExtField) - [({ KindSigs.hs:35:6-11 } + [(L + { KindSigs.hs:35:6-11 } (GRHS - (NoExtField) + (ApiAnn + (Anchor + { KindSigs.hs:35:6-11 } + (UnchangedAnchor)) + (GrhsAnn + (Nothing) + (AddApiAnn AnnEqual (AR { KindSigs.hs:35:6 }))) + (AnnComments + [])) [] - ({ KindSigs.hs:35:8-11 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:35:8-11 }) (HsVar (NoExtField) - ({ KindSigs.hs:35:8-11 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { KindSigs.hs:35:8-11 }) (Unqual {OccName: True}))))))] - ({ <no location info> } - (EmptyLocalBinds - (NoExtField))))))]) + (EmptyLocalBinds + (NoExtField)))))]) (FromSource)) [])))] (Nothing) (Nothing))) - - diff --git a/testsuite/tests/parser/should_compile/T14189.stderr b/testsuite/tests/parser/should_compile/T14189.stderr index 516850592c..d76f449c03 100644 --- a/testsuite/tests/parser/should_compile/T14189.stderr +++ b/testsuite/tests/parser/should_compile/T14189.stderr @@ -12,88 +12,140 @@ [] [(TyClGroup (NoExtField) - [({ T14189.hs:6:1-42 } + [(L + (SrcSpanAnn (ApiAnn + (Anchor + { T14189.hs:6:1-42 } + (UnchangedAnchor)) + (AnnListItem + []) + (AnnComments + [])) { T14189.hs:6:1-42 }) (DataDecl (DataDeclRn (True) {NameSet: [{Name: GHC.Types.Int}]}) - ({ T14189.hs:6:6-11 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { T14189.hs:6:6-11 }) {Name: T14189.MyType}) (HsQTvs [] []) (Prefix) (HsDataDefn - (NoExtField) + (ApiAnnNotUsed) (DataType) (Nothing) (Nothing) (Nothing) - [({ T14189.hs:6:15-20 } + [(L + (SrcSpanAnn (ApiAnn + (Anchor + { T14189.hs:6:15-20 } + (UnchangedAnchor)) + (AnnListItem + [(AddVbarAnn + (AR { T14189.hs:6:22 }))]) + (AnnComments + [])) { T14189.hs:6:15-20 }) (ConDeclH98 - (NoExtField) - ({ T14189.hs:6:15-16 } + (ApiAnnNotUsed) + (L + (SrcSpanAnn (ApiAnnNotUsed) { T14189.hs:6:15-16 }) {Name: T14189.MT}) - ({ <no location info> } - (False)) + (False) [] (Nothing) (PrefixCon [] [(HsScaled (HsLinearArrow - (NormalSyntax)) - ({ T14189.hs:6:18-20 } + (NormalSyntax) + (Nothing)) + (L + (SrcSpanAnn (ApiAnnNotUsed) { T14189.hs:6:18-20 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ T14189.hs:6:18-20 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { T14189.hs:6:18-20 }) {Name: GHC.Types.Int}))))]) (Nothing))) - ,({ T14189.hs:6:24-25 } + ,(L + (SrcSpanAnn (ApiAnn + (Anchor + { T14189.hs:6:24-25 } + (UnchangedAnchor)) + (AnnListItem + [(AddVbarAnn + (AR { T14189.hs:6:27 }))]) + (AnnComments + [])) { T14189.hs:6:24-25 }) (ConDeclH98 - (NoExtField) - ({ T14189.hs:6:24-25 } + (ApiAnnNotUsed) + (L + (SrcSpanAnn (ApiAnnNotUsed) { T14189.hs:6:24-25 }) {Name: T14189.NT}) - ({ <no location info> } - (False)) + (False) [] (Nothing) (PrefixCon [] []) (Nothing))) - ,({ T14189.hs:6:29-42 } + ,(L + (SrcSpanAnn (ApiAnnNotUsed) { T14189.hs:6:29-42 }) (ConDeclH98 - (NoExtField) - ({ T14189.hs:6:29 } + (ApiAnnNotUsed) + (L + (SrcSpanAnn (ApiAnnNotUsed) { T14189.hs:6:29 }) {Name: T14189.F}) - ({ <no location info> } - (False)) + (False) [] (Nothing) (RecCon - ({ T14189.hs:6:31-42 } - [({ T14189.hs:6:33-40 } + (L + (SrcSpanAnn (ApiAnn + (Anchor + { T14189.hs:6:31 } + (UnchangedAnchor)) + (AnnList + (Just + (Anchor + { T14189.hs:6:33-40 } + (UnchangedAnchor))) + (Just + (AddApiAnn AnnOpenC (AR { T14189.hs:6:31 }))) + (Just + (AddApiAnn AnnCloseC (AR { T14189.hs:6:42 }))) + [] + []) + (AnnComments + [])) { T14189.hs:6:31-42 }) + [(L + (SrcSpanAnn (ApiAnnNotUsed) { T14189.hs:6:33-40 }) (ConDeclField - (NoExtField) - [({ T14189.hs:6:33 } + (ApiAnnNotUsed) + [(L + { T14189.hs:6:33 } (FieldOcc {Name: T14189.f} - ({ T14189.hs:6:33 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { T14189.hs:6:33 }) (Unqual {OccName: f}))))] - ({ T14189.hs:6:38-40 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { T14189.hs:6:38-40 }) (HsTyVar - (NoExtField) + (ApiAnnNotUsed) (NotPromoted) - ({ T14189.hs:6:38-40 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { T14189.hs:6:38-40 }) {Name: GHC.Types.Int}))) (Nothing)))])) (Nothing)))] - ({ <no location info> } - []))))] + [])))] [] [] [])] @@ -105,11 +157,13 @@ [] [] []) - [({ T14189.hs:1:8-13 } + [(L + (SrcSpanAnn (ApiAnnNotUsed) { T14189.hs:1:8-13 }) (ImportDecl (NoExtField) (NoSourceText) - ({ T14189.hs:1:8-13 } + (L + { T14189.hs:1:8-13 } {ModuleName: Prelude}) (Nothing) (NotBoot) @@ -120,22 +174,28 @@ (Nothing)))] (Just [((,) - ({ T14189.hs:3:3-15 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { T14189.hs:3:3-15 }) (IEThingWith - [({ T14189.hs:3:11 } + [(L + { T14189.hs:3:11 } (FieldLabel {FastString: "f"} (NoDuplicateRecordFields) (FieldSelectors) {Name: T14189.f}))] - ({ T14189.hs:3:3-8 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { T14189.hs:3:3-8 }) (IEName - ({ T14189.hs:3:3-8 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { T14189.hs:3:3-8 }) {Name: T14189.MyType}))) (NoIEWildcard) - [({ T14189.hs:3:13-14 } + [(L + (SrcSpanAnn (ApiAnnNotUsed) { T14189.hs:3:13-14 }) (IEName - ({ T14189.hs:3:13-14 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { T14189.hs:3:13-14 }) {Name: T14189.NT})))])) [(AvailTC {Name: T14189.MyType} @@ -150,5 +210,3 @@ (FieldSelectors) {Name: T14189.f}))])])]) (Nothing))) - - diff --git a/testsuite/tests/parser/should_compile/T15279.stderr b/testsuite/tests/parser/should_compile/T15279.stderr index ff215a763d..b8a1580c76 100644 --- a/testsuite/tests/parser/should_compile/T15279.stderr +++ b/testsuite/tests/parser/should_compile/T15279.stderr @@ -1,3 +1,4 @@ (MG -(NoExt) -({ <combineSrcSpans: files differ> } +(NoExtField) +(L +(SrcSpanAnn (ApiAnnNotUsed) { <combineSrcSpans: files differ> }) diff --git a/testsuite/tests/parser/should_compile/T15323.stderr b/testsuite/tests/parser/should_compile/T15323.stderr index 91f85727f6..1c7fdc68c6 100644 --- a/testsuite/tests/parser/should_compile/T15323.stderr +++ b/testsuite/tests/parser/should_compile/T15323.stderr @@ -1,100 +1,234 @@ ==================== Parser AST ==================== -({ T15323.hs:1:1 } +(L + { T15323.hs:1:1 } (HsModule + (ApiAnn + (Anchor + { T15323.hs:1:1 } + (UnchangedAnchor)) + (AnnsModule + [(AddApiAnn AnnModule (AR { T15323.hs:3:1-6 })) + ,(AddApiAnn AnnWhere (AR { T15323.hs:3:15-19 }))] + (AnnList + (Nothing) + (Nothing) + (Nothing) + [] + [])) + (AnnCommentsBalanced + [] + [(L + (Anchor + { T15323.hs:7:1 } + (UnchangedAnchor)) + (AnnComment + (AnnEofComment) + { T15323.hs:7:1 }))])) (VirtualBraces (1)) (Just - ({ T15323.hs:3:8-13 } + (L + { T15323.hs:3:8-13 } {ModuleName: T15323})) (Nothing) [] - [({ T15323.hs:(5,1)-(6,54) } + [(L + (SrcSpanAnn (ApiAnn + (Anchor + { T15323.hs:(5,1)-(6,54) } + (UnchangedAnchor)) + (AnnListItem + []) + (AnnComments + [])) { T15323.hs:(5,1)-(6,54) }) (TyClD (NoExtField) (DataDecl - (NoExtField) - ({ T15323.hs:5:6-17 } + (ApiAnn + (Anchor + { T15323.hs:(5,1)-(6,54) } + (UnchangedAnchor)) + [(AddApiAnn AnnData (AR { T15323.hs:5:1-4 })) + ,(AddApiAnn AnnWhere (AR { T15323.hs:5:21-25 }))] + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { T15323.hs:5:6-17 }) (Unqual {OccName: MaybeDefault})) (HsQTvs (NoExtField) - [({ T15323.hs:5:19 } + [(L + (SrcSpanAnn (ApiAnnNotUsed) { T15323.hs:5:19 }) (UserTyVar - (NoExtField) + (ApiAnn + (Anchor + { T15323.hs:5:19 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (()) - ({ T15323.hs:5:19 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { T15323.hs:5:19 }) (Unqual {OccName: v}))))]) (Prefix) (HsDataDefn - (NoExtField) + (ApiAnn + (Anchor + { T15323.hs:(5,1)-(6,54) } + (UnchangedAnchor)) + [(AddApiAnn AnnData (AR { T15323.hs:5:1-4 })) + ,(AddApiAnn AnnWhere (AR { T15323.hs:5:21-25 }))] + (AnnComments + [])) (DataType) (Nothing) (Nothing) (Nothing) - [({ T15323.hs:6:5-54 } + [(L + (SrcSpanAnn (ApiAnnNotUsed) { T15323.hs:6:5-54 }) (ConDeclGADT - (NoExtField) - [({ T15323.hs:6:5-14 } + (ApiAnn + (Anchor + { T15323.hs:6:5-54 } + (UnchangedAnchor)) + [(AddApiAnn AnnDcolon (AR { T15323.hs:6:17-18 }))] + (AnnComments + [])) + [(L + (SrcSpanAnn (ApiAnnNotUsed) { T15323.hs:6:5-14 }) (Unqual {OccName: TestParens}))] - ({ T15323.hs:6:20-54 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { T15323.hs:6:20-54 }) (HsOuterExplicit - (NoExtField) - [({ T15323.hs:6:27 } + (ApiAnn + (Anchor + { T15323.hs:6:20-25 } + (UnchangedAnchor)) + ((,) + (AddApiAnn AnnForall (AR { T15323.hs:6:20-25 })) + (AddApiAnn AnnDot (AR { T15323.hs:6:29 }))) + (AnnComments + [])) + [(L + (SrcSpanAnn (ApiAnnNotUsed) { T15323.hs:6:27 }) (UserTyVar - (NoExtField) + (ApiAnn + (Anchor + { T15323.hs:6:27 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (SpecifiedSpec) - ({ T15323.hs:6:27 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { T15323.hs:6:27 }) (Unqual {OccName: v}))))])) (Just - ({ T15323.hs:6:31-36 } - [({ T15323.hs:6:31-36 } + (L + (SrcSpanAnn (ApiAnn + (Anchor + { T15323.hs:6:31-36 } + (UnchangedAnchor)) + (AnnContext + (Just + ((,) + (NormalSyntax) + (AR { T15323.hs:6:38-39 }))) + [] + []) + (AnnComments + [])) { T15323.hs:6:31-36 }) + [(L + (SrcSpanAnn (ApiAnnNotUsed) { T15323.hs:6:31-36 }) (HsParTy - (NoExtField) - ({ T15323.hs:6:32-35 } + (ApiAnn + (Anchor + { T15323.hs:6:31 } + (UnchangedAnchor)) + (AnnParen + (AnnParens) + (AR { T15323.hs:6:31 }) + (AR { T15323.hs:6:36 })) + (AnnComments + [])) + (L + (SrcSpanAnn (ApiAnnNotUsed) { T15323.hs:6:32-35 }) (HsAppTy (NoExtField) - ({ T15323.hs:6:32-33 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { T15323.hs:6:32-33 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { T15323.hs:6:32-33 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ T15323.hs:6:32-33 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { T15323.hs:6:32-33 }) (Unqual {OccName: Eq})))) - ({ T15323.hs:6:35 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { T15323.hs:6:35 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { T15323.hs:6:35 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ T15323.hs:6:35 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { T15323.hs:6:35 }) (Unqual {OccName: v}))))))))])) (PrefixConGADT []) - ({ T15323.hs:6:41-54 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { T15323.hs:6:41-54 }) (HsAppTy (NoExtField) - ({ T15323.hs:6:41-52 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { T15323.hs:6:41-52 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { T15323.hs:6:41-52 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ T15323.hs:6:41-52 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { T15323.hs:6:41-52 }) (Unqual {OccName: MaybeDefault})))) - ({ T15323.hs:6:54 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { T15323.hs:6:54 }) (HsTyVar - (NoExtField) + (ApiAnn + (Anchor + { T15323.hs:6:54 } + (UnchangedAnchor)) + [] + (AnnComments + [])) (NotPromoted) - ({ T15323.hs:6:54 } + (L + (SrcSpanAnn (ApiAnnNotUsed) { T15323.hs:6:54 }) (Unqual {OccName: v})))))) (Nothing)))] - ({ <no location info> } - [])))))] + []))))] (Nothing) (Nothing))) - - diff --git a/testsuite/tests/parser/should_compile/all.T b/testsuite/tests/parser/should_compile/all.T index d2b3a69385..64c0138ca1 100644 --- a/testsuite/tests/parser/should_compile/all.T +++ b/testsuite/tests/parser/should_compile/all.T @@ -132,11 +132,12 @@ def only_MG_loc(x): """ Only compares the location embedded inside the MatchGroup, which has the form (MG - (NoExt) - ({ <location> + (NoExtField) + (L + (SrcSpanAnn (ApiAnnNotUsed) { <location> }) """ ls = x.split("\n") - mgLocs = (loc.strip() for (mg,loc) in zip(ls,ls[2:]) + mgLocs = (loc.strip() for (mg,loc) in zip(ls,ls[3:]) if mg.strip().startswith("(MG")) return '\n'.join(mgLocs) test('T15279', normalise_errmsg_fun(only_MG_loc), compile, ['']) |