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

   1 Typechecked:
   2 AbsBinds [] [] [(f.t1, ShouldSucceed.f)]
   3     {- nonrec -}
   4     f.t1 :: Bool -> Bool
   5     f.t1 x.r54 = case x.r54 of
   6                    True -> True
   7                    False -> x.r54
   8