projects
/
ghc-hetmet.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
677e2a15ca10ee6b6dcddca6a91947f7579b03c9
[ghc-hetmet.git]
/
ghc
/
compiler
/
tests
/
typecheck
/
should_succeed
/
tc035.stderr
1
Typechecked:
2
AbsBinds [a.t10] [] [(g.t1, ShouldSucceed.g)]
3
{- rec -}
4
g.t1 :: ShouldSucceed.AnnExpr a.t10 -> [[Char]]
5
g.t1 (a.r60, (ShouldSucceed.Var name.r61))
6
= [name.r61] ([Char])
7
g.t1 (a.r62, (ShouldSucceed.App e1.r63 e2.r64))
8
= ((++) [Char]) (g.t1 e1.r63) (g.t1 e2.r64)
9