ghc/tests/typecheck/should_compile/tc074.stderr

   1 ==================== Typechecked ====================
   2 X{-r9,x-}{i} = _/\_ b_tr3U -> X{-r9,x-}{i} {_@_ b_tr3U}
   3 Y{-r8,x-}{i} =
   4     _/\_ b_tr3U -> \ tpl_B1 -> Y{-r8,x-}{i} {_@_ b_tr3U tpl_B1}
   5 D{-r7,x-}{i} =
   6     _/\_ a_tr3W -> \ tpl_B1 -> D{-r7,x-}{i} {_@_ a_tr3W tpl_B1}
   7 C{-r6,x-}{i} = _/\_ a_tr3W -> C{-r6,x-}{i} {_@_ a_tr3W}
   8 AbsBinds [taDI] [] [([taDI], $d3{-rDM,x-}, d.Eval_aC3)]
   9     d.Eval_aC3 = ({-dict-} [] [])
  10 AbsBinds [taDJ] [] [([taDJ], $d4{-rDQ,x-}, d.Eval_aC9)]
  11     d.Eval_aC9 = ({-dict-} [] [])
  12 AbsBinds [taCm] [d.Eq_aCP] [([taCm], $d1{-rDO,x-}, d.Eq_aCf)]
  13     d.Eq_aCT = d.Eq_aCP
  14     ==_aDU = PrelBase.=={-8Y,p-} taCm d.Eq_aCT
  15     ==_aDT = ==_aDS
  16     AbsBinds [] [] [([], ==_aDS, ==_aCj)]
  17         ==_aCj X{-r9,x-}{i} X{-r9,x-}{i} = PrelBase.True{-5E,w-}{i}
  18         ==_aCj (Y{-r8,x-}{i} a_r3r) (Y{-r8,x-}{i} b_r3s)
  19                = a_r3r ==_aDU b_r3s
  20         ==_aCj a_r3u b_r3v = PrelBase.False{-58,w-}{i}
  21     AbsBinds [] [] [([], /=_aDR, /=_aCI)]
  22         /=_aCI a_r3z b_r3A = PrelBase.not{-rgM,p-} a_r3z ==_aDT b_r3A
  23     d.Eq_aCf = ({-dict-} [] [==_aDS, /=_aDR])
  24 AbsBinds [taD9] [d.Eq_aDA] [([taD9], $d2{-rDN,x-}, d.Eq_aD0)]
  25     d.Eq_aDG = d.Eq_aDA
  26     d.Eq_aDE = $d1{-rDO,x-} taD9 d.Eq_aDG
  27     ==_aDY = PrelBase.=={-8Y,p-} (B{-r3X,x-} taD9) d.Eq_aDE
  28     ==_aDX = ==_aDW
  29     AbsBinds [] [] [([], ==_aDW, ==_aD4)]
  30         ==_aD4 (D{-r7,x-}{i} x_r3H) (D{-r7,x-}{i} y_r3I)
  31                = x_r3H ==_aDY y_r3I
  32         ==_aD4 C{-r6,x-}{i} C{-r6,x-}{i} = PrelBase.True{-5E,w-}{i}
  33         ==_aD4 a_r3L b_r3M = PrelBase.False{-58,w-}{i}
  34     AbsBinds [] [] [([], /=_aDV, /=_aDt)]
  35         /=_aDt a_r3Q b_r3R = PrelBase.not{-rgM,p-} a_r3Q ==_aDX b_r3R
  36     d.Eq_aD0 = ({-dict-} [] [==_aDW, /=_aDV])
  37
  38 ghc: module version changed to 1; reason: no old .hi file
  39 _interface_ ShouldSucceed 1
  40 _instance_modules_
  41 ArrBase IO PrelNum
  42 _usages_
  43 PrelBase 1 :: $d16 1 $d2 1 $d33 1 $d38 1 $d40 1 $d42 1 $d47 1 $d8 1 $m/= 1 not 1 Eq 1 Eval 1;
  44 PrelNum 1 :: $d18 1;
  45 _exports_
  46 ShouldSucceed B(X Y) T(D C);
  47 _instances_
  48 instance _forall_ [b] {PrelBase.Eq b} => {PrelBase.Eq (B b)} = $d1;
  49 instance _forall_ [a] {PrelBase.Eq a} => {PrelBase.Eq (T a)} = $d2;
  50 instance _forall_ [b] => {PrelBase.Eval (B b)} = $d3;
  51 instance _forall_ [a] => {PrelBase.Eval (T a)} = $d4;
  52 _declarations_
  53 1 $d1 _:_ _forall_ [b] {PrelBase.Eq b} => {PrelBase.Eq (B b)} ;;
  54 1 $d2 _:_ _forall_ [a] {PrelBase.Eq a} => {PrelBase.Eq (T a)} ;;
  55 1 $d3 _:_ _forall_ [b] => {PrelBase.Eval (B b)} ;;
  56 1 $d4 _:_ _forall_ [a] => {PrelBase.Eval (T a)} ;;
  57 1 data B b = X |  Y b ;
  58 1 data T a = D (B a) |  C ;