ghc/tests/typecheck/should_compile/tc016.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 AbsBinds [takL, takN] [] [([takL, takN], f{-r3f,x-}, f_akt)]
   6     f_akt (x_r3d@_) (y_r3e@_) = x_r3d
   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 tb] => tb -> ta -> tb ;;