diff options
Diffstat (limited to 'ghc/compiler/tests/typecheck/should_succeed/tc022.stderr')
| -rw-r--r-- | ghc/compiler/tests/typecheck/should_succeed/tc022.stderr | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc022.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc022.stderr new file mode 100644 index 0000000000..de7d5718fa --- /dev/null +++ b/ghc/compiler/tests/typecheck/should_succeed/tc022.stderr @@ -0,0 +1,11 @@ +Typechecked: +AbsBinds [ot2] [] [(id.t1, ShouldSucceed.id)] + {- nonrec -} + id.t1 :: ot2 -> ot2 + id.t1 + x.r55 = x.r55 +AbsBinds [tt6] [] [(main.t4, ShouldSucceed.main)] + {- nonrec -} + main.t4 :: tt6 -> tt6 + main.t4 = (ShouldSucceed.id (tt6 -> tt6)) (ShouldSucceed.id tt6) + |