diff options
Diffstat (limited to 'testsuite/tests/parser/should_compile/DumpRenamedAst.stderr')
-rw-r--r-- | testsuite/tests/parser/should_compile/DumpRenamedAst.stderr | 639 |
1 files changed, 450 insertions, 189 deletions
diff --git a/testsuite/tests/parser/should_compile/DumpRenamedAst.stderr b/testsuite/tests/parser/should_compile/DumpRenamedAst.stderr index c873ee148b..2c1a0ec7df 100644 --- a/testsuite/tests/parser/should_compile/DumpRenamedAst.stderr +++ b/testsuite/tests/parser/should_compile/DumpRenamedAst.stderr @@ -1,193 +1,454 @@ ==================== Renamer ==================== -(HsGroup - (ValBindsOut - [ - ((,) - (NonRecursive) {Bag(Located (HsBind Name)): - [ - ({ DumpRenamedAst.hs:11:1-23 } - (FunBind - ({ DumpRenamedAst.hs:11:1-4 }{Name: main:DumpRenamedAst.main{v}}) - (MG - ({ DumpRenamedAst.hs:11:1-23 } - [ - ({ DumpRenamedAst.hs:11:1-23 } - (Match - (FunRhs - ({ DumpRenamedAst.hs:11:1-4 }{Name: main:DumpRenamedAst.main{v}}) - (Prefix) - (NoSrcStrict)) - [] - (Nothing) - (GRHSs - [ - ({ DumpRenamedAst.hs:11:6-23 } - (GRHS - [] - ({ DumpRenamedAst.hs:11:8-23 } - (HsApp - ({ DumpRenamedAst.hs:11:8-15 } - (HsVar - ({ DumpRenamedAst.hs:11:8-15 }{Name: base:System.IO.putStrLn{v}}))) - ({ DumpRenamedAst.hs:11:17-23 } - (HsLit - (HsString - (SourceText "\"hello\"") {FastString: "hello"})))))))] - ({ <no location info> } - (EmptyLocalBinds)))))]) - [] - (PlaceHolder) - (FromSource)) - (WpHole) {NameSet: - []} - []))]})] - []) - [] - [ - (TyClGroup - [ - ({ DumpRenamedAst.hs:5:1-30 } - (DataDecl - ({ DumpRenamedAst.hs:5:6-10 }{Name: main:DumpRenamedAst.Peano{tc}}) - (HsQTvs - [] - [] {NameSet: - []}) - (Prefix) - (HsDataDefn - (DataType) - ({ <no location info> } - []) - (Nothing) - (Nothing) - [ - ({ DumpRenamedAst.hs:5:14-17 } - (ConDeclH98 - ({ DumpRenamedAst.hs:5:14-17 }{Name: main:DumpRenamedAst.Zero{d}}) - (Nothing) - (Just - ({ <no location info> } - [])) - (PrefixCon - []) - (Nothing))), - ({ DumpRenamedAst.hs:5:21-30 } - (ConDeclH98 - ({ DumpRenamedAst.hs:5:21-24 }{Name: main:DumpRenamedAst.Succ{d}}) - (Nothing) - (Just - ({ <no location info> } - [])) - (PrefixCon - [ - ({ DumpRenamedAst.hs:5:26-30 } - (HsTyVar - (NotPromoted) - ({ DumpRenamedAst.hs:5:26-30 }{Name: main:DumpRenamedAst.Peano{tc}})))]) - (Nothing)))] - ({ <no location info> } - [])) - (True) {NameSet: - [{Name: main:DumpRenamedAst.Peano{tc}}]}))] - [] - []), - (TyClGroup - [ - ({ DumpRenamedAst.hs:7:1-39 } - (FamDecl - (FamilyDecl - (ClosedTypeFamily - (Just - [ - ({ DumpRenamedAst.hs:8:3-36 } - (TyFamEqn - ({ DumpRenamedAst.hs:8:3-8 }{Name: main:DumpRenamedAst.Length{tc}}) - (HsIB - [{Name: a{tv}},{Name: as{tv}}] - [ - ({ DumpRenamedAst.hs:8:10-17 } - (HsParTy - ({ DumpRenamedAst.hs:8:11-16 } - (HsOpTy - ({ DumpRenamedAst.hs:8:11 } - (HsTyVar - (NotPromoted) - ({ DumpRenamedAst.hs:8:11 }{Name: a{tv}}))) - ({ DumpRenamedAst.hs:8:13 }{Name: ghc-prim:GHC.Types.:{(w) d}}) - ({ DumpRenamedAst.hs:8:15-16 } - (HsTyVar - (NotPromoted) - ({ DumpRenamedAst.hs:8:15-16 }{Name: as{tv}})))))))] - (True)) - (Prefix) - ({ DumpRenamedAst.hs:8:21-36 } - (HsAppTy - ({ DumpRenamedAst.hs:8:21-24 } - (HsTyVar - (NotPromoted) - ({ DumpRenamedAst.hs:8:21-24 }{Name: main:DumpRenamedAst.Succ{d}}))) - ({ DumpRenamedAst.hs:8:26-36 } - (HsParTy - ({ DumpRenamedAst.hs:8:27-35 } - (HsAppTy - ({ DumpRenamedAst.hs:8:27-32 } - (HsTyVar - (NotPromoted) - ({ DumpRenamedAst.hs:8:27-32 }{Name: main:DumpRenamedAst.Length{tc}}))) - ({ DumpRenamedAst.hs:8:34-35 } - (HsTyVar - (NotPromoted) - ({ DumpRenamedAst.hs:8:34-35 }{Name: as{tv}}))))))))))), - ({ DumpRenamedAst.hs:9:3-24 } - (TyFamEqn - ({ DumpRenamedAst.hs:9:3-8 }{Name: main:DumpRenamedAst.Length{tc}}) - (HsIB - [] - [ - ({ DumpRenamedAst.hs:9:10-12 } - (HsExplicitListTy - (Promoted) - (PlaceHolder) - []))] - (True)) - (Prefix) - ({ DumpRenamedAst.hs:9:21-24 } - (HsTyVar - (NotPromoted) - ({ DumpRenamedAst.hs:9:21-24 }{Name: main:DumpRenamedAst.Zero{d}})))))])) - ({ DumpRenamedAst.hs:7:13-18 }{Name: main:DumpRenamedAst.Length{tc}}) - (HsQTvs - [{Name: k{tv}}] - [ - ({ DumpRenamedAst.hs:7:20-30 } - (KindedTyVar - ({ DumpRenamedAst.hs:7:21-22 }{Name: as{tv}}) - ({ DumpRenamedAst.hs:7:27-29 } - (HsListTy - ({ DumpRenamedAst.hs:7:28 } - (HsTyVar - (NotPromoted) - ({ DumpRenamedAst.hs:7:28 }{Name: k{tv}})))))))] {NameSet: - []}) - (Prefix) - ({ DumpRenamedAst.hs:7:32-39 } - (KindSig - ({ DumpRenamedAst.hs:7:35-39 } - (HsTyVar - (NotPromoted) - ({ DumpRenamedAst.hs:7:35-39 }{Name: main:DumpRenamedAst.Peano{tc}}))))) - (Nothing))))] - [] - [])] - [] - [] - [] - [] - [] - [] - [] - [] - []) +(Just + ((,,,) + (HsGroup + (NoExt) + (XValBindsLR + (NValBinds + [((,) + (NonRecursive) + {Bag(Located (HsBind Name)): + [({ DumpRenamedAst.hs:18:1-23 } + (FunBind + {NameSet: + []} + ({ DumpRenamedAst.hs:18:1-4 } + {Name: DumpRenamedAst.main}) + (MG + (NoExt) + ({ DumpRenamedAst.hs:18:1-23 } + [({ DumpRenamedAst.hs:18:1-23 } + (Match + (NoExt) + (FunRhs + ({ DumpRenamedAst.hs:18:1-4 } + {Name: DumpRenamedAst.main}) + (Prefix) + (NoSrcStrict)) + [] + (GRHSs + (NoExt) + [({ DumpRenamedAst.hs:18:6-23 } + (GRHS + (NoExt) + [] + ({ DumpRenamedAst.hs:18:8-23 } + (HsApp + (NoExt) + ({ DumpRenamedAst.hs:18:8-15 } + (HsVar + (NoExt) + ({ DumpRenamedAst.hs:18:8-15 } + {Name: System.IO.putStrLn}))) + ({ DumpRenamedAst.hs:18:17-23 } + (HsLit + (NoExt) + (HsString + (SourceText + "\"hello\"") + {FastString: "hello"})))))))] + ({ <no location info> } + (EmptyLocalBinds + (NoExt))))))]) + (FromSource)) + (WpHole) + []))]})] + [])) + [] + [(TyClGroup + (NoExt) + [({ DumpRenamedAst.hs:6:1-30 } + (DataDecl + (DataDeclRn + (True) + {NameSet: + [{Name: DumpRenamedAst.Peano}]}) + ({ DumpRenamedAst.hs:6:6-10 } + {Name: DumpRenamedAst.Peano}) + (HsQTvs + (HsQTvsRn + [] + {NameSet: + []}) + []) + (Prefix) + (HsDataDefn + (NoExt) + (DataType) + ({ <no location info> } + []) + (Nothing) + (Nothing) + [({ DumpRenamedAst.hs:6:14-17 } + (ConDeclH98 + (NoExt) + ({ DumpRenamedAst.hs:6:14-17 } + {Name: DumpRenamedAst.Zero}) + ({ <no location info> } + (False)) + [] + (Nothing) + (PrefixCon + []) + (Nothing))) + ,({ DumpRenamedAst.hs:6:21-30 } + (ConDeclH98 + (NoExt) + ({ DumpRenamedAst.hs:6:21-24 } + {Name: DumpRenamedAst.Succ}) + ({ <no location info> } + (False)) + [] + (Nothing) + (PrefixCon + [({ DumpRenamedAst.hs:6:26-30 } + (HsTyVar + (NoExt) + (NotPromoted) + ({ DumpRenamedAst.hs:6:26-30 } + {Name: DumpRenamedAst.Peano})))]) + (Nothing)))] + ({ <no location info> } + []))))] + [] + []) + ,(TyClGroup + (NoExt) + [({ DumpRenamedAst.hs:8:1-39 } + (FamDecl + (NoExt) + (FamilyDecl + (NoExt) + (ClosedTypeFamily + (Just + [({ DumpRenamedAst.hs:9:3-36 } + (HsIB + [{Name: a} + ,{Name: as}] + (FamEqn + (NoExt) + ({ DumpRenamedAst.hs:9:3-8 } + {Name: DumpRenamedAst.Length}) + [({ DumpRenamedAst.hs:9:10-17 } + (HsParTy + (NoExt) + ({ DumpRenamedAst.hs:9:11-16 } + (HsOpTy + (NoExt) + ({ DumpRenamedAst.hs:9:11 } + (HsTyVar + (NoExt) + (NotPromoted) + ({ DumpRenamedAst.hs:9:11 } + {Name: a}))) + ({ DumpRenamedAst.hs:9:13 } + {Name: :}) + ({ DumpRenamedAst.hs:9:15-16 } + (HsTyVar + (NoExt) + (NotPromoted) + ({ DumpRenamedAst.hs:9:15-16 } + {Name: as})))))))] + (Prefix) + ({ DumpRenamedAst.hs:9:21-36 } + (HsAppTy + (NoExt) + ({ DumpRenamedAst.hs:9:21-24 } + (HsTyVar + (NoExt) + (NotPromoted) + ({ DumpRenamedAst.hs:9:21-24 } + {Name: DumpRenamedAst.Succ}))) + ({ DumpRenamedAst.hs:9:26-36 } + (HsParTy + (NoExt) + ({ DumpRenamedAst.hs:9:27-35 } + (HsAppTy + (NoExt) + ({ DumpRenamedAst.hs:9:27-32 } + (HsTyVar + (NoExt) + (NotPromoted) + ({ DumpRenamedAst.hs:9:27-32 } + {Name: DumpRenamedAst.Length}))) + ({ DumpRenamedAst.hs:9:34-35 } + (HsTyVar + (NoExt) + (NotPromoted) + ({ DumpRenamedAst.hs:9:34-35 } + {Name: as})))))))))))) + ,({ DumpRenamedAst.hs:10:3-24 } + (HsIB + [] + (FamEqn + (NoExt) + ({ DumpRenamedAst.hs:10:3-8 } + {Name: DumpRenamedAst.Length}) + [({ DumpRenamedAst.hs:10:10-12 } + (HsExplicitListTy + (NoExt) + (Promoted) + []))] + (Prefix) + ({ DumpRenamedAst.hs:10:21-24 } + (HsTyVar + (NoExt) + (NotPromoted) + ({ DumpRenamedAst.hs:10:21-24 } + {Name: DumpRenamedAst.Zero}))))))])) + ({ DumpRenamedAst.hs:8:13-18 } + {Name: DumpRenamedAst.Length}) + (HsQTvs + (HsQTvsRn + [{Name: k}] + {NameSet: + []}) + [({ DumpRenamedAst.hs:8:20-30 } + (KindedTyVar + (NoExt) + ({ DumpRenamedAst.hs:8:21-22 } + {Name: as}) + ({ DumpRenamedAst.hs:8:27-29 } + (HsListTy + (NoExt) + ({ DumpRenamedAst.hs:8:28 } + (HsTyVar + (NoExt) + (NotPromoted) + ({ DumpRenamedAst.hs:8:28 } + {Name: k})))))))]) + (Prefix) + ({ DumpRenamedAst.hs:8:32-39 } + (KindSig + (NoExt) + ({ DumpRenamedAst.hs:8:35-39 } + (HsTyVar + (NoExt) + (NotPromoted) + ({ DumpRenamedAst.hs:8:35-39 } + {Name: DumpRenamedAst.Peano}))))) + (Nothing))))] + [] + []) + ,(TyClGroup + (NoExt) + [({ DumpRenamedAst.hs:12:1-30 } + (FamDecl + (NoExt) + (FamilyDecl + (NoExt) + (DataFamily) + ({ DumpRenamedAst.hs:12:13-15 } + {Name: DumpRenamedAst.Nat}) + (HsQTvs + (HsQTvsRn + [{Name: k}] + {NameSet: + []}) + []) + (Prefix) + ({ DumpRenamedAst.hs:12:17-30 } + (KindSig + (NoExt) + ({ DumpRenamedAst.hs:12:20-30 } + (HsFunTy + (NoExt) + ({ DumpRenamedAst.hs:12:20 } + (HsTyVar + (NoExt) + (NotPromoted) + ({ DumpRenamedAst.hs:12:20 } + {Name: k}))) + ({ DumpRenamedAst.hs:12:25-30 } + (HsFunTy + (NoExt) + ({ DumpRenamedAst.hs:12:25 } + (HsTyVar + (NoExt) + (NotPromoted) + ({ DumpRenamedAst.hs:12:25 } + {Name: k}))) + ({ DumpRenamedAst.hs:12:30 } + (HsStarTy + (NoExt) + (False))))))))) + (Nothing))))] + [] + [({ DumpRenamedAst.hs:(15,1)-(16,45) } + (DataFamInstD + (NoExt) + (DataFamInstDecl + (HsIB + [{Name: k} + ,{Name: a}] + (FamEqn + (NoExt) + ({ DumpRenamedAst.hs:15:18-20 } + {Name: DumpRenamedAst.Nat}) + [({ DumpRenamedAst.hs:15:22-34 } + (HsKindSig + (NoExt) + ({ DumpRenamedAst.hs:15:23 } + (HsTyVar + (NoExt) + (NotPromoted) + ({ DumpRenamedAst.hs:15:23 } + {Name: a}))) + ({ DumpRenamedAst.hs:15:28-33 } + (HsFunTy + (NoExt) + ({ DumpRenamedAst.hs:15:28 } + (HsTyVar + (NoExt) + (NotPromoted) + ({ DumpRenamedAst.hs:15:28 } + {Name: k}))) + ({ DumpRenamedAst.hs:15:33 } + (HsStarTy + (NoExt) + (False)))))))] + (Prefix) + (HsDataDefn + (NoExt) + (NewType) + ({ <no location info> } + []) + (Nothing) + (Just + ({ DumpRenamedAst.hs:15:39-51 } + (HsFunTy + (NoExt) + ({ DumpRenamedAst.hs:15:39-46 } + (HsParTy + (NoExt) + ({ DumpRenamedAst.hs:15:40-45 } + (HsFunTy + (NoExt) + ({ DumpRenamedAst.hs:15:40 } + (HsTyVar + (NoExt) + (NotPromoted) + ({ DumpRenamedAst.hs:15:40 } + {Name: k}))) + ({ DumpRenamedAst.hs:15:45 } + (HsStarTy + (NoExt) + (False))))))) + ({ DumpRenamedAst.hs:15:51 } + (HsStarTy + (NoExt) + (False)))))) + [({ DumpRenamedAst.hs:16:3-45 } + (ConDeclGADT + (NoExt) + [({ DumpRenamedAst.hs:16:3-5 } + {Name: DumpRenamedAst.Nat})] + ({ DumpRenamedAst.hs:16:10-45 } + (False)) + (HsQTvs + (HsQTvsRn + [{Name: f} + ,{Name: g}] + {NameSet: + []}) + []) + (Nothing) + (PrefixCon + [({ DumpRenamedAst.hs:16:10-34 } + (HsParTy + (NoExt) + ({ DumpRenamedAst.hs:16:11-33 } + (HsForAllTy + (NoExt) + [({ DumpRenamedAst.hs:16:18-19 } + (UserTyVar + (NoExt) + ({ DumpRenamedAst.hs:16:18-19 } + {Name: xx})))] + ({ DumpRenamedAst.hs:16:22-33 } + (HsFunTy + (NoExt) + ({ DumpRenamedAst.hs:16:22-25 } + (HsAppTy + (NoExt) + ({ DumpRenamedAst.hs:16:22 } + (HsTyVar + (NoExt) + (NotPromoted) + ({ DumpRenamedAst.hs:16:22 } + {Name: f}))) + ({ DumpRenamedAst.hs:16:24-25 } + (HsTyVar + (NoExt) + (NotPromoted) + ({ DumpRenamedAst.hs:16:24-25 } + {Name: xx}))))) + ({ DumpRenamedAst.hs:16:30-33 } + (HsAppTy + (NoExt) + ({ DumpRenamedAst.hs:16:30 } + (HsTyVar + (NoExt) + (NotPromoted) + ({ DumpRenamedAst.hs:16:30 } + {Name: g}))) + ({ DumpRenamedAst.hs:16:32-33 } + (HsTyVar + (NoExt) + (NotPromoted) + ({ DumpRenamedAst.hs:16:32-33 } + {Name: xx})))))))))))]) + ({ DumpRenamedAst.hs:16:39-45 } + (HsAppTy + (NoExt) + ({ DumpRenamedAst.hs:16:39-43 } + (HsAppTy + (NoExt) + ({ DumpRenamedAst.hs:16:39-41 } + (HsTyVar + (NoExt) + (NotPromoted) + ({ DumpRenamedAst.hs:16:39-41 } + {Name: DumpRenamedAst.Nat}))) + ({ DumpRenamedAst.hs:16:43 } + (HsTyVar + (NoExt) + (NotPromoted) + ({ DumpRenamedAst.hs:16:43 } + {Name: f}))))) + ({ DumpRenamedAst.hs:16:45 } + (HsTyVar + (NoExt) + (NotPromoted) + ({ DumpRenamedAst.hs:16:45 } + {Name: g}))))) + (Nothing)))] + ({ <no location info> } + [])))))))])] + [] + [] + [] + [] + [] + [] + [] + []) + [({ DumpRenamedAst.hs:4:8-21 } + (ImportDecl + (NoExt) + (NoSourceText) + ({ DumpRenamedAst.hs:4:8-21 } + {ModuleName: Prelude}) + (Nothing) + (False) + (False) + (False) + (True) + (Nothing) + (Nothing)))] + (Nothing) + (Nothing))) + |