ghc/tests/typecheck/should_compile/tc067.stderr

   1 ==================== Typechecked ====================
   2 AbsBinds [takQ] [] [([takQ], f{-r3g,x-}, f_aky)]
   3     f_aky PrelBase.[]{-5i,w-}{i} = PrelBase.[]{-5i,w-}{i} takQ
   4     f_aky (x_r3e PrelBase.:{-55,w-}{i} xs_r3f)
   5           = PrelBase.:{-55,w-}{i} takQ x_r3e (f_aky xs_r3f)
   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 f;
  13 _declarations_
  14 1 f _:_ _forall_ [ta] => [ta] -> [ta] ;;