ghc/tests/printing/should_compile/Print002.stderr

   1
   2 ==================== Typechecked ====================
   3 Print002.MkFoo1{-ro-} =
   4     _/\_ a_tr4E b_tr4F c_tr4G -> \ tpl_B1 tpl_B2 ->
   5         Print002.MkFoo1{-ro-} {_@_ a_tr4E
   6                                _@_ b_tr4F
   7                                _@_ c_tr4G
   8                                tpl_B1
   9                                tpl_B2}
  10 Print002.:##{-rn-} =
  11     _/\_ a_tr4E b_tr4F c_tr4G -> \ tpl_B1 tpl_B2 ->
  12         Print002.:##{-rn-} {_@_ a_tr4E _@_ b_tr4F _@_ c_tr4G tpl_B1 tpl_B2}
  13 Print002.MkFoo3{-rq-} =
  14     _/\_ a_tr4E b_tr4F c_tr4G -> \ tpl_B1 tpl_B2 ->
  15         Print002.MkFoo3{-rq-} {_@_ a_tr4E
  16                                _@_ b_tr4F
  17                                _@_ c_tr4G
  18                                tpl_B1
  19                                tpl_B2}
  20 Print002.:***{-rs-} =
  21     _/\_ a_tr4E b_tr4F c_tr4G -> \ tpl_B1 tpl_B2 ->
  22         Print002.:***{-rs-} {_@_ a_tr4E
  23                              _@_ b_tr4F
  24                              _@_ c_tr4G
  25                              tpl_B1
  26                              tpl_B2}
  27 AbsBinds [aK9] [d.Bar_aKd] [([aK9], Print002.f3d{-r4I-}, f3d_aWS)]
  28     /////_aWT = Print002./////{-r4X-} aK9 d.Bar_aKd
  29     f3d_aWS x_r4s y_r4t = x_r4s /////_aWT y_r4t
  30 AbsBinds [aKu] [d.Bar_aKy] [([aKu], Print002.f3c{-r4J-}, f3c_aWY)]
  31     /////_aWZ = Print002./////{-r4X-} aKu d.Bar_aKy
  32     f3c_aWY x_r4p y_r4q = /////_aWZ x_r4p y_r4q
  33 AbsBinds [aKP] [d.Bar_aKT] [([aKP], Print002.f3b{-r4K-}, f3b_aX0)]
  34     meth1_aX1 = Print002.meth1{-r4Y-} aKP d.Bar_aKT
  35     f3b_aX0 x_r4m y_r4n = x_r4m meth1_aX1 y_r4n
  36 AbsBinds [aLa] [d.Bar_aLe] [([aLa], Print002.f3a{-r4L-}, f3a_aX2)]
  37     meth1_aX3 = Print002.meth1{-r4Y-} aLa d.Bar_aLe
  38     f3a_aX2 x_r4j y_r4k = meth1_aX3 x_r4j y_r4k
  39 AbsBinds
  40 [aLF, aLH, aLJ]
  41 []
  42 [([aLF, aLH, aLJ], Print002.<<<<{-r4M-}, <<<<_aX4)]
  43     <<<<_aX4 x_r4d y_r4e
  44              = Print002.:***{-rs-} [aLF, aLH, aLJ] x_r4d y_r4e
  45     <<<<_aX4 x_r4g y_r4h
  46              = Print002.:***{-rs-} [aLF, aLH, aLJ] x_r4g y_r4h
  47 AbsBinds
  48 [aM0, aM2, aM4]
  49 []
  50 [([aM0, aM2, aM4], Print002......{-r4N-}, ....._aX5)]
  51     ....._aX5 x_r4a y_r4b
  52               = Print002.MkFoo3{-rq-} [aM0, aM2, aM4] x_r4a y_r4b
  53 AbsBinds
  54 [aMl, aMn, aMp]
  55 []
  56 [([aMl, aMn, aMp], Print002.....{-r4O-}, ...._aX6)]
  57     ...._aX6 x_r47 y_r48
  58              = Print002.MkFoo3{-rq-} [aMl, aMn, aMp] x_r47 y_r48
  59 AbsBinds
  60 [aMG, aMI, aMK]
  61 []
  62 [([aMG, aMI, aMK], Print002.f2a{-r4P-}, f2a_aX7)]
  63     f2a_aX7 x_r44 y_r45
  64             = Print002.:##{-rn-} [aMG, aMI, aMK] x_r44 y_r45
  65 AbsBinds
  66 [aN1, aN3, aN5]
  67 []
  68 [([aN1, aN3, aN5], Print002.f2{-r4Q-}, f2_aX8)]
  69     f2_aX8 x_r41 y_r42 = Print002.:##{-rn-} [aN1, aN3, aN5] x_r41 y_r42
  70 AbsBinds
  71 [aNm, aNo, aNq]
  72 []
  73 [([aNm, aNo, aNq], Print002.f1a{-r4R-}, f1a_aX9)]
  74     f1a_aX9 x_r3Y y_r3Z
  75             = Print002.MkFoo1{-ro-} [aNm, aNo, aNq] x_r3Y y_r3Z
  76 AbsBinds
  77 [aNH, aNJ, aNL]
  78 []
  79 [([aNH, aNJ, aNL], Print002.f1{-r4S-}, f1_aXa)]
  80     f1_aXa x_r3V y_r3W
  81            = Print002.MkFoo1{-ro-} [aNH, aNJ, aNL] x_r3V y_r3W
  82 AbsBinds
  83 [aOs, aOv, aOw]
  84 []
  85 [([aOs, aOv, aOw], con2tag_Foo#_rHm, con2tag_Foo#_aXb)]
  86     con2tag_Foo#_aXb (Print002.MkFoo1{-ro-} _ _) = 0#
  87     con2tag_Foo#_aXb (Print002.:##{-rn-} _ _) = 1#
  88     con2tag_Foo#_aXb (Print002.MkFoo3{-rq-} _ _) = 2#
  89     con2tag_Foo#_aXb (Print002.:***{-rs-} _ _) = 3#
  90 AbsBinds
  91 [a_taOO, b_taOR, c_taOU]
  92 [d.Eq_aQV, d.Eq_aQW, d.Eq_aQX]
  93 [([a_taOO, b_taOR, c_taOU], Print002.$d1{-rWX-}, d.Eq_aOE)]
  94     ==_aWw = ==_aWx
  95     ==_aWu = PrelBase.=={-8Z-} c_taOU d.Eq_aR3
  96     ==_aWv = ==_aWu
  97     ==_aWt = ==_aWu
  98     ==_aWr = PrelBase.=={-8Z-} b_taOR d.Eq_aR5
  99     ==_aWs = ==_aWr
 100     ==_aWq = ==_aWr
 101     ==_aWp = PrelBase.=={-8Z-} a_taOO d.Eq_aR7
 102     ==_aWo = ==_aWp
 103     d.Eq_aR3 = d.Eq_aQX
 104     d.Eq_aR5 = d.Eq_aQW
 105     d.Eq_aR7 = d.Eq_aQV
 106     AbsBinds [] [] [([], ==_aWx, ==_aXd)]
 107         ==_aXd (Print002.MkFoo1{-ro-} a1_rHv a2_rHw)
 108                (Print002.MkFoo1{-ro-} b1_rHx b2_rHy)
 109                = (a1_rHv ==_aWp b1_rHx) PrelBase.&&{-rfL-} (a2_rHw ==_aWo b2_rHy)
 110         ==_aXd (Print002.:##{-rn-} a1_rHA a2_rHB)
 111                (Print002.:##{-rn-} b1_rHC b2_rHD)
 112                = (a1_rHA ==_aWq b1_rHC) PrelBase.&&{-rfL-} (a2_rHB ==_aWt b2_rHD)
 113         ==_aXd (Print002.MkFoo3{-rq-} a1_rHF a2_rHG)
 114                (Print002.MkFoo3{-rq-} b1_rHH b2_rHI)
 115                = (a1_rHF ==_aWr b1_rHH) PrelBase.&&{-rfL-} (a2_rHG ==_aWs b2_rHI)
 116         ==_aXd (Print002.:***{-rs-} a1_rHK a2_rHL)
 117                (Print002.:***{-rs-} b1_rHM b2_rHN)
 118                = (a1_rHK ==_aWu b1_rHM) PrelBase.&&{-rfL-} (a2_rHL ==_aWv b2_rHN)
 119         ==_aXd a_rHP b_rHQ = PrelBase.False{-58-}
 120     AbsBinds [] [] [([], /=_aXc, /=_aXe)]
 121         /=_aXe a_rHU b_rHV = PrelBase.not{-rgT-} ==_aWw a_rHU b_rHV
 122     d.Eq_aOE =
 123         PrelBase.:Eq{-r16-}
 124             (Print002.Foo{-r51-} a_taOO b_taOR c_taOU) ==_aWx /=_aXc
 125 AbsBinds
 126 [a_taWy, b_taWA, c_taWz]
 127 []
 128 [([a_taWy, b_taWA, c_taWz], Print002.$d2{-rWW-}, d.Eval_aRi)]
 129     d.Eval_aRi =
 130         PrelBase.:Eval{-r19-} (Print002.Foo{-r51-} a_taWy b_taWA c_taWz)
 131 AbsBinds
 132 [a_taRr, b_taRs, c_taRt]
 133 [d.Ord_aVR, d.Ord_aVT, d.Ord_aVU, d.Eq_aVV]
 134 [([a_taRr, b_taRs, c_taRt], Print002.$d3{-rWV-}, d.Ord_aRq)]
 135     compare_aWH = compare_aWC
 136     compare_aWG = compare_aWC
 137     compare_aWF = compare_aWC
 138     compare_aWE = compare_aWC
 139     compare_aWD = compare_aWC
 140     compare_aWB = compare_aWC
 141     d.Ord_aUw = d.Ord_aVU
 142     d.Ord_aUv = d.Ord_aVT
 143     d.Ord_aUx = d.Ord_aVR
 144     d.Eq_aVS = d.Eq_aVV
 145     AbsBinds [] [] [([], compare_aWC, compare_aXl)]
 146         compare_aXl a_rIN b_rIO
 147                     = case con2tag_Foo#_rHm [c_taRt, a_taRr, b_taRs] a_rIN of
 148                         a#_rJB
 149                         -> case con2tag_Foo#_rHm [c_taRt, a_taRr, b_taRs] b_rIO of
 150                              b#_rJD
 151                              -> if a#_rJB PrelGHC.==#{-79-} b#_rJD then
 152                                     case cmp_eq_aXm a_rIN b_rIO of
 153                                       PrelBase.LT{-raU-} -> PrelBase.LT{-raU-}
 154                                       PrelBase.EQ{-r4H-} -> PrelBase.EQ{-r4H-}
 155                                       PrelBase.GT{-raV-} -> PrelBase.GT{-raV-}
 156                                 else
 157                                     if a#_rJB PrelGHC.<#{-7b-} b#_rJD then
 158                                         PrelBase.LT{-raU-}
 159                                     else
 160                                         PrelBase.GT{-raV-}
 161                     where
 162                         {- rec -}
 163                         AbsBinds
 164                         [aTz, aTA, aTH]
 165                         [d.Ord_aTY, d.Ord_aTV, d.Ord_aTS]
 166                         [([aTz, aTA, aTH], cmp_eq_rIQ, cmp_eq_aXn)]
 167                             compare_aWO = PrelBase.compare{-rgg-} aTH d.Ord_aTV
 168                             compare_aWP = compare_aWO
 169                             compare_aWN = compare_aWO
 170                             compare_aWL = PrelBase.compare{-rgg-} aTA d.Ord_aTY
 171                             compare_aWM = compare_aWL
 172                             compare_aWK = compare_aWL
 173                             compare_aWJ = PrelBase.compare{-rgg-} aTz d.Ord_aTS
 174                             compare_aWI = compare_aWJ
 175                             cmp_eq_aXn (Print002.MkFoo1{-ro-} a1_rIS a2_rIT)
 176                                        (Print002.MkFoo1{-ro-} b1_rIU b2_rIV)
 177                                        = case compare_aWI a1_rIS b1_rIU of
 178                                            PrelBase.LT{-raU-} -> PrelBase.LT{-raU-}
 179                                            PrelBase.EQ{-r4H-}
 180                                            -> case compare_aWJ a2_rIT b2_rIV of
 181                                                 PrelBase.LT{-raU-} -> PrelBase.LT{-raU-}
 182                                                 PrelBase.EQ{-r4H-} -> PrelBase.EQ{-r4H-}
 183                                                 PrelBase.GT{-raV-} -> PrelBase.GT{-raV-}
 184                                            PrelBase.GT{-raV-} -> PrelBase.GT{-raV-}
 185                             cmp_eq_aXn (Print002.:##{-rn-} a1_rJ3 a2_rJ4)
 186                                        (Print002.:##{-rn-} b1_rJ5 b2_rJ6)
 187                                        = case compare_aWL a1_rJ3 b1_rJ5 of
 188                                            PrelBase.LT{-raU-} -> PrelBase.LT{-raU-}
 189                                            PrelBase.EQ{-r4H-}
 190                                            -> case compare_aWO a2_rJ4 b2_rJ6 of
 191                                                 PrelBase.LT{-raU-} -> PrelBase.LT{-raU-}
 192                                                 PrelBase.EQ{-r4H-} -> PrelBase.EQ{-r4H-}
 193                                                 PrelBase.GT{-raV-} -> PrelBase.GT{-raV-}
 194                                            PrelBase.GT{-raV-} -> PrelBase.GT{-raV-}
 195                             cmp_eq_aXn (Print002.MkFoo3{-rq-} a1_rJe a2_rJf)
 196                                        (Print002.MkFoo3{-rq-} b1_rJg b2_rJh)
 197                                        = case compare_aWK a1_rJe b1_rJg of
 198                                            PrelBase.LT{-raU-} -> PrelBase.LT{-raU-}
 199                                            PrelBase.EQ{-r4H-}
 200                                            -> case compare_aWM a2_rJf b2_rJh of
 201                                                 PrelBase.LT{-raU-} -> PrelBase.LT{-raU-}
 202                                                 PrelBase.EQ{-r4H-} -> PrelBase.EQ{-r4H-}
 203                                                 PrelBase.GT{-raV-} -> PrelBase.GT{-raV-}
 204                                            PrelBase.GT{-raV-} -> PrelBase.GT{-raV-}
 205                             cmp_eq_aXn (Print002.:***{-rs-} a1_rJp a2_rJq)
 206                                        (Print002.:***{-rs-} b1_rJr b2_rJs)
 207                                        = case compare_aWN a1_rJp b1_rJr of
 208                                            PrelBase.LT{-raU-} -> PrelBase.LT{-raU-}
 209                                            PrelBase.EQ{-r4H-}
 210                                            -> case compare_aWP a2_rJq b2_rJs of
 211                                                 PrelBase.LT{-raU-} -> PrelBase.LT{-raU-}
 212                                                 PrelBase.EQ{-r4H-} -> PrelBase.EQ{-r4H-}
 213                                                 PrelBase.GT{-raV-} -> PrelBase.GT{-raV-}
 214                                            PrelBase.GT{-raV-} -> PrelBase.GT{-raV-}
 215                             cmp_eq_aXn _ _
 216                                        = PrelErr.error{-87-}
 217                                              PrelBase.Ordering{-3n-} "Urk! in TcGenDeriv"
 218                         cmp_eq_aXm =
 219                             cmp_eq_rIQ [a_taRr, b_taRs, c_taRt]
 220                                 [d.Ord_aUv, d.Ord_aUw, d.Ord_aUx]
 221     AbsBinds [] [] [([], <_aXk, <_aXo)]
 222         <_aXo a_rI1 b_rI2
 223               = case compare_aWH a_rI1 b_rI2 of
 224                   PrelBase.LT{-raU-} -> PrelBase.True{-5E-}
 225                   PrelBase.EQ{-r4H-} -> PrelBase.False{-58-}
 226                   PrelBase.GT{-raV-} -> PrelBase.False{-58-}
 227     AbsBinds [] [] [([], <=_aXj, <=_aXp)]
 228         <=_aXp a_rI9 b_rIa
 229                = case compare_aWG a_rI9 b_rIa of
 230                    PrelBase.LT{-raU-} -> PrelBase.True{-5E-}
 231                    PrelBase.EQ{-r4H-} -> PrelBase.True{-5E-}
 232                    PrelBase.GT{-raV-} -> PrelBase.False{-58-}
 233     AbsBinds [] [] [([], >=_aXi, >=_aXq)]
 234         >=_aXq a_rIh b_rIi
 235                = case compare_aWF a_rIh b_rIi of
 236                    PrelBase.LT{-raU-} -> PrelBase.False{-58-}
 237                    PrelBase.EQ{-r4H-} -> PrelBase.True{-5E-}
 238                    PrelBase.GT{-raV-} -> PrelBase.True{-5E-}
 239     AbsBinds [] [] [([], >_aXh, >_aXr)]
 240         >_aXr a_rIp b_rIq
 241               = case compare_aWE a_rIp b_rIq of
 242                   PrelBase.LT{-raU-} -> PrelBase.False{-58-}
 243                   PrelBase.EQ{-r4H-} -> PrelBase.False{-58-}
 244                   PrelBase.GT{-raV-} -> PrelBase.True{-5E-}
 245     AbsBinds [] [] [([], max_aXg, max_aXs)]
 246         max_aXs a_rIx b_rIy
 247                 = case compare_aWD a_rIx b_rIy of
 248                     PrelBase.LT{-raU-} -> b_rIy
 249                     PrelBase.EQ{-r4H-} -> a_rIx
 250                     PrelBase.GT{-raV-} -> a_rIx
 251     AbsBinds [] [] [([], min_aXf, min_aXt)]
 252         min_aXt a_rIF b_rIG
 253                 = case compare_aWB a_rIF b_rIG of
 254                     PrelBase.LT{-raU-} -> a_rIF
 255                     PrelBase.EQ{-r4H-} -> b_rIG
 256                     PrelBase.GT{-raV-} -> b_rIG
 257     d.Ord_aRq =
 258         PrelBase.:Ord{-r1n-}
 259             (Print002.Foo{-r51-} a_taRr b_taRs c_taRt) d.Eq_aVS
 260                                                        compare_aWC
 261                                                        <_aXk
 262                                                        <=_aXj
 263                                                        >=_aXi
 264                                                        >_aXh
 265                                                        max_aXg
 266                                                        min_aXf
 267 Print002.scsel_Bar2Print002Bar{-aWU-} =
 268     _/\_ a_tr4v -> \ tpl_B1 ->
 269         _coerce_out_ Print002.:Bar2{-r4U-}
 270         {Print002.Bar{-r4w-} a_tr4v}
 271         tpl_B1
 272 AbsBinds [a_taWQ] [d.Bar2_aWj] []
 273 Print002.meth1{-r4Y-} =
 274     _/\_ a_tr4y -> \ tpl_B1 ->
 275         case tpl_B1 of { Print002.:Bar{-r50-} tpl_B2 tpl_B3 tpl_B4  ->
 276         tpl_B2;}
 277 Print002./////{-r4X-} =
 278     _/\_ a_tr4y -> \ tpl_B1 ->
 279         case tpl_B1 of { Print002.:Bar{-r50-} tpl_B2 tpl_B3 tpl_B4  ->
 280         tpl_B3;}
 281 Print002.meth2{-r4W-} =
 282     _/\_ a_tr4y -> \ tpl_B1 ->
 283         case tpl_B1 of { Print002.:Bar{-r50-} tpl_B2 tpl_B3 tpl_B4  ->
 284         tpl_B4;}
 285 AbsBinds [a_taWR] [d.Bar_aWn] []
 286
 287
 288 Print002.hs:34:
 289     Pattern match(es) are overlapped
 290         in the definition of function `<<<<'
 291             x y = ...
 292
 293 ghc: module version changed to 1; reason: no old .hi file
 294 _interface_ Print002 1
 295 _instance_modules_
 296 IO PrelAddr PrelArr PrelBounded PrelCCall PrelForeign PrelNum
 297 _usages_
 298 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;
 299 PrelNum 1 :: $d17 1 $d18 1;
 300 _exports_
 301 Print002 .... ..... <<<< f1 f1a f2 f2a f3a f3b f3c f3d Bar(:Bar :Bar meth1 ///// meth2) Bar2(:Bar2 :Bar2) Foo(MkFoo1 :## MkFoo3 :***);
 302 _instances_
 303 instance _forall_ [a b c] {PrelBase.Eq a, PrelBase.Eq b, PrelBase.Eq c} => {PrelBase.Eq (Foo a b c)} = $d1;
 304 instance _forall_ [a b c] => {PrelBase.Eval (Foo a b c)} = $d2;
 305 instance _forall_ [a b c] {PrelBase.Ord a, PrelBase.Ord b, PrelBase.Ord c} => {PrelBase.Ord (Foo a b c)} = $d3;
 306 _declarations_
 307 1 $d1 _:_ _forall_ [a b c] {PrelBase.Eq a, PrelBase.Eq b, PrelBase.Eq c} => {PrelBase.Eq (Foo a b c)} ;;
 308 1 $d2 _:_ _forall_ [a b c] => {PrelBase.Eval (Foo a b c)} ;;
 309 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)} ;;
 310 1 .... _:_ _forall_ [a b c] => b -> b -> Foo a b c ;;
 311 1 ..... _:_ _forall_ [a b c] => b -> b -> Foo a b c ;;
 312 1 <<<< _:_ _forall_ [a b c] => c -> c -> Foo a b c ;;
 313 1 class Bar a where {meth1 :: a -> a -> PrelBase.Bool; ///// :: a -> a -> PrelBase.Bool; meth2 :: _forall_ [b] => a -> b -> PrelBase.Bool} ;
 314 1 class {Bar a} => Bar2 a ;
 315 1 data Foo a b c = MkFoo1 a a |  :## b c |  MkFoo3 b b |  :*** c c ;
 316 1 f1 _:_ _forall_ [a b c] => a -> a -> Foo a b c ;;
 317 1 f1a _:_ _forall_ [a b c] => a -> a -> Foo a b c ;;
 318 1 f2 _:_ _forall_ [a b c] => b -> c -> Foo a b c ;;
 319 1 f2a _:_ _forall_ [a b c] => b -> c -> Foo a b c ;;
 320 1 f3a _:_ _forall_ [a] {Bar a} => a -> a -> PrelBase.Bool ;;
 321 1 f3b _:_ _forall_ [a] {Bar a} => a -> a -> PrelBase.Bool ;;
 322 1 f3c _:_ _forall_ [a] {Bar a} => a -> a -> PrelBase.Bool ;;
 323 1 f3d _:_ _forall_ [a] {Bar a} => a -> a -> PrelBase.Bool ;;