diff options
Diffstat (limited to 'ghc/compiler/tests/typecheck/should_succeed/tc012.stderr')
| -rw-r--r-- | ghc/compiler/tests/typecheck/should_succeed/tc012.stderr | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc012.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc012.stderr new file mode 100644 index 0000000000..2839d8213e --- /dev/null +++ b/ghc/compiler/tests/typecheck/should_succeed/tc012.stderr @@ -0,0 +1,6 @@ +Typechecked: +AbsBinds [ot2] [] [(q.t1, ShouldSucceed.q)] + {- nonrec -} + q.t1 :: ot2 -> ot2 + q.t1 = \ y.r54 -> y.r54 + |