ghc/tests/typecheck/should_compile/tc021.stderr

   1 ==================== Typechecked ====================
   2 AbsBinds [tayz] [] [([tayz], x{-r3g,x-}, x_ayx)]
   3     x_ayx = x_ayx
   4 AbsBinds [tayF, tayH] [] [([tayF, tayH], a{-r3h,x-}, a_ayB)]
   5     a_ayB = (x{-r3g,x-} tayF, x{-r3g,x-} tayH)
   6 AbsBinds
   7 [taz1, tayX, tayZ]
   8 []
   9 [([taz1, tayX, tayZ], f{-r3i,x-}, f_ayN)]
  10     f_ayN x_r3f = a{-r3h,x-} [tayX, tayZ]
  11
  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 a f x;
  18 _declarations_
  19 1 a _:_ _forall_ [ta tb] => (ta, tb) ;;
  20 1 f _:_ _forall_ [ta tb tc] => ta -> (tb, tc) ;;
  21 1 x _:_ _forall_ [ta] => ta ;;