ghc/compiler/tests/typecheck/should_succeed/tc016.stderr

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 {- nonrec -}
   7 AbsBinds
   8 [t{-ang-}, t{-ani-}]
   9 []
  10 [([t{-ang-}, t{-ani-}], f{-r3g,x-}, f_an4)]
  11     f_an4
  12         (x_r3d@_) (y_r3f@_)
  13                 =   x_r3d
  14 {- nonrec -}
  15 ghc: module version changed to 1; reason: no old .hi file
  16 _interface_ ShouldSucceed 1
  17 _instance_modules_
  18 ArrBase IO PrelNum
  19 _exports_
  20 ShouldSucceed f;
  21 _declarations_
  22 1 f _:_ _forall_ [a b] => a -> b -> a ;;