ghc/tests/typecheck/should_compile/tc041.stderr

   1 ==================== Typechecked ====================
   2 AbsBinds [] [] [([], f{-r1,x-}, f_akQ)]
   3     f_akQ x_r3h y_r3i = op1_alg x_r3h x_r3h
   4 AbsBinds [] [] [([], $d1{-rlh,x-}, d.H_al2)]
   5     AbsBinds [] [] [([], op1_ali, op1_al6)]
   6         op1_al6 x_r3n y_r3o = y_r3o
   7     d.H_al2 = ({-dict-} [] [op1_ali])
   8 op1{-r3s,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
   9 AbsBinds [talf] [d.H_alc] []
  10 d.H_ale = $d1{-rlh,x-}
  11 op1_alg = op1{-r3s,x-} PrelBase.Bool{-34,W-} d.H_ale
  12
  13 ghc: module version changed to 1; reason: no old .hi file
  14 _interface_ ShouldSucceed 1
  15 _instance_modules_
  16 ArrBase IO PrelNum
  17 _exports_
  18 ShouldSucceed f H(op1);
  19 _instances_
  20 instance {H PrelBase.Bool} = $d1;
  21 _declarations_
  22 1 $d1 _:_ {H PrelBase.Bool} ;;
  23 1 class H a where {op1 :: a -> a -> a} ;
  24 1 f _:_ PrelBase.Bool -> PrelBase.Int -> PrelBase.Bool ;;