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

   1 Typechecked:
   2 AbsBinds [] [] [(x.t1, Main.x)]
   3     {- nonrec -}
   4     x.t1 :: Char
   5     x.t1 = 'a'
   6 AbsBinds [] [] [(y.t4, Main.y), (ys.t5, Main.ys)]
   7     {- nonrec -}
   8     (y.t4 : ys.t5) :: [Char]
   9     (y.t4 : ys.t5) = ['a', 'b', 'c'] (Char)
  10      where
  11         AbsBinds [] [] [(p.t8, p.r56)]
  12             {- nonrec -}
  13             p.t8 :: Char
  14             p.t8 = Main.x
  15         {- nonrec -}
  16