projects
/
ghc-hetmet.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
[project @ 1996-01-08 20:28:12 by partain]
[ghc-hetmet.git]
/
ghc
/
compiler
/
tests
/
typecheck
/
should_succeed
/
tc020.stderr
1
Typechecked:
2
AbsBinds [tt5] [] [(f.t1, ShouldSucceed.f)]
3
{- nonrec -}
4
f.t1 :: tt5 -> [tt5]
5
f.t1 x.r54 = a.r55
6
where
7
AbsBinds [] [] [(a.t4, a.r55)]
8
{- rec -}
9
a.t4 :: [tt5]
10
a.t4 = ((:) tt5) x.r54 a.t4
11
{- nonrec -}
12