diff options
Diffstat (limited to 'ghc/compiler/tests/typecheck/should_succeed/tc025.stderr')
-rw-r--r-- | ghc/compiler/tests/typecheck/should_succeed/tc025.stderr | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc025.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc025.stderr new file mode 100644 index 0000000000..0cdf21db77 --- /dev/null +++ b/ghc/compiler/tests/typecheck/should_succeed/tc025.stderr @@ -0,0 +1,13 @@ +Typechecked: +AbsBinds [] [] [(g.t1, ShouldSucceed.g)] + {- nonrec -} + g.t1 :: Bool -> Bool + g.t1 x.r54 = (f.r55 Bool) ((f.r55 Bool) True x.r54) x.r54 + where + AbsBinds [ot7] [] [(f.t4, f.r55)] + {- rec -} + f.t4 :: Bool -> ot7 -> ot7 + f.t4 x.r56 y.r57 + = if x.r56 then y.r57 else f.t4 x.r56 y.r57 + {- nonrec -} + |