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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 {- nonrec -}
   7 AbsBinds
   8 [t{-aBi-}, t{-aBk-}]
   9 []
  10 [([t{-aBi-}, t{-aBk-}], x{-r3i,x-}, x_aB3), ([t{-aBi-}, t{-aBk-}],
  11                                              y{-r3h,x-},
  12                                              y_aB4)]
  13     (x_aB3, y_aB4)
  14         =   (\ p_r3e   ->  p_r3e, \ q_r3g   ->  q_r3g)
  15 {- nonrec -}
  16
  17 NOTE: Simplifier still going after 4 iterations; bailing out.
  18 ghc: module version changed to 1; reason: no old .hi file
  19 _interface_ ShouldSucceed 1
  20 _instance_modules_
  21 ArrBase IO PrelNum
  22 _exports_
  23 ShouldSucceed x y;
  24 _declarations_
  25 1 x _:_ _forall_ [a b] => a -> a ;;
  26 1 y _:_ _forall_ [a b] => b -> b ;;