ghc/compiler/tests/typecheck/should_succeed/tc076.stderr

   1 Typechecked:
   2 AbsBinds [] [] [(x.t1, ShouldSucceed.x)]
   3     {- nonrec -}
   4     x.t1 :: [[Bool]]
   5     x.t1 = [[True] (Bool)] ([Bool])
   6 AbsBinds [] [] [(xs.t3, ShouldSucceed.xs)]
   7     {- nonrec -}
   8     xs.t3 :: [Bool]
   9     xs.t3 = [ x.r56 | x.r55 <- ShouldSucceed.x, x.r56 <- x.r55 ]
  10