ghc/tests/deriving/should_compile/drv009.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 Pair{-r4e,x-}{i} =
   6     _/\_ a_tr4b b_tr4c -> \ tpl_B1 tpl_B2 ->
   7         Pair{-r4e,x-}{i} {_@_ a_tr4b _@_ b_tr4c tpl_B1 tpl_B2}
   8 AbsBinds
   9 [taXK, taXN]
  10 []
  11 [([taXK, taXN], con2tag_Pair#_rUo, con2tag_Pair#_aXD)]
  12     con2tag_Pair#_aXD (Pair{-r4e,x-}{i} _ _) = 0#
  13 AbsBinds [] [] [([], maxtag_Pair#_rUn, maxtag_Pair#_aXR)]
  14     maxtag_Pair#_aXR = PrelBase.I#{-5b,w-}{i} 0#
  15 AbsBinds
  16 [taY0, taY2]
  17 []
  18 [([taY0, taY2], tag2con_Pair#_rUm, tag2con_Pair#_aXU)]
  19     tag2con_Pair#_aXU (PrelBase.I#{-5b,w-}{i} 0#)
  20                       = Pair{-r4e,x-}{i} [taY0, taY2]
  21     tag2con_Pair#_aXU _
  22                       = IOBase.error{-87,w-}
  23                             (taY0 -> taY2 -> Pair{-r4d,x-} taY0 taY2) "Urk! in TcGenDeriv"
  24 AbsBinds
  25 [taYr, taYs]
  26 [d.Eq_aYS, d.Eq_aYT]
  27 [([taYr, taYs], $d1{-r17l,x-}, d.Eq_aYe)]
  28     d.Eq_aYX = d.Eq_aYS
  29     ==_a17y = PrelBase.=={-8Y,p-} taYr d.Eq_aYX
  30     d.Eq_aYZ = d.Eq_aYT
  31     ==_a17z = PrelBase.=={-8Y,p-} taYs d.Eq_aYZ
  32     ==_a17A = ==_a17B
  33     AbsBinds [] [] [([], ==_a17B, ==_aYi)]
  34         ==_aYi (Pair{-r4e,x-}{i} a1_rUx a2_rUy)
  35                (Pair{-r4e,x-}{i} b1_rUz b2_rUA)
  36                = (a1_rUx ==_a17y b1_rUz)
  37                  PrelBase.&&{-rgJ,p-} (a2_rUy ==_a17z b2_rUA)
  38     AbsBinds [] [] [([], /=_a17C, /=_aYL)]
  39         /=_aYL a_rUE b_rUF = PrelBase.not{-rhH,p-} ==_a17A a_rUE b_rUF
  40     d.Eq_aYe = ({-dict-} [] [==_a17B, /=_a17C])
  41 AbsBinds
  42 [ta17g, ta17h]
  43 []
  44 [([ta17g, ta17h], $d2{-r17m,x-}, d.Eval_aZ8)]
  45     d.Eval_aZ8 = ({-dict-} [] [])
  46 AbsBinds
  47 [taZm, taZn]
  48 [d.Ord_a11v, d.Ord_a11w, d.Eq_a11x]
  49 [([taZm, taZn], $d3{-r17n,x-}, d.Ord_aZf)]
  50     d.Eq_a11u = d.Eq_a11x
  51     d.Ord_a10d = d.Ord_a11v
  52     d.Ord_a10e = d.Ord_a11w
  53     compare_a17D = compare_a17J
  54     compare_a17E = compare_a17J
  55     compare_a17F = compare_a17J
  56     compare_a17G = compare_a17J
  57     compare_a17H = compare_a17J
  58     compare_a17I = compare_a17J
  59     AbsBinds [] [] [([], compare_a17J, compare_aZj)]
  60         compare_aZj a_rVx b_rVy
  61                     = case cmp_eq_a17Q a_rVx b_rVy of
  62                         PrelBase.LT{-raH,p-}{i} -> PrelBase.LT{-raH,p-}{i}
  63                         PrelBase.EQ{-raG,p-}{i} -> PrelBase.EQ{-raG,p-}{i}
  64                         PrelBase.GT{-raI,p-}{i} -> PrelBase.GT{-raI,p-}{i}
  65                     where
  66                         {- nonrec -}
  67                         AbsBinds
  68                         [taZR, taZV]
  69                         [d.Ord_a103, d.Ord_a105]
  70                         [([taZR, taZV], cmp_eq_rVA, cmp_eq_aZr)]
  71                             compare_a17R = PrelBase.compare{-rgY,p-} taZR d.Ord_a103
  72                             compare_a17S = PrelBase.compare{-rgY,p-} taZV d.Ord_a105
  73                             cmp_eq_aZr (Pair{-r4e,x-}{i} a1_rVC a2_rVD)
  74                                        (Pair{-r4e,x-}{i} b1_rVE b2_rVF)
  75                                        = case compare_a17R a1_rVC b1_rVE of
  76                                            PrelBase.LT{-raH,p-}{i} -> PrelBase.LT{-raH,p-}{i}
  77                                            PrelBase.EQ{-raG,p-}{i}
  78                                            -> case compare_a17S a2_rVD b2_rVF of
  79                                                 PrelBase.LT{-raH,p-}{i} -> PrelBase.LT{-raH,p-}{i}
  80                                                 PrelBase.EQ{-raG,p-}{i} -> PrelBase.EQ{-raG,p-}{i}
  81                                                 PrelBase.GT{-raI,p-}{i} -> PrelBase.GT{-raI,p-}{i}
  82                                            PrelBase.GT{-raI,p-}{i} -> PrelBase.GT{-raI,p-}{i}
  83                             cmp_eq_aZr _ _
  84                                        = IOBase.error{-87,w-}
  85                                              PrelBase.Ordering{-3o,p-} "Urk! in TcGenDeriv"
  86                         {- nonrec -}
  87                         cmp_eq_a17Q = cmp_eq_rVA [taZm, taZn] [d.Ord_a10d, d.Ord_a10e]
  88                         {- nonrec -}
  89     AbsBinds [] [] [([], <_a17K, <_a10j)]
  90         <_a10j a_rUL b_rUM
  91                = case compare_a17D a_rUL b_rUM of
  92                    PrelBase.LT{-raH,p-}{i} -> PrelBase.True{-5E,w-}{i}
  93                    PrelBase.EQ{-raG,p-}{i} -> PrelBase.False{-58,w-}{i}
  94                    PrelBase.GT{-raI,p-}{i} -> PrelBase.False{-58,w-}{i}
  95     AbsBinds [] [] [([], <=_a17L, <=_a10w)]
  96         <=_a10w a_rUT b_rUU
  97                 = case compare_a17E a_rUT b_rUU of
  98                     PrelBase.LT{-raH,p-}{i} -> PrelBase.True{-5E,w-}{i}
  99                     PrelBase.EQ{-raG,p-}{i} -> PrelBase.True{-5E,w-}{i}
 100                     PrelBase.GT{-raI,p-}{i} -> PrelBase.False{-58,w-}{i}
 101     AbsBinds [] [] [([], >=_a17M, >=_a10J)]
 102         >=_a10J a_rV1 b_rV2
 103                 = case compare_a17F a_rV1 b_rV2 of
 104                     PrelBase.LT{-raH,p-}{i} -> PrelBase.False{-58,w-}{i}
 105                     PrelBase.EQ{-raG,p-}{i} -> PrelBase.True{-5E,w-}{i}
 106                     PrelBase.GT{-raI,p-}{i} -> PrelBase.True{-5E,w-}{i}
 107     AbsBinds [] [] [([], >_a17N, >_a10W)]
 108         >_a10W a_rV9 b_rVa
 109                = case compare_a17G a_rV9 b_rVa of
 110                    PrelBase.LT{-raH,p-}{i} -> PrelBase.False{-58,w-}{i}
 111                    PrelBase.EQ{-raG,p-}{i} -> PrelBase.False{-58,w-}{i}
 112                    PrelBase.GT{-raI,p-}{i} -> PrelBase.True{-5E,w-}{i}
 113     AbsBinds [] [] [([], max_a17O, max_a119)]
 114         max_a119 a_rVh b_rVi
 115                  = case compare_a17H a_rVh b_rVi of
 116                      PrelBase.LT{-raH,p-}{i} -> b_rVi
 117                      PrelBase.EQ{-raG,p-}{i} -> a_rVh
 118                      PrelBase.GT{-raI,p-}{i} -> a_rVh
 119     AbsBinds [] [] [([], min_a17P, min_a11m)]
 120         min_a11m a_rVp b_rVq
 121                  = case compare_a17I a_rVp b_rVq of
 122                      PrelBase.LT{-raH,p-}{i} -> a_rVp
 123                      PrelBase.EQ{-raG,p-}{i} -> b_rVq
 124                      PrelBase.GT{-raI,p-}{i} -> b_rVq
 125     d.Ord_aZf =
 126         ({-dict-}
 127          [d.Eq_a11u]
 128          [compare_a17J, <_a17K, <=_a17L, >=_a17M, >_a17N, max_a17O, min_a17P])
 129 AbsBinds
 130 [ta121, ta122]
 131 [d.Show_a12w, d.Show_a12x]
 132 [([ta121, ta122], $d4{-r17o,x-}, d.Show_a11N)]
 133     d.Show_a12D = d.Show_a12w
 134     showsPrec_a17T = PrelBase.showsPrec{-rh4,p-} ta121 d.Show_a12D
 135     d.Show_a12F = d.Show_a12x
 136     showsPrec_a17U = PrelBase.showsPrec{-rh4,p-} ta122 d.Show_a12F
 137     showsPrec_a17V = showsPrec_a17W
 138     AbsBinds [] [] [([], showsPrec_a17W, showsPrec_a11R)]
 139         showsPrec_a11R a_rVU (Pair{-r4e,x-}{i} b1_rVV b2_rVW)
 140                        = PrelBase.showParen{-rhT,p-} a_rVU >=_a17q lit_a17r
 141                                                      PrelBase..{-rgK,p-}
 142                                                          [PrelBase.String{-rh7,p-}, PrelBase.String{-rh7,p-}, PrelBase.String{-rh7,p-}] PrelBase.showString{-rhW,p-} "Pair "
 143                                                                                                                                         PrelBase..{-rgK,p-}
 144                                                                                                                                             [PrelBase.String{-rh7,p-}, PrelBase.String{-rh7,p-}, PrelBase.String{-rh7,p-}] showsPrec_a17T PrelBase.I#{-5b,w-}{i} 10#
 145                                                                                                                                                                                                                                           b1_rVV
 146                                                                                                                                                                                                                            PrelBase..{-rgK,p-}
 147                                                                                                                                                                                                                                [PrelBase.String{-rh7,p-}, PrelBase.String{-rh7,p-}, PrelBase.String{-rh7,p-}] PrelBase.showSpace{-rhV,p-}
 148                                                                                                                                                                                                                                                                                                               showsPrec_a17U PrelBase.I#{-5b,w-}{i} 10#
 149                                                                                                                                                                                                                                                                                                                              b2_rVW
 150     AbsBinds [] [] [([], showList_a17X, showList_a12r)]
 151         showList_a12r = PrelBase.showList__{-rhR,p-}
 152                             (Pair{-r4d,x-} ta121 ta122) showsPrec_a17V PrelBase.I#{-5b,w-}{i} 0#
 153     d.Show_a11N = ({-dict-} [] [showsPrec_a17W, showList_a17X])
 154 AbsBinds
 155 [ta13d, ta13e]
 156 [d.Ix_a16l, d.Ix_a16m, d.Show_a16n, d.Ord_a16o]
 157 [([ta13d, ta13e], $d5{-r17p,x-}, d.Ix_a12O)]
 158     d.Show_a16k = d.Show_a16n
 159     d.Ord_a16p = d.Ord_a16o
 160     d.Ix_a16s = d.Ix_a16l
 161     range_a17Y = Ix.range{-rbr,p-} ta13d d.Ix_a16s
 162     d.Ix_a16u = d.Ix_a16m
 163     range_a17Z = Ix.range{-rbr,p-} ta13e d.Ix_a16u
 164     d.Ix_a16C = d.Ix_a16m
 165     index_a180 = Ix.index{-rbs,p-} ta13e d.Ix_a16C
 166     d.Ix_a15t = d.Ix_a16m
 167     d.Ix_a16G = d.Ix_a16l
 168     index_a181 = Ix.index{-rbs,p-} ta13d d.Ix_a16G
 169     d.Ix_a15u = d.Ix_a16l
 170     d.Ix_a16I = d.Ix_a16l
 171     inRange_a182 = Ix.inRange{-rbt,p-} ta13d d.Ix_a16I
 172     d.Ix_a16K = d.Ix_a16m
 173     inRange_a183 = Ix.inRange{-rbt,p-} ta13e d.Ix_a16K
 174     AbsBinds [] [] [([], range_a184, range_a12S)]
 175         range_a12S ((Pair{-r4e,x-}{i} a1_rW4 a2_rW5), (Pair{-r4e,x-}{i} b1_rW6 b2_rW7))
 176                    = [Pair{-r4e,x-}{i} [ta13d, ta13e] c1_rW9 c2_rWb |
 177                           c1_rW9 <- range_a17Y (a1_rW4,
 178                                                 b1_rW6), c2_rWb <- range_a17Z (a2_rW5, b2_rW7)]
 179     AbsBinds [] [] [([], index_a185, index_a13T)]
 180         +_a187 = +_a17u
 181         *_a188 = *_a17v
 182         +_a189 = +_a17u
 183         index_a13T ((Pair{-r4e,x-}{i} a1_rWf a2_rWg), (Pair{-r4e,x-}{i} b1_rWh b2_rWi))
 184                    (Pair{-r4e,x-}{i} c1_rWj c2_rWk)
 185                    = (index_a180 (a2_rWg, b2_rWi) c2_rWk)
 186                      +_a17u ((rangeSize_a18a (a2_rWg, b2_rWi))
 187                              *_a17v ((index_a181 (a1_rWf, b1_rWh) c1_rWj)
 188                                      +_a187 ((rangeSize_a18b (a1_rWf, b1_rWh)) *_a188 lit_a17w)))
 189                    where
 190                        {- nonrec -}
 191                        AbsBinds
 192                        [ta14I]
 193                        [d.Ix_a14P]
 194                        [([ta14I], rangeSize_rWm, rangeSize_a14n)]
 195                            index_a18c = Ix.index{-rbs,p-} ta14I d.Ix_a14P
 196                            rangeSize_a14n (a_rWo, b_rWp)
 197                                           = (index_a18c (a_rWo, b_rWp) b_rWp) +_a189 lit_a17x
 198                        {- nonrec -}
 199                        rangeSize_a18a = rangeSize_rWm ta13e d.Ix_a15t
 200                        rangeSize_a18b = rangeSize_rWm ta13d d.Ix_a15u
 201                        {- nonrec -}
 202     AbsBinds [] [] [([], inRange_a186, inRange_a15D)]
 203         inRange_a15D ((Pair{-r4e,x-}{i} a1_rWt a2_rWu), (Pair{-r4e,x-}{i} b1_rWv b2_rWw))
 204                      (Pair{-r4e,x-}{i} c1_rWx c2_rWy)
 205                      = (inRange_a182 (a1_rWt, b1_rWv) c1_rWx)
 206                        PrelBase.&&{-rgJ,p-} (inRange_a183 (a2_rWu, b2_rWw) c2_rWy)
 207     d.Ix_a12O =
 208         ({-dict-}
 209          [d.Show_a16k, d.Ord_a16p]
 210          [range_a184, index_a185, inRange_a186])
 211 d.Ord_a174 = PrelBase.$d7{-rcq,p-}
 212 >=_a17q = PrelBase.>={-8Z,p-} PrelBase.Int{-3g,W-} d.Ord_a174
 213 lit_a17r = PrelBase.I#{-5b,w-}{i} 10#
 214 d.Monad_a177 = PrelBase.$d25{-rbO,p-}
 215 >>=_a17s = PrelBase.>>={-811,p-} PrelBase.[]{-3j,W-} d.Monad_a177
 216 d.Monad_a17a = d.Monad_a177
 217 return_a17t =
 218     PrelBase.return{-816,p-} PrelBase.[]{-3j,W-} d.Monad_a17a
 219 d.Num_a17c = PrelBase.$d4{-rc4,p-}
 220 +_a17u = PrelBase.+{-rgT,p-} PrelBase.Int{-3g,W-} d.Num_a17c
 221 d.Num_a17f = d.Num_a17c
 222 *_a17v = PrelBase.*{-rgU,p-} PrelBase.Int{-3g,W-} d.Num_a17f
 223 lit_a17w = PrelBase.I#{-5b,w-}{i} 0#
 224 lit_a17x = PrelBase.I#{-5b,w-}{i} 1#
 225 ghc: module version changed to 1; reason: no old .hi file
 226 _interface_ ShouldSucceed 1
 227 _instance_modules_
 228 ArrBase IO PrelNum
 229 _usages_
 230 Ix 1 :: $d4 1 $d5 1 $d6 1 $d7 1 $d8 1 $d9 1 Ix 1;
 231 PrelBase 1 :: $d1 1 $d11 1 $d12 1 $d14 1 $d15 1 $d16 1 $d2 1 $d22 1 $d24 1 $d25 1 $d26 1 $d27 1 $d28 1 $d3 1 $d31 1 $d32 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 $d6 1 $d7 1 $d8 1 $d9 1 $m- 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $m>> 1 $mcompare 1 $menumFromThenTo 1 $menumFromTo 1 $mfromInt 1 $mmax 1 $mmin 1 $mshowList 1 && 1 . 1 not 1 showList__ 1 showParen 1 showSpace 1 showString 1 Enum 1 Eq 1 Eval 1 Functor 1 Monad 1 MonadZero 1 Num 1 Ord 1 Ordering 1 Ordering 1 Show 1 ShowS 1 String 1;
 232 PrelNum 1 :: $d10 1 $d16 1 $d17 1 $d18 1 $d28 1 $d29 1 $d30 1 $d33 1 $d34 1 $d35 1 $d8 1;
 233 PrelTup 1 :: $d13 1 $d4 1 $d49 1 $d9 1;
 234 _exports_
 235 ShouldSucceed Pair(Pair);
 236 _instances_
 237 instance _forall_ [a b] {PrelBase.Eq a, PrelBase.Eq b} => {PrelBase.Eq (Pair a b)} = $d1;
 238 instance _forall_ [a b] => {PrelBase.Eval (Pair a b)} = $d2;
 239 instance _forall_ [a b] {PrelBase.Ord a, PrelBase.Ord b} => {PrelBase.Ord (Pair a b)} = $d3;
 240 instance _forall_ [a b] {PrelBase.Show a, PrelBase.Show b} => {PrelBase.Show (Pair a b)} = $d4;
 241 instance _forall_ [a b] {Ix.Ix a, Ix.Ix b} => {Ix.Ix (Pair a b)} = $d5;
 242 _declarations_
 243 1 $d1 _:_ _forall_ [a b] {PrelBase.Eq a, PrelBase.Eq b} => {PrelBase.Eq (Pair a b)} ;;
 244 1 $d2 _:_ _forall_ [a b] => {PrelBase.Eval (Pair a b)} ;;
 245 1 $d3 _:_ _forall_ [a b] {PrelBase.Ord a, PrelBase.Ord b, PrelBase.Eq (Pair a b)} => {PrelBase.Ord (Pair a b)} ;;
 246 1 $d4 _:_ _forall_ [a b] {PrelBase.Show a, PrelBase.Show b} => {PrelBase.Show (Pair a b)} ;;
 247 1 $d5 _:_ _forall_ [a b] {Ix.Ix a, Ix.Ix b, PrelBase.Show (Pair a b), PrelBase.Ord (Pair a b)} => {Ix.Ix (Pair a b)} ;;
 248 1 data Pair a b = Pair a b ;