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

   1
   2
   3 --================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 X{-r4,x-}{i} =
   7     _/\_ b{-r42-} ->
   8         X{-r4,x-}{i}
   9             {_@_ b{-r42-}}
  10 Y{-r3,x-}{i} =
  11     _/\_ b{-r42-} -> \ tpl_B1 ->
  12         Y{-r3,x-}{i}
  13             {_@_ b{-r42-} tpl_B1}
  14 {- nonrec -}
  15 D{-r9,x-}{i} =
  16     _/\_ a{-r44-} -> \ tpl_B1 ->
  17         D{-r9,x-}{i}
  18             {_@_ a{-r44-} tpl_B1}
  19 C{-r8,x-}{i} =
  20     _/\_ a{-r44-} ->
  21         C{-r8,x-}{i}
  22             {_@_ a{-r44-}}
  23 {- rec -}
  24 AbsBinds [b{-aIF-}] [] [([b{-aIF-}], $d3{-rIJ,x-}, d.Eval_aH4)]
  25     d.Eval_aH4 =
  26         ({-dict-} [] [])
  27 {- rec -}
  28 AbsBinds [a{-aIG-}] [] [([a{-aIG-}], $d4{-rIL,x-}, d.Eval_aHa)]
  29     d.Eval_aHa =
  30         ({-dict-} [] [])
  31 {- rec -}
  32 AbsBinds
  33 [b{-aHm-}]
  34 [d.Eq_aHO]
  35 [([b{-aHm-}], $d1{-rIM,x-}, d.Eq_aHg)]
  36     d.Eq_aHS =
  37         d.Eq_aHO
  38     ==_aIQ =
  39         PrelBase.=={-8Y,p-}
  40             b{-aHm-}
  41             d.Eq_aHS
  42     ==_aIP =
  43         ==_aIO
  44     AbsBinds [] [] [([], ==_aIO, ==_aHj)]
  45         ==_aHj
  46             X{-r4,x-}{i} X{-r4,x-}{i}
  47                     =   PrelBase.True{-5E,p-}{i}
  48         ==_aHj
  49             (Y{-r3,x-}{i} a_r3s) (Y{-r3,x-}{i} b_r3u)
  50                     =   a_r3s ==_aIQ b_r3u
  51         ==_aHj
  52             a_r3w b_r3y
  53                     =   PrelBase.False{-58,p-}{i}
  54     AbsBinds [] [] [([], /=_aIN, /=_aHH)]
  55         /=_aHH
  56             a_r3C b_r3E
  57                     =   PrelBase.not{-rfZ,p-} a_r3C ==_aIP b_r3E
  58     d.Eq_aHg =
  59         ({-dict-} [] [==_aIO, /=_aIN])
  60 {- rec -}
  61 AbsBinds
  62 [a{-aI7-}]
  63 [d.Eq_aIx]
  64 [([a{-aI7-}], $d2{-rIR,x-}, d.Eq_aHZ)]
  65     d.Eq_aID =
  66         d.Eq_aIx
  67     d.Eq_aIB =
  68         $d1{-rIM,x-}
  69             a{-aI7-}
  70             d.Eq_aID
  71     ==_aIV =
  72         PrelBase.=={-8Y,p-}
  73             (B{-r45,x-} a{-aI7-})
  74             d.Eq_aIB
  75     ==_aIU =
  76         ==_aIT
  77     AbsBinds [] [] [([], ==_aIT, ==_aI2)]
  78         ==_aI2
  79             (D{-r9,x-}{i} x_r3L) (D{-r9,x-}{i} y_r3N)
  80                     =   x_r3L ==_aIV y_r3N
  81         ==_aI2
  82             C{-r8,x-}{i} C{-r8,x-}{i}
  83                     =   PrelBase.True{-5E,p-}{i}
  84         ==_aI2
  85             a_r3R b_r3T
  86                     =   PrelBase.False{-58,p-}{i}
  87     AbsBinds [] [] [([], /=_aIS, /=_aIq)]
  88         /=_aIq
  89             a_r3X b_r3Z
  90                     =   PrelBase.not{-rfZ,p-} a_r3X ==_aIU b_r3Z
  91     d.Eq_aHZ =
  92         ({-dict-} [] [==_aIT, /=_aIS])
  93 {- nonrec -}
  94 ghc: module version changed to 1; reason: no old .hi file
  95 _interface_ ShouldSucc 1
  96 _instance_modules_
  97 ArrBase IO PrelNum
  98 _usages_
  99 PrelBase 1 :: $d15 1 $d32 1 $d37 1 $d39 1 $d41 1 $d46 1 $d7 1 not 1 Eq 1 Eval 1;
 100 PrelNum 1 :: $d18 1;
 101 _exports_
 102 ShouldSucc B(X Y) T(D C);
 103 _instances_
 104 instance _forall_ [a] {PrelBase.Eq a} => {PrelBase.Eq (B a)} = $d1;
 105 instance _forall_ [a] {PrelBase.Eq a} => {PrelBase.Eq (T a)} = $d2;
 106 instance _forall_ [a] => {PrelBase.Eval (B a)} = $d3;
 107 instance _forall_ [a] => {PrelBase.Eval (T a)} = $d4;
 108 _declarations_
 109 1 $d1 _:_ _forall_ [a] {PrelBase.Eq a} => {PrelBase.Eq (B a)} ;;
 110 1 $d2 _:_ _forall_ [a] {PrelBase.Eq a} => {PrelBase.Eq (T a)} ;;
 111 1 $d3 _:_ _forall_ [a] => {PrelBase.Eval (B a)} ;;
 112 1 $d4 _:_ _forall_ [a] => {PrelBase.Eval (T a)} ;;
 113 1 data B r42 = X |  Y r42 ;
 114 1 data T r44 = D (B r44) |  C ;