projects
/
ghc-hetmet.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
0cdf21db77067e6f52d16bb0df7db3dab5473f35
[ghc-hetmet.git]
/
ghc
/
compiler
/
tests
/
typecheck
/
should_succeed
/
tc025.stderr
1
Typechecked:
2
AbsBinds [] [] [(g.t1, ShouldSucceed.g)]
3
{- nonrec -}
4
g.t1 :: Bool -> Bool
5
g.t1 x.r54 = (f.r55 Bool) ((f.r55 Bool) True x.r54) x.r54
6
where
7
AbsBinds [ot7] [] [(f.t4, f.r55)]
8
{- rec -}
9
f.t4 :: Bool -> ot7 -> ot7
10
f.t4 x.r56 y.r57
11
= if x.r56 then y.r57 else f.t4 x.r56 y.r57
12
{- nonrec -}
13