ghc/tests/typecheck/should_compile/tc063.stderr

   1 ==================== Typechecked ====================
   2 Tag{-r3G,x-}{i} =
   3     _/\_ a_tr3C -> \ tpl_B1 -> Tag{-r3G,x-}{i} {_@_ a_tr3C tpl_B1}
   4 AbsBinds [taBG] [d.Reps_aBJ] [([taBG], g{-r3D,x-}, g_aBw)]
   5     f_aCn = f{-r3E,x-} taBG d.Reps_aBJ
   6     g_aBw x_r3h = f_aCn x_r3h x_r3h
   7 AbsBinds [taCl] [] [([taCl], $d3{-rCs,x-}, d.Eval_aBP)]
   8     d.Eval_aBP = ({-dict-} [] [])
   9 AbsBinds [] [] [([], $d1{-rCp,x-}, d.Reps_aBU)]
  10     AbsBinds [] [] [([], f_aCt, f_aBY)]
  11         f_aBY PrelBase.True{-5E,w-}{i} PrelBase.True{-5E,w-}{i}
  12               = PrelBase.True{-5E,w-}{i}
  13         f_aBY x_r3n y_r3o = PrelBase.False{-58,w-}{i}
  14     d.Reps_aBU = ({-dict-} [] [f_aCt])
  15 AbsBinds [taCe] [] [([taCe], $d2{-rCo,x-}, d.Reps_aC7)]
  16     AbsBinds [] [] [([], f_aCu, f_aCb)]
  17         f_aCb x_r3v y_r3w = y_r3w
  18     d.Reps_aC7 = ({-dict-} [] [f_aCu])
  19 f{-r3E,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
  20 AbsBinds [taCm] [d.Reps_aCk] []
  21
  22 ghc: module version changed to 1; reason: no old .hi file
  23 _interface_ ShouldSucceed 1
  24 _instance_modules_
  25 ArrBase IO PrelNum
  26 _usages_
  27 PrelBase 1 :: $d2 1 $d38 1 $d40 1 $d42 1 $d47 1 Eval 1;
  28 _exports_
  29 ShouldSucceed g Reps(f) X(Tag);
  30 _instances_
  31 instance {Reps PrelBase.Bool} = $d1;
  32 instance _forall_ [q] => {Reps (X q)} = $d2;
  33 instance _forall_ [a] => {PrelBase.Eval (X a)} = $d3;
  34 _declarations_
  35 1 $d1 _:_ {Reps PrelBase.Bool} ;;
  36 1 $d2 _:_ _forall_ [q] => {Reps (X q)} ;;
  37 1 $d3 _:_ _forall_ [a] => {PrelBase.Eval (X a)} ;;
  38 1 class Reps r where {f :: r -> r -> r} ;
  39 1 data X a = Tag a ;
  40 1 g _:_ _forall_ [ta] {Reps ta} => ta -> ta ;;