ghc/tests/deriving/should_compile/drv001.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 E1{-r3N,x-}{i} = _/\_ a_tr3A -> E1{-r3N,x-}{i} {_@_ a_tr3A}
   6 D1{-rd,x-}{i} = _/\_ b_tr3C -> D1{-rd,x-}{i} {_@_ b_tr3C}
   7 D2{-rc,x-}{i} =
   8     _/\_ b_tr3C -> \ tpl_B1 -> D2{-rc,x-}{i} {_@_ b_tr3C tpl_B1}
   9 C1{-r9,x-}{i} =
  10     _/\_ a_tr3H b_tr3I -> \ tpl_B1 ->
  11         C1{-r9,x-}{i} {_@_ a_tr3H _@_ b_tr3I tpl_B1}
  12 C2{-r8,x-}{i} =
  13     _/\_ a_tr3H b_tr3I -> \ tpl_B1 ->
  14         C2{-r8,x-}{i} {_@_ a_tr3H _@_ b_tr3I tpl_B1}
  15 C3{-rb,x-}{i} =
  16     _/\_ a_tr3H b_tr3I -> \ tpl_B1 ->
  17         C3{-rb,x-}{i} {_@_ a_tr3H _@_ b_tr3I tpl_B1}
  18 AbsBinds [ta18z] [] [([ta18z], $d3{-r18X,x-}, d.Eval_aZt)]
  19     d.Eval_aZt = ({-dict-} [] [])
  20 AbsBinds [ta18A] [] [([ta18A], $d4{-r18Y,x-}, d.Eval_aZz)]
  21     d.Eval_aZz = ({-dict-} [] [])
  22 AbsBinds
  23 [ta18B, ta18C]
  24 []
  25 [([ta18B, ta18C], $d5{-r18Z,x-}, d.Eval_aZG)]
  26     d.Eval_aZG = ({-dict-} [] [])
  27 AbsBinds [ta100] [d.Eq_a11o] [([ta100], $d6{-r190,x-}, d.Read_aZM)]
  28     d.Eq_a11G = PrelBase.$d8{-rbj,p-}
  29     d.Eq_a11H = d.Eq_a11o
  30     d.Read_a11E =
  31         $d7{-r191,x-} [PrelBase.Int{-3g,W-}, ta100] [d.Eq_a11G, d.Eq_a11H]
  32     readsPrec_a19o =
  33         PrelRead.readsPrec{-rkH,p-} (X{-r3M,x-} PrelBase.Int{-3g,W-} ta100)
  34             d.Read_a11E
  35     readsPrec_a19p = readsPrec_a19q
  36     AbsBinds [] [] [([], readsPrec_a19q, readsPrec_aZQ)]
  37         ==_a19s = ==_a197
  38         >>=_a19t = >>=_a198
  39         return_a19u = return_a199
  40         zero_a19v = zero_a19a
  41         readsPrec_aZQ a_rX0 b_rX1
  42                       = ++_a196 (Y{-r3L,x-} ta100, PrelBase.String{-rfZ,p-})
  43                             (PrelRead.readParen{-rkX,p-}
  44                                  (Y{-r3L,x-} ta100) PrelBase.False{-58,w-}{i}
  45                                                     \ c_rX3
  46                                                       -> [(D1{-rd,x-}{i} ta100, d_rX5) |
  47                                                               ("D1", d_rX5) <- PrelRead.lex{-rkK,p-} c_rX3]
  48                                                     b_rX1)
  49                             (PrelRead.readParen{-rkX,p-} (Y{-r3L,x-} ta100) a_rX0
  50                                                                             >_a19b lit_a19c
  51                                                                             \ c_rX7
  52                                                                               -> [(D2{-rc,x-}{i}
  53                                                                                        ta100 a1_rXb,
  54                                                                                    b1_rXc) |
  55                                                                                       ("D2", d_rX9) <- PrelRead.lex{-rkK,p-} c_rX7, (a1_rXb, b1_rXc) <- readsPrec_a19o PrelBase.I#{-5b,w-}{i} 10#
  56                                                                                                                                                                        d_rX9]
  57                                                                             b_rX1)
  58     AbsBinds [] [] [([], readList_a19r, readList_a11j)]
  59         readList_a11j = PrelRead.readList__{-rhB,p-}
  60                             (Y{-r3L,x-} ta100) readsPrec_a19p PrelBase.I#{-5b,w-}{i} 0#
  61     d.Read_aZM = ({-dict-} [] [readsPrec_a19q, readList_a19r])
  62 AbsBinds
  63 [ta124, ta125]
  64 [d.Eq_a14x, d.Eq_a14y]
  65 [([ta124, ta125], $d7{-r191,x-}, d.Read_a11Q)]
  66     d.Eq_a14K = d.Eq_a14x
  67     d.Read_a14I = $d1{-r194,x-} ta124 d.Eq_a14K
  68     readsPrec_a19w =
  69         PrelRead.readsPrec{-rkH,p-} (T{-r3K,x-} ta124) d.Read_a14I
  70     d.Eq_a14U = d.Eq_a14y
  71     d.Read_a14S = $d6{-r190,x-} ta125 d.Eq_a14U
  72     readsPrec_a19x =
  73         PrelRead.readsPrec{-rkH,p-} (Y{-r3L,x-} ta125) d.Read_a14S
  74     d.Eq_a14Y = d.Eq_a14y
  75     d.Eq_a14Z = d.Eq_a14x
  76     d.Read_a14W = $d7{-r191,x-} [ta125, ta124] [d.Eq_a14Y, d.Eq_a14Z]
  77     readsPrec_a19y =
  78         PrelRead.readsPrec{-rkH,p-} (X{-r3M,x-} ta125 ta124) d.Read_a14W
  79     readsPrec_a19z = readsPrec_a19A
  80     AbsBinds [] [] [([], readsPrec_a19A, readsPrec_a11U)]
  81         ++_a19C = ++_a19d
  82         >_a19D = >_a19e
  83         lit_a19E = lit_a19f
  84         ==_a19F = ==_a19g
  85         >>=_a19G = >>=_a19h
  86         return_a19H = return_a19i
  87         zero_a19I = zero_a19j
  88         >_a19J = >_a19e
  89         lit_a19K = lit_a19f
  90         ==_a19L = ==_a19g
  91         >>=_a19M = >>=_a19h
  92         return_a19N = return_a19i
  93         zero_a19O = zero_a19j
  94         readsPrec_a11U a_rXk b_rXl
  95                        = ++_a19d (X{-r3M,x-} ta124 ta125, PrelBase.String{-rfZ,p-})
  96                              (PrelRead.readParen{-rkX,p-} (X{-r3M,x-} ta124 ta125) a_rXk
  97                                                                                    >_a19e lit_a19f
  98                                                                                    \ c_rXn
  99                                                                                      -> [(C1{-r9,x-}{i}
 100                                                                                               [ta124, ta125] a1_rXr,
 101                                                                                           b1_rXs) |
 102                                                                                              ("C1", d_rXp) <- PrelRead.lex{-rkK,p-} c_rXn, (a1_rXr, b1_rXs) <- readsPrec_a19w PrelBase.I#{-5b,w-}{i} 10#
 103                                                                                                                                                                               d_rXp]
 104                                                                                    b_rXl)
 105                              (++_a19C (X{-r3M,x-} ta124 ta125, PrelBase.String{-rfZ,p-})
 106                                   (PrelRead.readParen{-rkX,p-} (X{-r3M,x-} ta124 ta125) a_rXk
 107                                                                                         >_a19D lit_a19E
 108                                                                                         \ c_rXu
 109                                                                                           -> [(C2{-r8,x-}{i}
 110                                                                                                    [ta124, ta125] a1_rXy,
 111                                                                                                b1_rXz) |
 112                                                                                                   ("C2", d_rXw) <- PrelRead.lex{-rkK,p-} c_rXu, (a1_rXy, b1_rXz) <- readsPrec_a19x PrelBase.I#{-5b,w-}{i} 10#
 113                                                                                                                                                                                    d_rXw]
 114                                                                                         b_rXl)
 115                                   (PrelRead.readParen{-rkX,p-} (X{-r3M,x-} ta124 ta125) a_rXk
 116                                                                                         >_a19J lit_a19K
 117                                                                                         \ c_rXB
 118                                                                                           -> [(C3{-rb,x-}{i}
 119                                                                                                    [ta124, ta125] a1_rXF,
 120                                                                                                b1_rXG) |
 121                                                                                                   ("C3", d_rXD) <- PrelRead.lex{-rkK,p-} c_rXB, (a1_rXF, b1_rXG) <- readsPrec_a19y PrelBase.I#{-5b,w-}{i} 10#
 122                                                                                                                                                                                    d_rXD]
 123                                                                                         b_rXl))
 124     AbsBinds [] [] [([], readList_a19B, readList_a14s)]
 125         readList_a14s = PrelRead.readList__{-rhB,p-}
 126                             (X{-r3M,x-} ta124 ta125) readsPrec_a19z PrelBase.I#{-5b,w-}{i} 0#
 127     d.Read_a11Q = ({-dict-} [] [readsPrec_a19A, readList_a19B])
 128 AbsBinds
 129 [ta15f]
 130 [d.Eq_a15F]
 131 [([ta15f], $d8{-r192,x-}, d.Show_a157)]
 132     d.Eq_a15N = PrelBase.$d8{-rbj,p-}
 133     d.Eq_a15O = d.Eq_a15F
 134     d.Show_a15L =
 135         $d9{-r193,x-} [PrelBase.Int{-3g,W-}, ta15f] [d.Eq_a15N, d.Eq_a15O]
 136     showsPrec_a19P =
 137         PrelBase.showsPrec{-rfW,p-} (X{-r3M,x-} PrelBase.Int{-3g,W-} ta15f)
 138             d.Show_a15L
 139     showsPrec_a19Q = showsPrec_a19R
 140     AbsBinds [] [] [([], showsPrec_a19R, showsPrec_a15b)]
 141         showsPrec_a15b a_rXO D1{-rd,x-}{i}
 142                        = PrelBase.showString{-rgN,p-} "D1"
 143         showsPrec_a15b a_rXQ (D2{-rc,x-}{i} b1_rXR)
 144                        = PrelBase.showParen{-rgK,p-} a_rXQ >=_a19k lit_a19l
 145                                                      PrelBase..{-rfC,p-}
 146                                                          [PrelBase.String{-rfZ,p-}, PrelBase.String{-rfZ,p-}, PrelBase.String{-rfZ,p-}] PrelBase.showString{-rgN,p-} "D2 "
 147                                                                                                                                         showsPrec_a19P PrelBase.I#{-5b,w-}{i} 10#
 148                                                                                                                                                        b1_rXR
 149     AbsBinds [] [] [([], showList_a19S, showList_a15A)]
 150         showList_a15A = PrelBase.showList__{-r3J,p-}
 151                             (Y{-r3L,x-} ta15f) showsPrec_a19Q PrelBase.I#{-5b,w-}{i} 0#
 152     d.Show_a157 = ({-dict-} [] [showsPrec_a19R, showList_a19S])
 153 AbsBinds
 154 [ta167, ta16a]
 155 [d.Eq_a171, d.Eq_a172]
 156 [([ta167, ta16a], $d9{-r193,x-}, d.Show_a15X)]
 157     d.Eq_a17a = d.Eq_a171
 158     d.Show_a178 = $d2{-r195,x-} ta167 d.Eq_a17a
 159     showsPrec_a19T =
 160         PrelBase.showsPrec{-rfW,p-} (T{-r3K,x-} ta167) d.Show_a178
 161     d.Eq_a17e = d.Eq_a172
 162     d.Show_a17c = $d8{-r192,x-} ta16a d.Eq_a17e
 163     showsPrec_a19U =
 164         PrelBase.showsPrec{-rfW,p-} (Y{-r3L,x-} ta16a) d.Show_a17c
 165     d.Eq_a17i = d.Eq_a172
 166     d.Eq_a17j = d.Eq_a171
 167     d.Show_a17g = $d9{-r193,x-} [ta16a, ta167] [d.Eq_a17i, d.Eq_a17j]
 168     showsPrec_a19V =
 169         PrelBase.showsPrec{-rfW,p-} (X{-r3M,x-} ta16a ta167) d.Show_a17g
 170     showsPrec_a19W = showsPrec_a19X
 171     AbsBinds [] [] [([], showsPrec_a19X, showsPrec_a161)]
 172         >=_a19Z = >=_a19m
 173         lit_a1a0 = lit_a19n
 174         >=_a1a1 = >=_a19m
 175         lit_a1a2 = lit_a19n
 176         showsPrec_a161 a_rXZ (C1{-r9,x-}{i} b1_rY0)
 177                        = PrelBase.showParen{-rgK,p-} a_rXZ >=_a19m lit_a19n
 178                                                      PrelBase..{-rfC,p-}
 179                                                          [PrelBase.String{-rfZ,p-}, PrelBase.String{-rfZ,p-}, PrelBase.String{-rfZ,p-}] PrelBase.showString{-rgN,p-} "C1 "
 180                                                                                                                                         showsPrec_a19T PrelBase.I#{-5b,w-}{i} 10#
 181                                                                                                                                                        b1_rY0
 182         showsPrec_a161 a_rY2 (C2{-r8,x-}{i} b1_rY3)
 183                        = PrelBase.showParen{-rgK,p-} a_rY2 >=_a19Z lit_a1a0
 184                                                      PrelBase..{-rfC,p-}
 185                                                          [PrelBase.String{-rfZ,p-}, PrelBase.String{-rfZ,p-}, PrelBase.String{-rfZ,p-}] PrelBase.showString{-rgN,p-} "C2 "
 186                                                                                                                                         showsPrec_a19U PrelBase.I#{-5b,w-}{i} 10#
 187                                                                                                                                                        b1_rY3
 188         showsPrec_a161 a_rY5 (C3{-rb,x-}{i} b1_rY6)
 189                        = PrelBase.showParen{-rgK,p-} a_rY5 >=_a1a1 lit_a1a2
 190                                                      PrelBase..{-rfC,p-}
 191                                                          [PrelBase.String{-rfZ,p-}, PrelBase.String{-rfZ,p-}, PrelBase.String{-rfZ,p-}] PrelBase.showString{-rgN,p-} "C3 "
 192                                                                                                                                         showsPrec_a19V PrelBase.I#{-5b,w-}{i} 10#
 193                                                                                                                                                        b1_rY6
 194     AbsBinds [] [] [([], showList_a19Y, showList_a16W)]
 195         showList_a16W = PrelBase.showList__{-r3J,p-}
 196                             (X{-r3M,x-} ta167 ta16a) showsPrec_a19W PrelBase.I#{-5b,w-}{i} 0#
 197     d.Show_a15X = ({-dict-} [] [showsPrec_a19X, showList_a19Y])
 198 AbsBinds
 199 [ta17y]
 200 [d.Eq_a17H]
 201 [([ta17y], $d1{-r194,x-}, d.Read_a17r)]
 202     d.Read_a17L = d.Read_a17r
 203     $mreadList_a1a3 =
 204         PrelRead.$mreadList{-rkF,p-} (T{-r3K,x-} ta17y) d.Read_a17L
 205     AbsBinds [] [] [([], readsPrec_a1a4, readsPrec_a17v)]
 206         readsPrec_a17v
 207             = IOBase.error{-87,w-}
 208                   (PrelBase.Int{-3g,W-}
 209                    -> PrelBase.String{-rfZ,p-}
 210                    -> [(T{-r3K,x-} ta17y, PrelBase.String{-rfZ,p-})]) "read"
 211     AbsBinds [] [] [([], readList_a1a5, readList_a17E)]
 212         readList_a17E = $mreadList_a1a3
 213     d.Read_a17r = ({-dict-} [] [readsPrec_a1a4, readList_a1a5])
 214 AbsBinds
 215 [ta17Z]
 216 [d.Eq_a188]
 217 [([ta17Z], $d2{-r195,x-}, d.Show_a17S)]
 218     d.Show_a18c = d.Show_a17S
 219     $mshowList_a1a6 =
 220         PrelBase.$mshowList{-rfz,p-} (T{-r3K,x-} ta17Z) d.Show_a18c
 221     AbsBinds [] [] [([], showsPrec_a1a7, showsPrec_a17W)]
 222         showsPrec_a17W
 223             = IOBase.error{-87,w-}
 224                   (PrelBase.Int{-3g,W-}
 225                    -> T{-r3K,x-} ta17Z
 226                    -> PrelBase.String{-rfZ,p-}
 227                    -> PrelBase.String{-rfZ,p-}) "show"
 228     AbsBinds [] [] [([], showList_a1a8, showList_a185)]
 229         showList_a185 = $mshowList_a1a6
 230     d.Show_a17S = ({-dict-} [] [showsPrec_a1a7, showList_a1a8])
 231 d.MonadPlus_a18f = PrelBase.$d23{-raE,p-}
 232 ++_a196 = PrelBase.++{-rfK,p-} PrelBase.[]{-3j,W-} d.MonadPlus_a18f
 233 d.Eq_a18k = PrelBase.$d34{-raQ,p-}
 234 d.Eq_a18i = PrelBase.$d28{-raJ,p-} PrelBase.Char{-38,W-} d.Eq_a18k
 235 ==_a197 = PrelBase.=={-8Y,p-} [PrelBase.Char{-38,W-}] d.Eq_a18i
 236 d.Monad_a18n = PrelBase.$d25{-raG,p-}
 237 >>=_a198 = PrelBase.>>={-811,p-} PrelBase.[]{-3j,W-} d.Monad_a18n
 238 d.Monad_a18q = d.Monad_a18n
 239 return_a199 =
 240     PrelBase.return{-816,p-} PrelBase.[]{-3j,W-} d.Monad_a18q
 241 d.MonadZero_a18s = PrelBase.$d24{-raF,p-}
 242 zero_a19a =
 243     PrelBase.zero{-810,p-} PrelBase.[]{-3j,W-} d.MonadZero_a18s
 244 d.Ord_a18v = PrelBase.$d7{-rbi,p-}
 245 >_a19b = PrelBase.>{-rfT,p-} PrelBase.Int{-3g,W-} d.Ord_a18v
 246 lit_a19c = PrelBase.I#{-5b,w-}{i} 9#
 247 ++_a19d = ++_a196
 248 >_a19e = >_a19b
 249 lit_a19f = lit_a19c
 250 ==_a19g = ==_a197
 251 >>=_a19h = >>=_a198
 252 return_a19i = return_a199
 253 zero_a19j = zero_a19a
 254 d.Ord_a18y = d.Ord_a18v
 255 >=_a19k = PrelBase.>={-8Z,p-} PrelBase.Int{-3g,W-} d.Ord_a18y
 256 lit_a19l = PrelBase.I#{-5b,w-}{i} 10#
 257 >=_a19m = >=_a19k
 258 lit_a19n = lit_a19l
 259 ghc: module version changed to 1; reason: no old .hi file
 260 _interface_ ShouldSucceed 1
 261 _instance_modules_
 262 ArrBase IO PrelNum
 263 _usages_
 264 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;
 265 PrelNum 1 :: $d10 1 $d16 1 $d17 1 $d18 1 $d29 1 $d33 1 $d34 1 $d35 1;
 266 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;
 267 PrelTup 1 :: $d13 1 $d4 1 $d49 1 $d9 1;
 268 _exports_
 269 ShouldSucceed T(E1) X(C1 C2 C3) Y(D1 D2);
 270 _instances_
 271 instance _forall_ [a] {PrelBase.Eq a} => {PrelRead.Read (T a)} = $d1;
 272 instance _forall_ [a] {PrelBase.Eq a} => {PrelBase.Show (T a)} = $d2;
 273 instance _forall_ [a] => {PrelBase.Eval (T a)} = $d3;
 274 instance _forall_ [b] => {PrelBase.Eval (Y b)} = $d4;
 275 instance _forall_ [a b] => {PrelBase.Eval (X a b)} = $d5;
 276 instance _forall_ [b] {PrelBase.Eq b} => {PrelRead.Read (Y b)} = $d6;
 277 instance _forall_ [a b] {PrelBase.Eq a, PrelBase.Eq b} => {PrelRead.Read (X a b)} = $d7;
 278 instance _forall_ [b] {PrelBase.Eq b} => {PrelBase.Show (Y b)} = $d8;
 279 instance _forall_ [a b] {PrelBase.Eq a, PrelBase.Eq b} => {PrelBase.Show (X a b)} = $d9;
 280 _declarations_
 281 1 $d1 _:_ _forall_ [a] {PrelBase.Eq a} => {PrelRead.Read (T a)} ;;
 282 1 $d2 _:_ _forall_ [a] {PrelBase.Eq a} => {PrelBase.Show (T a)} ;;
 283 1 $d3 _:_ _forall_ [a] => {PrelBase.Eval (T a)} ;;
 284 1 $d4 _:_ _forall_ [b] => {PrelBase.Eval (Y b)} ;;
 285 1 $d5 _:_ _forall_ [a b] => {PrelBase.Eval (X a b)} ;;
 286 1 $d6 _:_ _forall_ [b] {PrelBase.Eq b} => {PrelRead.Read (Y b)} ;;
 287 1 $d7 _:_ _forall_ [a b] {PrelBase.Eq a, PrelBase.Eq b} => {PrelRead.Read (X a b)} ;;
 288 1 $d8 _:_ _forall_ [b] {PrelBase.Eq b} => {PrelBase.Show (Y b)} ;;
 289 1 $d9 _:_ _forall_ [a b] {PrelBase.Eq a, PrelBase.Eq b} => {PrelBase.Show (X a b)} ;;
 290 1 data T a = E1 ;
 291 1 data X a b = C1 (T a) |  C2 (Y b) |  C3 (X b a) ;
 292 1 data Y b = D1 |  D2 (X PrelBase.Int b) ;