projects
/
ghc-hetmet.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
ac3d3126595143a5d5ee37a0bf01850e098d2f5a
[ghc-hetmet.git]
/
ghc
/
compiler
/
tests
/
typecheck
/
should_succeed
/
tc015.stderr
1
Typechecked:
2
AbsBinds [tt5, tt6, ot2] [] [(u.t1, ShouldSucceed.u)]
3
{- nonrec -}
4
u.t1 :: ot2 -> (tt5, tt6) -> ot2
5
u.t1 x.r54 = \ (y.r55, z.r56)
6
-> x.r54
7