ghc/tests/typecheck/should_compile/tc022.stderr

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