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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 {- nonrec -}
   7 AbsBinds
   8 [t{-aB8-}, t{-aBb-}, t{-aBg-}]
   9 []
  10 [([t{-aB8-}, t{-aBb-}, t{-aBg-}], u{-r3h,x-}, u_aB2)]
  11     u_aB2
  12         x_r3d   =   \ (y_r3f, z_r3g)
  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 u;
  21 _declarations_
  22 1 u _:_ _forall_ [a b c] => c -> (a, b) -> c ;;