X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftests%2Ftypecheck%2Fshould_succeed%2Ftc076.stderr;fp=ghc%2Fcompiler%2Ftests%2Ftypecheck%2Fshould_succeed%2Ftc076.stderr;h=dd887a260d95c34297cc6fbc12c9e93b57f8cb38;hb=e7d21ee4f8ac907665a7e170c71d59e13a01da09;hp=0000000000000000000000000000000000000000;hpb=e48474bff05e6cfb506660420f025f694c870d38;p=ghc-hetmet.git diff --git a/ghc/compiler/tests/typecheck/should_succeed/tc076.stderr b/ghc/compiler/tests/typecheck/should_succeed/tc076.stderr new file mode 100644 index 0000000..dd887a2 --- /dev/null +++ b/ghc/compiler/tests/typecheck/should_succeed/tc076.stderr @@ -0,0 +1,10 @@ +Typechecked: +AbsBinds [] [] [(x.t1, ShouldSucceed.x)] + {- nonrec -} + x.t1 :: [[Bool]] + x.t1 = [[True] (Bool)] ([Bool]) +AbsBinds [] [] [(xs.t3, ShouldSucceed.xs)] + {- nonrec -} + xs.t3 :: [Bool] + xs.t3 = [ x.r56 | x.r55 <- ShouldSucceed.x, x.r56 <- x.r55 ] +