ghc/tests/deriving/should_compile/drv002.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 E1{-r3D,x-}{i} = _/\_ a_tr3t -> E1{-r3D,x-}{i} {_@_ a_tr3t}
   6 C1{-r6,x-}{i} =
   7     _/\_ a_tr3v b_tr3w -> \ tpl_B1 ->
   8         C1{-r6,x-}{i} {_@_ a_tr3v _@_ b_tr3w tpl_B1}
   9 C2{-r5,x-}{i} =
  10     _/\_ a_tr3v b_tr3w -> \ tpl_B1 ->
  11         C2{-r5,x-}{i} {_@_ a_tr3v _@_ b_tr3w tpl_B1}
  12 AbsBinds [ta13t] [] [([ta13t], $d3{-r13E,x-}, d.Eval_aYx)]
  13     d.Eval_aYx = ({-dict-} [] [])
  14 AbsBinds
  15 [ta13u, ta13v]
  16 []
  17 [([ta13u, ta13v], $d4{-r13F,x-}, d.Eval_aYE)]
  18     d.Eval_aYE = ({-dict-} [] [])
  19 AbsBinds
  20 [taYZ, taZ0]
  21 [d.Eq_a10G]
  22 [([taYZ, taZ0], $d5{-r13G,x-}, d.Read_aYL)]
  23     d.Eq_a10S = d.Eq_a10G
  24     d.Read_a10Q = $d1{-r13I,x-} taYZ d.Eq_a10S
  25     readsPrec_a13T =
  26         PrelRead.readsPrec{-r6M,p-} (T{-r3B,x-} taYZ) d.Read_a10Q
  27     d.Eq_a114 = d.Eq_a10G
  28     d.Eq_a112 = PrelBase.$d28{-re2,p-} taYZ d.Eq_a114
  29     d.Read_a110 = $d5{-r13G,x-} [[taYZ], [taZ0]] d.Eq_a112
  30     readsPrec_a13U =
  31         PrelRead.readsPrec{-r6M,p-} (Z{-r3C,x-} [taYZ] [taZ0]) d.Read_a110
  32     readsPrec_a13V = readsPrec_a13W
  33     AbsBinds [] [] [([], readsPrec_a13W, readsPrec_aYP)]
  34         >_a13Y = >_a13L
  35         lit_a13Z = lit_a13M
  36         ==_a140 = ==_a13N
  37         >>=_a141 = >>=_a13O
  38         return_a142 = return_a13P
  39         zero_a143 = zero_a13Q
  40         readsPrec_aYP a_rWJ b_rWK
  41                       = ++_a13K (Z{-r3C,x-} taYZ taZ0, PrelBase.String{-r79,p-})
  42                             (PrelRead.readParen{-r72,p-} (Z{-r3C,x-} taYZ taZ0) a_rWJ
  43                                                                                 >_a13L lit_a13M
  44                                                                                 \ c_rWM
  45                                                                                   -> [(C1{-r6,x-}{i}
  46                                                                                            [taYZ, taZ0] a1_rWQ,
  47                                                                                        b1_rWR) |
  48                                                                                           ("C1", d_rWO) <- PrelRead.lex{-r6P,p-} c_rWM, (a1_rWQ, b1_rWR) <- readsPrec_a13T PrelBase.I#{-5b,w-}{i} 10#
  49                                                                                                                                                                            d_rWO]
  50                                                                                 b_rWK)
  51                             (PrelRead.readParen{-r72,p-} (Z{-r3C,x-} taYZ taZ0) a_rWJ
  52                                                                                 >_a13Y lit_a13Z
  53                                                                                 \ c_rWT
  54                                                                                   -> [(C2{-r5,x-}{i}
  55                                                                                            [taYZ, taZ0] a1_rWX,
  56                                                                                        b1_rWY) |
  57                                                                                           ("C2", d_rWV) <- PrelRead.lex{-r6P,p-} c_rWT, (a1_rWX, b1_rWY) <- readsPrec_a13U PrelBase.I#{-5b,w-}{i} 10#
  58                                                                                                                                                                            d_rWV]
  59                                                                                 b_rWK)
  60     AbsBinds [] [] [([], readList_a13X, readList_a10B)]
  61         readList_a10B = PrelRead.readList__{-r3A,p-}
  62                             (Z{-r3C,x-} taYZ taZ0) readsPrec_a13V PrelBase.I#{-5b,w-}{i} 0#
  63     d.Read_aYL = ({-dict-} [] [readsPrec_a13W, readList_a13X])
  64 AbsBinds
  65 [ta11m, ta11p]
  66 [d.Eq_a120]
  67 [([ta11m, ta11p], $d6{-r13H,x-}, d.Show_a11c)]
  68     d.Eq_a128 = d.Eq_a120
  69     d.Show_a126 = $d2{-r13J,x-} ta11m d.Eq_a128
  70     showsPrec_a144 =
  71         PrelBase.showsPrec{-rjf,p-} (T{-r3B,x-} ta11m) d.Show_a126
  72     d.Eq_a12e = d.Eq_a120
  73     d.Eq_a12c = PrelBase.$d28{-re2,p-} ta11m d.Eq_a12e
  74     d.Show_a12a = $d6{-r13H,x-} [[ta11m], [ta11p]] d.Eq_a12c
  75     showsPrec_a145 =
  76         PrelBase.showsPrec{-rjf,p-} (Z{-r3C,x-} [ta11m] [ta11p])
  77             d.Show_a12a
  78     showsPrec_a146 = showsPrec_a147
  79     AbsBinds [] [] [([], showsPrec_a147, showsPrec_a11g)]
  80         >=_a149 = >=_a13R
  81         lit_a14a = lit_a13S
  82         showsPrec_a11g a_rX6 (C1{-r6,x-}{i} b1_rX7)
  83                        = PrelBase.showParen{-rk3,p-} a_rX6 >=_a13R lit_a13S
  84                                                      PrelBase..{-riV,p-}
  85                                                          [PrelBase.String{-r79,p-}, PrelBase.String{-r79,p-}, PrelBase.String{-r79,p-}] PrelBase.showString{-rk6,p-} "C1 "
  86                                                                                                                                         showsPrec_a144 PrelBase.I#{-5b,w-}{i} 10#
  87                                                                                                                                                        b1_rX7
  88         showsPrec_a11g a_rX9 (C2{-r5,x-}{i} b1_rXa)
  89                        = PrelBase.showParen{-rk3,p-} a_rX9 >=_a149 lit_a14a
  90                                                      PrelBase..{-riV,p-}
  91                                                          [PrelBase.String{-r79,p-}, PrelBase.String{-r79,p-}, PrelBase.String{-r79,p-}] PrelBase.showString{-rk6,p-} "C2 "
  92                                                                                                                                         showsPrec_a145 PrelBase.I#{-5b,w-}{i} 10#
  93                                                                                                                                                        b1_rXa
  94     AbsBinds [] [] [([], showList_a148, showList_a11V)]
  95         showList_a11V = PrelBase.showList__{-rk1,p-}
  96                             (Z{-r3C,x-} ta11m ta11p) showsPrec_a146 PrelBase.I#{-5b,w-}{i} 0#
  97     d.Show_a11c = ({-dict-} [] [showsPrec_a147, showList_a148])
  98 AbsBinds
  99 [ta12s]
 100 [d.Eq_a12B]
 101 [([ta12s], $d1{-r13I,x-}, d.Read_a12l)]
 102     d.Read_a12F = d.Read_a12l
 103     $mreadList_a14b =
 104         PrelRead.$mreadList{-r6K,p-} (T{-r3B,x-} ta12s) d.Read_a12F
 105     AbsBinds [] [] [([], readsPrec_a14c, readsPrec_a12p)]
 106         readsPrec_a12p
 107             = IOBase.error{-87,w-}
 108                   (PrelBase.Int{-3g,W-}
 109                    -> PrelBase.String{-r79,p-}
 110                    -> [(T{-r3B,x-} ta12s, PrelBase.String{-r79,p-})]) "read"
 111     AbsBinds [] [] [([], readList_a14d, readList_a12y)]
 112         readList_a12y = $mreadList_a14b
 113     d.Read_a12l = ({-dict-} [] [readsPrec_a14c, readList_a14d])
 114 AbsBinds
 115 [ta12T]
 116 [d.Eq_a132]
 117 [([ta12T], $d2{-r13J,x-}, d.Show_a12M)]
 118     d.Show_a136 = d.Show_a12M
 119     $mshowList_a14e =
 120         PrelBase.$mshowList{-riS,p-} (T{-r3B,x-} ta12T) d.Show_a136
 121     AbsBinds [] [] [([], showsPrec_a14f, showsPrec_a12Q)]
 122         showsPrec_a12Q
 123             = IOBase.error{-87,w-}
 124                   (PrelBase.Int{-3g,W-}
 125                    -> T{-r3B,x-} ta12T
 126                    -> PrelBase.String{-r79,p-}
 127                    -> PrelBase.String{-r79,p-}) "show"
 128     AbsBinds [] [] [([], showList_a14g, showList_a12Z)]
 129         showList_a12Z = $mshowList_a14e
 130     d.Show_a12M = ({-dict-} [] [showsPrec_a14f, showList_a14g])
 131 d.MonadPlus_a139 = PrelBase.$d23{-rdX,p-}
 132 ++_a13K = PrelBase.++{-rj3,p-} PrelBase.[]{-3j,W-} d.MonadPlus_a139
 133 d.Ord_a13c = PrelBase.$d7{-reB,p-}
 134 >_a13L = PrelBase.>{-rjc,p-} PrelBase.Int{-3g,W-} d.Ord_a13c
 135 lit_a13M = PrelBase.I#{-5b,w-}{i} 9#
 136 d.Eq_a13h = PrelBase.$d34{-re9,p-}
 137 d.Eq_a13f = PrelBase.$d28{-re2,p-} PrelBase.Char{-38,W-} d.Eq_a13h
 138 ==_a13N = PrelBase.=={-8Y,p-} [PrelBase.Char{-38,W-}] d.Eq_a13f
 139 d.Monad_a13k = PrelBase.$d25{-rdZ,p-}
 140 >>=_a13O = PrelBase.>>={-811,p-} PrelBase.[]{-3j,W-} d.Monad_a13k
 141 d.Monad_a13n = d.Monad_a13k
 142 return_a13P =
 143     PrelBase.return{-816,p-} PrelBase.[]{-3j,W-} d.Monad_a13n
 144 d.MonadZero_a13p = PrelBase.$d24{-rdY,p-}
 145 zero_a13Q =
 146     PrelBase.zero{-810,p-} PrelBase.[]{-3j,W-} d.MonadZero_a13p
 147 d.Ord_a13s = d.Ord_a13c
 148 >=_a13R = PrelBase.>={-8Z,p-} PrelBase.Int{-3g,W-} d.Ord_a13s
 149 lit_a13S = PrelBase.I#{-5b,w-}{i} 10#
 150 ghc: module version changed to 1; reason: no old .hi file
 151 _interface_ ShouldSucceed 1
 152 _instance_modules_
 153 ArrBase IO PrelNum
 154 _usages_
 155 PrelBase 1 :: $d1 1 $d12 1 $d15 1 $d16 1 $d2 1 $d22 1 $d23 1 $d24 1 $d25 1 $d27 1 $d28 1 $d3 1 $d33 1 $d34 1 $d35 1 $d38 1 $d39 1 $d4 1 $d40 1 $d42 1 $d43 1 $d45 1 $d46 1 $d47 1 $d50 1 $d51 1 $d52 1 $d55 1 $d56 1 $d7 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $m>> 1 $mcompare 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 . 1 showList__ 1 showParen 1 showSpace 1 showString 1 Eq 1 Eval 1 Monad 1 MonadPlus 1 MonadZero 1 Num 1 Ord 1 Ordering 1 Show 1 ShowS 1 String 1;
 156 PrelNum 1 :: $d10 1 $d16 1 $d17 1 $d18 1 $d29 1 $d33 1 $d34 1 $d35 1;
 157 PrelRead 1 :: $d10 1 $d11 1 $d14 1 $d15 1 $d16 1 $d4 1 $d5 1 $d6 1 $d8 1 $mreadList 1 lex 1 readList__ 1 readParen 1 Read 1 ReadS 1;
 158 PrelTup 1 :: $d13 1 $d4 1 $d49 1 $d9 1;
 159 _exports_
 160 ShouldSucceed T(E1) Z(C1 C2);
 161 _instances_
 162 instance _forall_ [a] {PrelBase.Eq a} => {PrelRead.Read (T a)} = $d1;
 163 instance _forall_ [a] {PrelBase.Eq a} => {PrelBase.Show (T a)} = $d2;
 164 instance _forall_ [a] => {PrelBase.Eval (T a)} = $d3;
 165 instance _forall_ [a b] => {PrelBase.Eval (Z a b)} = $d4;
 166 instance _forall_ [a b] {PrelBase.Eq a} => {PrelRead.Read (Z a b)} = $d5;
 167 instance _forall_ [a b] {PrelBase.Eq a} => {PrelBase.Show (Z a b)} = $d6;
 168 _declarations_
 169 1 $d1 _:_ _forall_ [a] {PrelBase.Eq a} => {PrelRead.Read (T a)} ;;
 170 1 $d2 _:_ _forall_ [a] {PrelBase.Eq a} => {PrelBase.Show (T a)} ;;
 171 1 $d3 _:_ _forall_ [a] => {PrelBase.Eval (T a)} ;;
 172 1 $d4 _:_ _forall_ [a b] => {PrelBase.Eval (Z a b)} ;;
 173 1 $d5 _:_ _forall_ [a b] {PrelBase.Eq a} => {PrelRead.Read (Z a b)} ;;
 174 1 $d6 _:_ _forall_ [a b] {PrelBase.Eq a} => {PrelBase.Show (Z a b)} ;;
 175 1 data T a = E1 ;
 176 1 data Z a b = C1 (T a) |  C2 (Z [a] [b]) ;