ghc/tests/typecheck/should_compile/tc022.stderr

   1 ==================== Typechecked ====================
   2 AbsBinds [takI] [] [([takI], iD{-r3f,x-}, iD_aky)]
   3     iD_aky x_r3e = x_r3e
   4 AbsBinds [takQ] [] [([takQ], main{-r3g,x-}, main_akK)]
   5     main_akK = iD{-r3f,x-} (takQ -> takQ) iD{-r3f,x-} takQ
   6
   7 ghc: module version changed to 1; reason: no old .hi file
   8 _interface_ ShouldSucceed 1
   9 _instance_modules_
  10 ArrBase IO PrelNum
  11 _exports_
  12 ShouldSucceed iD main;
  13 _declarations_
  14 1 iD _:_ _forall_ [ta] => ta -> ta ;;
  15 1 main _:_ _forall_ [ta] => ta -> ta ;;