Skip to content

Instantly share code, notes, and snippets.

@pbogdan

pbogdan/ghc-syb-utils-tests

Created June 27, 2017 18:07
Show Gist options
  • Save pbogdan/8ba2d3e8d867e3dfa881e4290c38973a to your computer and use it in GitHub Desktop.
Save pbogdan/8ba2d3e8d867e3dfa881e4290c38973a to your computer and use it in GitHub Desktop.
Download ZIP
Raw
ghc-syb-utils-tests
===== Parsed Source ==================================
(L {test/test-cases/GithubIssue9.hs:1:1}
(HsModule
(Just
(L {test/test-cases/GithubIssue9.hs:2:8-19} {ModuleName: GithubIssue9}))
(Nothing)
[
(L {test/test-cases/GithubIssue9.hs:4:1-26}
(ImportDecl
(Nothing)
(L {test/test-cases/GithubIssue9.hs:4:8-26} {ModuleName: Language.Haskell.TH})
(Nothing)
(False)
(False)
(False)
(False)
(Nothing)
(Nothing)))]
[
(L {test/test-cases/GithubIssue9.hs:6:1-12}
(SigD
(TypeSig
[
(L {test/test-cases/GithubIssue9.hs:6:1-3}
(Unqual {OccName: foo}))]
(HsIB
(PlaceHolder)
(HsWC
(PlaceHolder)
(Nothing)
(L {test/test-cases/GithubIssue9.hs:6:8-12}
(HsAppsTy
[
(L {test/test-cases/GithubIssue9.hs:6:8}
(HsAppPrefix
(L {test/test-cases/GithubIssue9.hs:6:8}
(HsTyVar
(L {test/test-cases/GithubIssue9.hs:6:8}
(Unqual {OccName: Q})))))),
(L {test/test-cases/GithubIssue9.hs:6:10-12}
(HsAppPrefix
(L {test/test-cases/GithubIssue9.hs:6:10-12}
(HsTyVar
(L {test/test-cases/GithubIssue9.hs:6:10-12}
(Unqual {OccName: Exp}))))))]))))))),
(L {test/test-cases/GithubIssue9.hs:7:1-21}
(ValD
(FunBind
(L {test/test-cases/GithubIssue9.hs:7:1-3}
(Unqual {OccName: foo}))
(MG
(L {test/test-cases/GithubIssue9.hs:7:1-21}
[
(L {test/test-cases/GithubIssue9.hs:7:1-21}
(Match
(FunBindMatch
(L {test/test-cases/GithubIssue9.hs:7:1-3}
(Unqual {OccName: foo}))
(False))
[]
(Nothing)
(GRHSs
[
(L {test/test-cases/GithubIssue9.hs:7:5-21}
(GRHS
[]
(L {test/test-cases/GithubIssue9.hs:7:7-21}
(HsBracket
(ExpBr
(L {test/test-cases/GithubIssue9.hs:7:10-18}
(HsLam
(MG
(L {test/test-cases/GithubIssue9.hs:7:10-18}
[
(L {test/test-cases/GithubIssue9.hs:7:10-18}
(Match
(NonFunBindMatch)
[
(L {test/test-cases/GithubIssue9.hs:7:11}
(VarPat
(L {test/test-cases/GithubIssue9.hs:7:11}
(Unqual {OccName: f}))))]
(Nothing)
(GRHSs
[
(L {test/test-cases/GithubIssue9.hs:7:16-18}
(GRHS
[]
(L {test/test-cases/GithubIssue9.hs:7:16-18}
(HsApp
(L {test/test-cases/GithubIssue9.hs:7:16}
(HsVar
(L {test/test-cases/GithubIssue9.hs:7:16}
(Unqual {OccName: f}))))
(L {test/test-cases/GithubIssue9.hs:7:18}
(HsOverLit {HsOverLit:2}))))))]
(L {<no location info>}
(EmptyLocalBinds)))))])
[]
(PlaceHolder)
(FromSource)))))))))]
(L {<no location info>}
(EmptyLocalBinds)))))])
[]
(PlaceHolder)
(FromSource))
(WpHole)
(PlaceHolder)
[])))]
(Nothing)
(Nothing)))
===== Renamed Source =================================
(Just
((,,,)
(HsGroup
(ValBindsOut
[
((,)
(NonRecursive) {Bag(Located (HsBind Name)):
[
(L {test/test-cases/GithubIssue9.hs:7:1-21}
(FunBind
(L {test/test-cases/GithubIssue9.hs:7:1-3} {Name: foo})
(MG
(L {test/test-cases/GithubIssue9.hs:7:1-21}
[
(L {test/test-cases/GithubIssue9.hs:7:1-21}
(Match
(FunBindMatch
(L {test/test-cases/GithubIssue9.hs:7:1-3} {Name: foo})
(False))
[]
(Nothing)
(GRHSs
[
(L {test/test-cases/GithubIssue9.hs:7:5-21}
(GRHS
[]
(L {test/test-cases/GithubIssue9.hs:7:7-21}
(HsRnBracketOut
(ExpBr
(L {test/test-cases/GithubIssue9.hs:7:10-18}
(HsLam
(MG
(L {test/test-cases/GithubIssue9.hs:7:10-18}
[
(L {test/test-cases/GithubIssue9.hs:7:10-18}
(Match
(NonFunBindMatch)
[
(L {test/test-cases/GithubIssue9.hs:7:11}
(VarPat
(L {test/test-cases/GithubIssue9.hs:7:11} {Name: f})))]
(Nothing)
(GRHSs
[
(L {test/test-cases/GithubIssue9.hs:7:16-18}
(GRHS
[]
(L {test/test-cases/GithubIssue9.hs:7:16-18}
(HsApp
(L {test/test-cases/GithubIssue9.hs:7:16}
(HsVar
(L {test/test-cases/GithubIssue9.hs:7:16} {Name: f})))
(L {test/test-cases/GithubIssue9.hs:7:18}
(HsOverLit
(OverLit
(HsIntegral "2"
(2))
(False)
(HsVar
(L {<no location info>} {Name: fromInteger}))
(PlaceHolder))))))))]
(L {<no location info>}
(EmptyLocalBinds)))))])
[]
(PlaceHolder)
(FromSource)))))
[]))))]
(L {<no location info>}
(EmptyLocalBinds)))))])
[]
(PlaceHolder)
(FromSource))
(WpHole) {NameSet:
[]}
[]))]})]
[
(L {test/test-cases/GithubIssue9.hs:6:1-12}
(TypeSig
[
(L {test/test-cases/GithubIssue9.hs:6:1-3} {Name: foo})]
(HsIB
[]
(HsWC
[]
(Nothing)
(L {test/test-cases/GithubIssue9.hs:6:8-12}
(HsAppTy
(L {test/test-cases/GithubIssue9.hs:6:8}
(HsTyVar
(L {test/test-cases/GithubIssue9.hs:6:8} {Name: Q})))
(L {test/test-cases/GithubIssue9.hs:6:10-12}
(HsTyVar
(L {test/test-cases/GithubIssue9.hs:6:10-12} {Name: Exp})))))))))])
[]
[]
[]
[]
[]
[]
[]
[]
[]
[]
[]
[])
[
(L {test/test-cases/GithubIssue9.hs:2:8-19}
(ImportDecl
(Nothing)
(L {test/test-cases/GithubIssue9.hs:2:8-19} {ModuleName: Prelude})
(Nothing)
(False)
(False)
(False)
(True)
(Nothing)
(Nothing))),
(L {test/test-cases/GithubIssue9.hs:4:1-26}
(ImportDecl
(Nothing)
(L {test/test-cases/GithubIssue9.hs:4:8-26} {ModuleName: Language.Haskell.TH})
(Nothing)
(False)
(False)
(False)
(False)
(Nothing)
(Nothing)))]
(Nothing)
(Nothing)))
===== Type-checked Source ============================
{Bag(Located (HsBind Var)):
[
(L {<no location info>}
(VarBind {Var: $trModule}
(L {<no location info>}
(HsApp
(L {<no location info>}
(HsApp
(L {<no location info>}
(HsVar
(L {<no location info>} {Var: Module})))
(L {<no location info>}
(HsApp
(L {<no location info>}
(HsVar
(L {<no location info>} {Var: TrNameS})))
(L {<no location info>}
(HsLit
(HsStringPrim "main" {ByteString: "main"})))))))
(L {<no location info>}
(HsApp
(L {<no location info>}
(HsVar
(L {<no location info>} {Var: TrNameS})))
(L {<no location info>}
(HsLit
(HsStringPrim "GithubIssue9" {ByteString: "GithubIssue9"})))))))
(False))),
(L {test/test-cases/GithubIssue9.hs:6:1-12}
(AbsBindsSig
[]
[] {Var: foo}
(SpecPrags
[])
({abstract:TcEvBinds})
(L {test/test-cases/GithubIssue9.hs:7:1-21}
(FunBind
(L {test/test-cases/GithubIssue9.hs:7:1-3} {Var: foo})
(MG
(L {test/test-cases/GithubIssue9.hs:7:1-21}
[
(L {test/test-cases/GithubIssue9.hs:7:1-21}
(Match
(NonFunBindMatch)
[]
(Nothing)
(GRHSs
[
(L {test/test-cases/GithubIssue9.hs:7:5-21}
(GRHS
[]
(L {test/test-cases/GithubIssue9.hs:7:7-21}
(HsTcBracketOut
(ExpBr
(L {test/test-cases/GithubIssue9.hs:7:10-18}
(HsLam
(MG
(L {test/test-cases/GithubIssue9.hs:7:10-18}
[
(L {test/test-cases/GithubIssue9.hs:7:10-18}
(Match
(NonFunBindMatch)
[
(L {test/test-cases/GithubIssue9.hs:7:11}
(VarPat
(L {test/test-cases/GithubIssue9.hs:7:11} {Name: f})))]
(Nothing)
(GRHSs
[
(L {test/test-cases/GithubIssue9.hs:7:16-18}
(GRHS
[]
(L {test/test-cases/GithubIssue9.hs:7:16-18}
(HsApp
(L {test/test-cases/GithubIssue9.hs:7:16}
(HsVar
(L {test/test-cases/GithubIssue9.hs:7:16} {Name: f})))
(L {test/test-cases/GithubIssue9.hs:7:18}
(HsOverLit
(OverLit
(HsIntegral "2"
(2))
(False)
(HsVar
(L {<no location info>} {Name: fromInteger}))
(PlaceHolder))))))))]
(L {<no location info>}
(EmptyLocalBinds)))))])
[]
(PlaceHolder)
(FromSource)))))
[]))))]
(L {<no location info>}
(EmptyLocalBinds)))))])
[]
(TyConApp
({abstract:TyCon})
[
(TyConApp
({abstract:TyCon})
[])])
(FromSource))
(WpHole) {!NameSet placeholder here!}
[]))))]}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment