ghc/tests/typecheck/should_compile/tc021.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 AbsBinds [tayv] [] [([tayv], x{-r3g,x-}, x_ayt)]
   6     x_ayt = x_ayt
   7 AbsBinds [tayB, tayD] [] [([tayB, tayD], a{-r3h,x-}, a_ayx)]
   8     a_ayx = (x{-r3g,x-} tayB, x{-r3g,x-} tayD)
   9 AbsBinds
  10 [tayW, tayS, tayU]
  11 []
  12 [([tayW, tayS, tayU], f{-r3i,x-}, f_ayJ)]
  13     f_ayJ x_r3f = a{-r3h,x-} [tayS, tayU]
  14 ghc: module version changed to 1; reason: no old .hi file
  15 _interface_ ShouldSucceed 1
  16 _instance_modules_
  17 ArrBase IO PrelNum
  18 _exports_
  19 ShouldSucceed a f x;
  20 _declarations_
  21 1 a _:_ _forall_ [ta tb] => (ta, tb) ;;
  22 1 f _:_ _forall_ [ta tb tc] => ta -> (tb, tc) ;;
  23 1 x _:_ _forall_ [ta] => ta ;;