ghc/tests/typecheck/should_compile/tc055.stderr

   1 ==================== Typechecked ====================
   2 AbsBinds
   3 [tayU, tayW]
   4 []
   5 [([tayU, tayW], x{-r3i,x-}, x_ayx), ([tayU, tayW],
   6                                      y{-r3h,x-},
   7                                      y_ayy)]
   8     (x_ayx, y_ayy) = (\ p_r3e -> p_r3e, \ q_r3g -> q_r3g)
   9
  10
  11 NOTE: Simplifier still going after 4 iterations; bailing out.
  12 ghc: module version changed to 1; reason: no old .hi file
  13 _interface_ ShouldSucceed 1
  14 _instance_modules_
  15 ArrBase IO PrelNum
  16 _exports_
  17 ShouldSucceed x y;
  18 _declarations_
  19 1 x _:_ _forall_ [ta tb] => ta -> ta ;;
  20 1 y _:_ _forall_ [ta tb] => tb -> tb ;;