ghc/tests/printing/should_compile/Print002.stderr

   1 ==================== Typechecked ====================
   2 MkFoo1{-rk,x-}{i} =
   3     _/\_ a_tr4k b_tr4l c_tr4m -> \ tpl_B1 tpl_B2 ->
   4         MkFoo1{-rk,x-}{i} {_@_ a_tr4k _@_ b_tr4l _@_ c_tr4m tpl_B1 tpl_B2}
   5 :##{-rj,x-}{i} =
   6     _/\_ a_tr4k b_tr4l c_tr4m -> \ tpl_B1 tpl_B2 ->
   7         :##{-rj,x-}{i} {_@_ a_tr4k _@_ b_tr4l _@_ c_tr4m tpl_B1 tpl_B2}
   8 MkFoo3{-rm,x-}{i} =
   9     _/\_ a_tr4k b_tr4l c_tr4m -> \ tpl_B1 tpl_B2 ->
  10         MkFoo3{-rm,x-}{i} {_@_ a_tr4k _@_ b_tr4l _@_ c_tr4m tpl_B1 tpl_B2}
  11 :***{-ro,x-}{i} =
  12     _/\_ a_tr4k b_tr4l c_tr4m -> \ tpl_B1 tpl_B2 ->
  13         :***{-ro,x-}{i} {_@_ a_tr4k _@_ b_tr4l _@_ c_tr4m tpl_B1 tpl_B2}
  14 AbsBinds [taHU] [d.Bar_aHX] [([taHU], f3d{-r4o,x-}, f3d_aTh)]
  15     /////_aTi = /////{-r4B,x-} taHU d.Bar_aHX
  16     f3d_aTh x_r48 y_r49 = x_r48 /////_aTi y_r49
  17 AbsBinds [taIe] [d.Bar_aIh] [([taIe], f3c{-r4p,x-}, f3c_aTn)]
  18     /////_aTo = /////{-r4B,x-} taIe d.Bar_aIh
  19     f3c_aTn x_r45 y_r46 = /////_aTo x_r45 y_r46
  20 AbsBinds [taIy] [d.Bar_aIB] [([taIy], f3b{-r4q,x-}, f3b_aTp)]
  21     meth1_aTq = meth1{-r4C,x-} taIy d.Bar_aIB
  22     f3b_aTp x_r42 y_r43 = x_r42 meth1_aTq y_r43
  23 AbsBinds [taIS] [d.Bar_aIV] [([taIS], f3a{-r4r,x-}, f3a_aTr)]
  24     meth1_aTs = meth1{-r4C,x-} taIS d.Bar_aIV
  25     f3a_aTr x_r3Z y_r40 = meth1_aTs x_r3Z y_r40
  26 AbsBinds
  27 [taJm, taJo, taJq]
  28 []
  29 [([taJm, taJo, taJq], <<<<{-r4s,x-}, <<<<_aTt)]
  30     <<<<_aTt x_r3T y_r3U
  31              = :***{-ro,x-}{i} [taJm, taJo, taJq] x_r3T y_r3U
  32     <<<<_aTt x_r3W y_r3X
  33              = :***{-ro,x-}{i} [taJm, taJo, taJq] x_r3W y_r3X
  34 AbsBinds
  35 [taJH, taJJ, taJL]
  36 []
  37 [([taJH, taJJ, taJL], .....{-r4t,x-}, ....._aTu)]
  38     ....._aTu x_r3Q y_r3R
  39               = MkFoo3{-rm,x-}{i} [taJH, taJJ, taJL] x_r3Q y_r3R
  40 AbsBinds
  41 [taK2, taK4, taK6]
  42 []
  43 [([taK2, taK4, taK6], ....{-r4u,x-}, ...._aTv)]
  44     ...._aTv x_r3N y_r3O
  45              = MkFoo3{-rm,x-}{i} [taK2, taK4, taK6] x_r3N y_r3O
  46 AbsBinds
  47 [taKn, taKp, taKr]
  48 []
  49 [([taKn, taKp, taKr], f2a{-r4v,x-}, f2a_aTw)]
  50     f2a_aTw x_r3K y_r3L = :##{-rj,x-}{i} [taKn, taKp, taKr] x_r3K y_r3L
  51 AbsBinds
  52 [taKI, taKK, taKM]
  53 []
  54 [([taKI, taKK, taKM], f2{-r4w,x-}, f2_aTx)]
  55     f2_aTx x_r3H y_r3I = :##{-rj,x-}{i} [taKI, taKK, taKM] x_r3H y_r3I
  56 AbsBinds
  57 [taL3, taL5, taL7]
  58 []
  59 [([taL3, taL5, taL7], f1a{-r4x,x-}, f1a_aTy)]
  60     f1a_aTy x_r3E y_r3F
  61             = MkFoo1{-rk,x-}{i} [taL3, taL5, taL7] x_r3E y_r3F
  62 AbsBinds
  63 [taLo, taLq, taLs]
  64 []
  65 [([taLo, taLq, taLs], f1{-r4y,x-}, f1_aTz)]
  66     f1_aTz x_r3B y_r3C
  67            = MkFoo1{-rk,x-}{i} [taLo, taLq, taLs] x_r3B y_r3C
  68 AbsBinds
  69 [taM9, taMc, taMd]
  70 []
  71 [([taM9, taMc, taMd], con2tag_Foo#_rF7, con2tag_Foo#_aTA)]
  72     con2tag_Foo#_aTA (MkFoo1{-rk,x-}{i} _ _) = 0#
  73     con2tag_Foo#_aTA (:##{-rj,x-}{i} _ _) = 1#
  74     con2tag_Foo#_aTA (MkFoo3{-rm,x-}{i} _ _) = 2#
  75     con2tag_Foo#_aTA (:***{-ro,x-}{i} _ _) = 3#
  76 AbsBinds
  77 [taMv, taMy, taMB]
  78 [d.Eq_aOm, d.Eq_aOn, d.Eq_aOo]
  79 [([taMv, taMy, taMB], $d1{-rTm,x-}, d.Eq_aMl)]
  80     d.Eq_aOs = d.Eq_aOm
  81     ==_aTG = PrelBase.=={-8Z,p-} taMv d.Eq_aOs
  82     d.Eq_aOu = d.Eq_aOn
  83     ==_aTF = PrelBase.=={-8Z,p-} taMy d.Eq_aOu
  84     d.Eq_aOw = d.Eq_aOo
  85     ==_aTE = PrelBase.=={-8Z,p-} taMB d.Eq_aOw
  86     ==_aTD = ==_aTC
  87     AbsBinds [] [] [([], ==_aTC, ==_aTH)]
  88         ==_aTM = ==_aTG
  89         ==_aTL = ==_aTF
  90         ==_aTK = ==_aTF
  91         ==_aTJ = ==_aTE
  92         ==_aTI = ==_aTE
  93         ==_aTH (MkFoo1{-rk,x-}{i} a1_rFg a2_rFh)
  94                (MkFoo1{-rk,x-}{i} b1_rFi b2_rFj)
  95                = (a1_rFg ==_aTG b1_rFi)
  96                  PrelBase.&&{-rfg,p-} (a2_rFh ==_aTM b2_rFj)
  97         ==_aTH (:##{-rj,x-}{i} a1_rFl a2_rFm)
  98                (:##{-rj,x-}{i} b1_rFn b2_rFo)
  99                = (a1_rFl ==_aTF b1_rFn)
 100                  PrelBase.&&{-rfg,p-} (a2_rFm ==_aTE b2_rFo)
 101         ==_aTH (MkFoo3{-rm,x-}{i} a1_rFq a2_rFr)
 102                (MkFoo3{-rm,x-}{i} b1_rFs b2_rFt)
 103                = (a1_rFq ==_aTL b1_rFs)
 104                  PrelBase.&&{-rfg,p-} (a2_rFr ==_aTK b2_rFt)
 105         ==_aTH (:***{-ro,x-}{i} a1_rFv a2_rFw)
 106                (:***{-ro,x-}{i} b1_rFx b2_rFy)
 107                = (a1_rFv ==_aTJ b1_rFx)
 108                  PrelBase.&&{-rfg,p-} (a2_rFw ==_aTI b2_rFy)
 109         ==_aTH a_rFA b_rFB = PrelBase.False{-58,w-}{i}
 110     AbsBinds [] [] [([], /=_aTB, /=_aTN)]
 111         /=_aTN a_rFF b_rFG = PrelBase.not{-rga,p-} ==_aTD a_rFF b_rFG
 112     d.Eq_aMl = ({-dict-} [] [==_aTC, /=_aTB])
 113 AbsBinds
 114 [taTc, taTe, taTd]
 115 []
 116 [([taTc, taTe, taTd], $d2{-rTl,x-}, d.Eval_aOH)]
 117     d.Eval_aOH = ({-dict-} [] [])
 118 AbsBinds
 119 [taOV, taOW, taOX]
 120 [d.Ord_aSP, d.Ord_aSQ, d.Ord_aSR, d.Eq_aSS]
 121 [([taOV, taOW, taOX], $d3{-rTk,x-}, d.Ord_aOP)]
 122     d.Eq_aST = d.Eq_aSS
 123     d.Ord_aRD = d.Ord_aSP
 124     d.Ord_aRE = d.Ord_aSQ
 125     d.Ord_aRF = d.Ord_aSR
 126     compare_aU0 = compare_aTU
 127     compare_aTZ = compare_aTU
 128     compare_aTY = compare_aTU
 129     compare_aTX = compare_aTU
 130     compare_aTW = compare_aTU
 131     compare_aTV = compare_aTU
 132     AbsBinds [] [] [([], compare_aTU, compare_aU1)]
 133         compare_aU1 a_rGy b_rGz
 134                     = case con2tag_Foo#_rF7 [taOX, taOV, taOW] a_rGy of
 135                         a#_rHm
 136                         -> case con2tag_Foo#_rF7 [taOX, taOV, taOW] b_rGz of
 137                              b#_rHo
 138                              -> if a#_rHm GHC.==#{-79,w-}{I} b#_rHo then
 139                                     case cmp_eq_aU2 a_rGy b_rGz of
 140                                       PrelBase.LT{-ram,p-}{i} -> PrelBase.LT{-ram,p-}{i}
 141                                       PrelBase.EQ{-r4n,p-}{i} -> PrelBase.EQ{-r4n,p-}{i}
 142                                       PrelBase.GT{-ran,p-}{i} -> PrelBase.GT{-ran,p-}{i}
 143                                 else
 144                                     if a#_rHm GHC.<#{-7b,w-}{I} b#_rHo then
 145                                         PrelBase.LT{-ram,p-}{i}
 146                                     else
 147                                         PrelBase.GT{-ran,p-}{i}
 148                     where
 149                         {- nonrec -}
 150                         AbsBinds
 151                         [taQP, taQQ, taQX]
 152                         [d.Ord_aR5, d.Ord_aR7, d.Ord_aR9]
 153                         [([taQP, taQQ, taQX], cmp_eq_rGB, cmp_eq_aU3)]
 154                             compare_aUb = PrelBase.compare{-rft,p-} taQP d.Ord_aR5
 155                             compare_aUa = compare_aUb
 156                             compare_aU9 = PrelBase.compare{-rft,p-} taQQ d.Ord_aR7
 157                             compare_aU8 = PrelBase.compare{-rft,p-} taQX d.Ord_aR9
 158                             compare_aU7 = compare_aU9
 159                             compare_aU6 = compare_aU9
 160                             compare_aU5 = compare_aU8
 161                             compare_aU4 = compare_aU8
 162                             cmp_eq_aU3 (MkFoo1{-rk,x-}{i} a1_rGD a2_rGE)
 163                                        (MkFoo1{-rk,x-}{i} b1_rGF b2_rGG)
 164                                        = case compare_aUb a1_rGD b1_rGF of
 165                                            PrelBase.LT{-ram,p-}{i} -> PrelBase.LT{-ram,p-}{i}
 166                                            PrelBase.EQ{-r4n,p-}{i}
 167                                            -> case compare_aUa a2_rGE b2_rGG of
 168                                                 PrelBase.LT{-ram,p-}{i} -> PrelBase.LT{-ram,p-}{i}
 169                                                 PrelBase.EQ{-r4n,p-}{i} -> PrelBase.EQ{-r4n,p-}{i}
 170                                                 PrelBase.GT{-ran,p-}{i} -> PrelBase.GT{-ran,p-}{i}
 171                                            PrelBase.GT{-ran,p-}{i} -> PrelBase.GT{-ran,p-}{i}
 172                             cmp_eq_aU3 (:##{-rj,x-}{i} a1_rGO a2_rGP)
 173                                        (:##{-rj,x-}{i} b1_rGQ b2_rGR)
 174                                        = case compare_aU9 a1_rGO b1_rGQ of
 175                                            PrelBase.LT{-ram,p-}{i} -> PrelBase.LT{-ram,p-}{i}
 176                                            PrelBase.EQ{-r4n,p-}{i}
 177                                            -> case compare_aU8 a2_rGP b2_rGR of
 178                                                 PrelBase.LT{-ram,p-}{i} -> PrelBase.LT{-ram,p-}{i}
 179                                                 PrelBase.EQ{-r4n,p-}{i} -> PrelBase.EQ{-r4n,p-}{i}
 180                                                 PrelBase.GT{-ran,p-}{i} -> PrelBase.GT{-ran,p-}{i}
 181                                            PrelBase.GT{-ran,p-}{i} -> PrelBase.GT{-ran,p-}{i}
 182                             cmp_eq_aU3 (MkFoo3{-rm,x-}{i} a1_rGZ a2_rH0)
 183                                        (MkFoo3{-rm,x-}{i} b1_rH1 b2_rH2)
 184                                        = case compare_aU7 a1_rGZ b1_rH1 of
 185                                            PrelBase.LT{-ram,p-}{i} -> PrelBase.LT{-ram,p-}{i}
 186                                            PrelBase.EQ{-r4n,p-}{i}
 187                                            -> case compare_aU6 a2_rH0 b2_rH2 of
 188                                                 PrelBase.LT{-ram,p-}{i} -> PrelBase.LT{-ram,p-}{i}
 189                                                 PrelBase.EQ{-r4n,p-}{i} -> PrelBase.EQ{-r4n,p-}{i}
 190                                                 PrelBase.GT{-ran,p-}{i} -> PrelBase.GT{-ran,p-}{i}
 191                                            PrelBase.GT{-ran,p-}{i} -> PrelBase.GT{-ran,p-}{i}
 192                             cmp_eq_aU3 (:***{-ro,x-}{i} a1_rHa a2_rHb)
 193                                        (:***{-ro,x-}{i} b1_rHc b2_rHd)
 194                                        = case compare_aU5 a1_rHa b1_rHc of
 195                                            PrelBase.LT{-ram,p-}{i} -> PrelBase.LT{-ram,p-}{i}
 196                                            PrelBase.EQ{-r4n,p-}{i}
 197                                            -> case compare_aU4 a2_rHb b2_rHd of
 198                                                 PrelBase.LT{-ram,p-}{i} -> PrelBase.LT{-ram,p-}{i}
 199                                                 PrelBase.EQ{-r4n,p-}{i} -> PrelBase.EQ{-r4n,p-}{i}
 200                                                 PrelBase.GT{-ran,p-}{i} -> PrelBase.GT{-ran,p-}{i}
 201                                            PrelBase.GT{-ran,p-}{i} -> PrelBase.GT{-ran,p-}{i}
 202                             cmp_eq_aU3 _ _
 203                                        = Error.error{-87,w-}
 204                                              PrelBase.Ordering{-3n,p-} "Urk! in TcGenDeriv"
 205                         {- nonrec -}
 206                         cmp_eq_aU2 =
 207                             cmp_eq_rGB [taOV, taOW, taOX] [d.Ord_aRD, d.Ord_aRE, d.Ord_aRF]
 208                         {- nonrec -}
 209     AbsBinds [] [] [([], <_aTT, <_aUc)]
 210         <_aUc a_rFM b_rFN
 211               = case compare_aU0 a_rFM b_rFN of
 212                   PrelBase.LT{-ram,p-}{i} -> PrelBase.True{-5E,w-}{i}
 213                   PrelBase.EQ{-r4n,p-}{i} -> PrelBase.False{-58,w-}{i}
 214                   PrelBase.GT{-ran,p-}{i} -> PrelBase.False{-58,w-}{i}
 215     AbsBinds [] [] [([], <=_aTS, <=_aUd)]
 216         <=_aUd a_rFU b_rFV
 217                = case compare_aTZ a_rFU b_rFV of
 218                    PrelBase.LT{-ram,p-}{i} -> PrelBase.True{-5E,w-}{i}
 219                    PrelBase.EQ{-r4n,p-}{i} -> PrelBase.True{-5E,w-}{i}
 220                    PrelBase.GT{-ran,p-}{i} -> PrelBase.False{-58,w-}{i}
 221     AbsBinds [] [] [([], >=_aTR, >=_aUe)]
 222         >=_aUe a_rG2 b_rG3
 223                = case compare_aTY a_rG2 b_rG3 of
 224                    PrelBase.LT{-ram,p-}{i} -> PrelBase.False{-58,w-}{i}
 225                    PrelBase.EQ{-r4n,p-}{i} -> PrelBase.True{-5E,w-}{i}
 226                    PrelBase.GT{-ran,p-}{i} -> PrelBase.True{-5E,w-}{i}
 227     AbsBinds [] [] [([], >_aTQ, >_aUf)]
 228         >_aUf a_rGa b_rGb
 229               = case compare_aTX a_rGa b_rGb of
 230                   PrelBase.LT{-ram,p-}{i} -> PrelBase.False{-58,w-}{i}
 231                   PrelBase.EQ{-r4n,p-}{i} -> PrelBase.False{-58,w-}{i}
 232                   PrelBase.GT{-ran,p-}{i} -> PrelBase.True{-5E,w-}{i}
 233     AbsBinds [] [] [([], max_aTP, max_aUg)]
 234         max_aUg a_rGi b_rGj
 235                 = case compare_aTW a_rGi b_rGj of
 236                     PrelBase.LT{-ram,p-}{i} -> b_rGj
 237                     PrelBase.EQ{-r4n,p-}{i} -> a_rGi
 238                     PrelBase.GT{-ran,p-}{i} -> a_rGi
 239     AbsBinds [] [] [([], min_aTO, min_aUh)]
 240         min_aUh a_rGq b_rGr
 241                 = case compare_aTV a_rGq b_rGr of
 242                     PrelBase.LT{-ram,p-}{i} -> a_rGq
 243                     PrelBase.EQ{-r4n,p-}{i} -> b_rGr
 244                     PrelBase.GT{-ran,p-}{i} -> b_rGr
 245     d.Ord_aOP =
 246         ({-dict-}
 247          [d.Eq_aST]
 248          [compare_aTU, <_aTT, <=_aTS, >=_aTR, >_aTQ, max_aTP, min_aTO])
 249 scsel_Bar2Print002Bar{-aTj,x-} = _/\_ t12 -> \ tpl_B1 -> tpl_B1
 250 AbsBinds [taTf] [d.Bar2_aT8] []
 251 meth1{-r4C,x-} =
 252     _/\_ t12 -> \ tpl_B1 ->
 253         case tpl_B1 of { PrelTup.(,,){-63,w-}{i} tpl_B1 tpl_B2 tpl_B3  ->
 254         tpl_B1;}
 255 /////{-r4B,x-} =
 256     _/\_ t12 -> \ tpl_B1 ->
 257         case tpl_B1 of { PrelTup.(,,){-63,w-}{i} tpl_B1 tpl_B2 tpl_B3  ->
 258         tpl_B2;}
 259 meth2{-r4A,x-} =
 260     _/\_ t12 -> \ tpl_B1 ->
 261         case tpl_B1 of { PrelTup.(,,){-63,w-}{i} tpl_B1 tpl_B2 tpl_B3  ->
 262         tpl_B3;}
 263 AbsBinds [taTg] [d.Bar_aTb] []
 264
 265 ghc: module version changed to 1; reason: no old .hi file
 266 _interface_ Print002 1
 267 _instance_modules_
 268 Addr ArrBase Foreign IO PrelBounded PrelNum
 269 _usages_
 270 PrelBase 1 :: $d12 1 $d13 1 $d2 1 $d26 1 $d28 1 $d29 1 $d31 1 $d33 1 $d37 1 $d38 1 $d39 1 $d41 1 $d6 1 $d7 1 $m/= 1 $m< 1 $m<= 1 $m> 1 $m>= 1 $mcompare 1 $mmax 1 $mmin 1 && 1 . 1 not 1 Eq 1 Eval 1 Ord 1 Ordering 1;
 271 PrelNum 1 :: $d17 1 $d18 1;
 272 _exports_
 273 Print002 .... ..... <<<< f1 f1a f2 f2a f3a f3b f3c f3d Bar(meth1 ///// meth2) Bar2 Foo(MkFoo1 :## MkFoo3 :***);
 274 _instances_
 275 instance _forall_ [a b c] {PrelBase.Eq a, PrelBase.Eq b, PrelBase.Eq c} => {PrelBase.Eq (Foo a b c)} = $d1;
 276 instance _forall_ [a b c] => {PrelBase.Eval (Foo a b c)} = $d2;
 277 instance _forall_ [a b c] {PrelBase.Ord a, PrelBase.Ord b, PrelBase.Ord c} => {PrelBase.Ord (Foo a b c)} = $d3;
 278 _declarations_
 279 1 $d1 _:_ _forall_ [a b c] {PrelBase.Eq a, PrelBase.Eq b, PrelBase.Eq c} => {PrelBase.Eq (Foo a b c)} ;;
 280 1 $d2 _:_ _forall_ [a b c] => {PrelBase.Eval (Foo a b c)} ;;
 281 1 $d3 _:_ _forall_ [a b c] {PrelBase.Ord a, PrelBase.Ord b, PrelBase.Ord c, PrelBase.Eq (Foo a b c)} => {PrelBase.Ord (Foo a b c)} ;;
 282 1 .... _:_ _forall_ [ta tb tc] => tb -> tb -> Foo ta tb tc ;;
 283 1 ..... _:_ _forall_ [ta tb tc] => tb -> tb -> Foo ta tb tc ;;
 284 1 <<<< _:_ _forall_ [ta tb tc] => tc -> tc -> Foo ta tb tc ;;
 285 1 class Bar a where {meth1 :: a -> a -> PrelBase.Bool; ///// :: a -> a -> PrelBase.Bool; meth2 :: _forall_ [b] => a -> b -> PrelBase.Bool} ;
 286 1 class {Bar a} => Bar2 a ;
 287 1 data Foo a b c = MkFoo1 a a |  :## b c |  MkFoo3 b b |  :*** c c ;
 288 1 f1 _:_ _forall_ [ta tb tc] => ta -> ta -> Foo ta tb tc ;;
 289 1 f1a _:_ _forall_ [ta tb tc] => ta -> ta -> Foo ta tb tc ;;
 290 1 f2 _:_ _forall_ [ta tb tc] => tb -> tc -> Foo ta tb tc ;;
 291 1 f2a _:_ _forall_ [ta tb tc] => tb -> tc -> Foo ta tb tc ;;
 292 1 f3a _:_ _forall_ [ta] {Bar ta} => ta -> ta -> PrelBase.Bool ;;
 293 1 f3b _:_ _forall_ [ta] {Bar ta} => ta -> ta -> PrelBase.Bool ;;
 294 1 f3c _:_ _forall_ [ta] {Bar ta} => ta -> ta -> PrelBase.Bool ;;
 295 1 f3d _:_ _forall_ [ta] {Bar ta} => ta -> ta -> PrelBase.Bool ;;