ghc/tests/typecheck/should_compile/tc024.stderr

   1 ==================== Typechecked ====================
   2 AbsBinds [takX, takZ] [] [([takX, takZ], k{-r3n,x-}, k_akH)]
   3     k_akH x_r3l y_r3m = x_r3l
   4 AbsBinds
   5 [talz, talB, talD]
   6 []
   7 [([talz, talB, talD], s{-r3o,x-}, s_al1)]
   8     s_al1 f_r3h g_r3i x_r3j = f_r3h x_r3j g_r3i x_r3j
   9 AbsBinds [talP] [] [([talP], main{-r3p,x-}, main_alF)]
  10     main_alF x_r3f
  11              = s{-r3o,x-} [talP, talP, GHC.Void{-3T,W-} -> talP] k{-r3n,x-}
  12                                                                      [GHC.Void{-3T,W-}
  13                                                                       -> talP, talP]
  14                                                                  k{-r3n,x-} [GHC.Void{-3T,W-}, talP]
  15                                                                  x_r3f
  16
  17 ghc: module version changed to 1; reason: no old .hi file
  18 _interface_ ShouldSucceed 1
  19 _instance_modules_
  20 ArrBase IO PrelNum
  21 _exports_
  22 ShouldSucceed k main s;
  23 _declarations_
  24 1 k _:_ _forall_ [ta tb] => tb -> ta -> tb ;;
  25 1 main _:_ _forall_ [ta] => ta -> ta ;;
  26 1 s _:_ _forall_ [ta tb tc] => (tb -> tc -> ta) -> (tb -> tc) -> tb -> ta ;;