ghc/compiler/tests/printing/Print002.stderr

   1
   2
   3 ================================================================================
   4 Typechecked:
   5 {- nonrec -}
   6 {- nonrec -}
   7 MkFoo1{-rk,x-}{i} =
   8     _/\_ a{-r4z-} b{-r4A-} c{-r4B-} -> \ tpl_B1 tpl_B2 ->
   9         MkFoo1{-rk,x-}{i}
  10             {_@_ a{-r4z-} _@_ b{-r4A-} _@_ c{-r4B-} tpl_B1 tpl_B2}
  11 :##{-rj,x-}{i} =
  12     _/\_ a{-r4z-} b{-r4A-} c{-r4B-} -> \ tpl_B1 tpl_B2 ->
  13         :##{-rj,x-}{i}
  14             {_@_ a{-r4z-} _@_ b{-r4A-} _@_ c{-r4B-} tpl_B1 tpl_B2}
  15 MkFoo3{-rm,x-}{i} =
  16     _/\_ a{-r4z-} b{-r4A-} c{-r4B-} -> \ tpl_B1 tpl_B2 ->
  17         MkFoo3{-rm,x-}{i}
  18             {_@_ a{-r4z-} _@_ b{-r4A-} _@_ c{-r4B-} tpl_B1 tpl_B2}
  19 :***{-ro,x-}{i} =
  20     _/\_ a{-r4z-} b{-r4A-} c{-r4B-} -> \ tpl_B1 tpl_B2 ->
  21         :***{-ro,x-}{i}
  22             {_@_ a{-r4z-} _@_ b{-r4A-} _@_ c{-r4B-} tpl_B1 tpl_B2}
  23 {- nonrec -}
  24 scsel_Bar2Print002Bar{-aVQ,x-} =
  25     _/\_ a{-r4n-} -> \ tpl_B1 ->
  26         tpl_B1
  27 {- nonrec -}
  28 {- nonrec -}
  29 meth1{-r4R,x-} =
  30     _/\_ a{-r4q-} -> \ tpl_B1 ->
  31         case tpl_B1 of { PrelTup.(,,){-63,p-}{i} tpl_B1 tpl_B2 tpl_B3  ->
  32         tpl_B1;}
  33 /////{-r4Q,x-} =
  34     _/\_ a{-r4q-} -> \ tpl_B1 ->
  35         case tpl_B1 of { PrelTup.(,,){-63,p-}{i} tpl_B1 tpl_B2 tpl_B3  ->
  36         tpl_B2;}
  37 meth2{-r4P,x-} =
  38     _/\_ a{-r4q-} -> \ tpl_B1 ->
  39         case tpl_B1 of { PrelTup.(,,){-63,p-}{i} tpl_B1 tpl_B2 tpl_B3  ->
  40         tpl_B3;}
  41 {- nonrec -}
  42 AbsBinds
  43 [a{-aVq-}]
  44 [d.Bar_aVj]
  45 [([a{-aVq-}], $mmeth1{-rLc,x-}, meth1_aVl)]
  46     AbsBinds [] [] [([], meth1_aVl, meth1_aVn)]
  47         meth1_aVn
  48             =   GHCerr.noDefaultMethodError{-8k,p-}
  49                     (a{-aVq-} -> a{-aVq-} -> PrelBase.Bool{-34,p-})
  50                     "Class Bar Method meth1"
  51 AbsBinds
  52 [a{-aVq-}]
  53 [d.Bar_aVt]
  54 [([a{-aVq-}], $m/////{-rLb,x-}, /////_aVv)]
  55     AbsBinds [] [] [([], /////_aVv, /////_aVx)]
  56         /////_aVx
  57             =   GHCerr.noDefaultMethodError{-8k,p-}
  58                     (a{-aVq-} -> a{-aVq-} -> PrelBase.Bool{-34,p-})
  59                     "Class Bar Method /////"
  60 AbsBinds
  61 [a{-aVq-}]
  62 [d.Bar_aVC]
  63 [([a{-aVq-}], $mmeth2{-rLa,x-}, meth2_aVF)]
  64     AbsBinds [b{-aVM-}] [] [([b{-aVM-}], meth2_aVF, meth2_aVI)]
  65         meth2_aVI
  66             =   GHCerr.noDefaultMethodError{-8k,p-}
  67                     (a{-aVq-} -> b{-aVM-} -> PrelBase.Bool{-34,p-})
  68                     "Class Bar Method meth2"
  69 {- rec -}
  70 AbsBinds
  71 [a{-aOK-}, b{-aON-}, c{-aOQ-}]
  72 [d.Eq_aQB, d.Eq_aQC, d.Eq_aQD]
  73 [([a{-aOK-}, b{-aON-}, c{-aOQ-}], $d1{-rVR,x-}, d.Eq_aOA)]
  74     d.Eq_aQH =
  75         d.Eq_aQB
  76     ==_aVX =
  77         PrelBase.=={-8Y,p-}
  78             a{-aOK-}
  79             d.Eq_aQH
  80     d.Eq_aQJ =
  81         d.Eq_aQC
  82     ==_aVW =
  83         PrelBase.=={-8Y,p-}
  84             b{-aON-}
  85             d.Eq_aQJ
  86     d.Eq_aQL =
  87         d.Eq_aQD
  88     ==_aVV =
  89         PrelBase.=={-8Y,p-}
  90             c{-aOQ-}
  91             d.Eq_aQL
  92     ==_aVU =
  93         ==_aVT
  94     AbsBinds [] [] [([], ==_aVT, ==_aOD)]
  95         ==_aW2 =
  96             ==_aVX
  97         ==_aW1 =
  98             ==_aVW
  99         ==_aW0 =
 100             ==_aVW
 101         ==_aVZ =
 102             ==_aVV
 103         ==_aVY =
 104             ==_aVV
 105         ==_aOD
 106             (MkFoo1{-rk,x-}{i} a1_rIv a2_rIw) (MkFoo1{-rk,x-}{i} b1_rIy b2_rIz)
 107                     =   (a1_rIv ==_aVX b1_rIy)
 108                         PrelBase.&&{-re5,p-} (a2_rIw ==_aW2 b2_rIz)
 109         ==_aOD
 110             (:##{-rj,x-}{i} a1_rIB a2_rIC) (:##{-rj,x-}{i} b1_rIE b2_rIF)
 111                     =   (a1_rIB ==_aVW b1_rIE)
 112                         PrelBase.&&{-re5,p-} (a2_rIC ==_aVV b2_rIF)
 113         ==_aOD
 114             (MkFoo3{-rm,x-}{i} a1_rIH a2_rII) (MkFoo3{-rm,x-}{i} b1_rIK b2_rIL)
 115                     =   (a1_rIH ==_aW1 b1_rIK)
 116                         PrelBase.&&{-re5,p-} (a2_rII ==_aW0 b2_rIL)
 117         ==_aOD
 118             (:***{-ro,x-}{i} a1_rIN a2_rIO) (:***{-ro,x-}{i} b1_rIQ b2_rIR)
 119                     =   (a1_rIN ==_aVZ b1_rIQ)
 120                         PrelBase.&&{-re5,p-} (a2_rIO ==_aVY b2_rIR)
 121         ==_aOD
 122             a_rIT b_rIV
 123                     =   PrelBase.False{-58,p-}{i}
 124     AbsBinds [] [] [([], /=_aVS, /=_aQu)]
 125         /=_aQu
 126             a_rIZ b_rJ1
 127                     =   PrelBase.not{-rgK,p-}
 128                             ==_aVU
 129                                 a_rIZ b_rJ1
 130     d.Eq_aOA =
 131         ({-dict-} [] [==_aVT, /=_aVS])
 132 {- rec -}
 133 AbsBinds
 134 [a{-aVN-}, b{-aVP-}, c{-aVO-}]
 135 []
 136 [([a{-aVN-}, b{-aVP-}, c{-aVO-}], $d2{-rW3,x-}, d.Eval_aQW)]
 137     d.Eval_aQW =
 138         ({-dict-} [] [])
 139 {- rec -}
 140 AbsBinds
 141 [a{-aRa-}, b{-aRb-}, c{-aRc-}]
 142 [d.Ord_aV0, d.Ord_aV1, d.Ord_aV2, d.Eq_aV3]
 143 [([a{-aRa-}, b{-aRb-}, c{-aRc-}], $d3{-rW4,x-}, d.Ord_aR4)]
 144     d.Eq_aV4 =
 145         d.Eq_aV3
 146     d.Ord_aTL =
 147         d.Ord_aV0
 148     d.Ord_aTM =
 149         d.Ord_aV1
 150     d.Ord_aTN =
 151         d.Ord_aV2
 152     compare_aWh =
 153         compare_aWb
 154     compare_aWg =
 155         compare_aWb
 156     compare_aWf =
 157         compare_aWb
 158     compare_aWe =
 159         compare_aWb
 160     compare_aWd =
 161         compare_aWb
 162     compare_aWc =
 163         compare_aWb
 164     AbsBinds [] [] [([], compare_aWb, compare_aR7)]
 165         compare_aR7
 166             a_rJZ b_rK1
 167                     =   case
 168                             con2tag_Foo#_rIm
 169                                 [c{-aRc-}, a{-aRa-}, b{-aRb-}]
 170                                 a_rJZ
 171                         of
 172                           a#_rKT  ->  case
 173                                           con2tag_Foo#_rIm
 174                                               [c{-aRc-}, a{-aRa-}, b{-aRb-}]
 175                                               b_rK1
 176                                       of
 177                                         b#_rKV  ->  if a#_rKT GHC.==#{-79,p-}{I} b#_rKV then
 178                                                         case
 179                                                             cmp_eq_aWi
 180                                                                 a_rJZ b_rK1
 181                                                         of
 182                                                           PrelBase.LT{-rc8,p-}{i}
 183                                                                   ->  PrelBase.LT{-rc8,p-}{i}
 184                                                           PrelBase.EQ{-r4C,p-}{i}
 185                                                                   ->  PrelBase.EQ{-r4C,p-}{i}
 186                                                           PrelBase.GT{-rc9,p-}{i}
 187                                                                   ->  PrelBase.GT{-rc9,p-}{i}
 188                                                     else
 189                                                         if a#_rKT GHC.<#{-7b,p-}{I} b#_rKV then
 190                                                             PrelBase.LT{-rc8,p-}{i}
 191                                                         else
 192                                                             PrelBase.GT{-rc9,p-}{i}
 193                     where
 194                         {- nonrec -}
 195                         AbsBinds
 196                         [c{-aST-}, a{-aT4-}, b{-aT5-}]
 197                         [d.Ord_aTe, d.Ord_aTg, d.Ord_aTi]
 198                         [([c{-aST-}, a{-aT4-}, b{-aT5-}], cmp_eq_rK3, cmp_eq_aRg)]
 199                             compare_aWq =
 200                                 PrelBase.compare{-rei,p-}
 201                                     a{-aT4-}
 202                                     d.Ord_aTe
 203                             compare_aWp =
 204                                 compare_aWq
 205                             compare_aWo =
 206                                 PrelBase.compare{-rei,p-}
 207                                     b{-aT5-}
 208                                     d.Ord_aTg
 209                             compare_aWn =
 210                                 PrelBase.compare{-rei,p-}
 211                                     c{-aST-}
 212                                     d.Ord_aTi
 213                             compare_aWm =
 214                                 compare_aWo
 215                             compare_aWl =
 216                                 compare_aWo
 217                             compare_aWk =
 218                                 compare_aWn
 219                             compare_aWj =
 220                                 compare_aWn
 221                             cmp_eq_aRg
 222                                 (MkFoo1{-rk,x-}{i} a1_rK5 a2_rK6) (MkFoo1{-rk,x-}{i} b1_rK8 b2_rK9)
 223                                         =   case
 224                                                 compare_aWq
 225                                                     a1_rK5 b1_rK8
 226                                             of
 227                                               PrelBase.LT{-rc8,p-}{i}
 228                                                       ->  PrelBase.LT{-rc8,p-}{i}
 229                                               PrelBase.EQ{-r4C,p-}{i}
 230                                                       ->  case
 231                                                               compare_aWp
 232                                                                   a2_rK6 b2_rK9
 233                                                           of
 234                                                             PrelBase.LT{-rc8,p-}{i}
 235                                                                     ->  PrelBase.LT{-rc8,p-}{i}
 236                                                             PrelBase.EQ{-r4C,p-}{i}
 237                                                                     ->  PrelBase.EQ{-r4C,p-}{i}
 238                                                             PrelBase.GT{-rc9,p-}{i}
 239                                                                     ->  PrelBase.GT{-rc9,p-}{i}
 240                                               PrelBase.GT{-rc9,p-}{i}
 241                                                       ->  PrelBase.GT{-rc9,p-}{i}
 242                             cmp_eq_aRg
 243                                 (:##{-rj,x-}{i} a1_rKh a2_rKi) (:##{-rj,x-}{i} b1_rKk b2_rKl)
 244                                         =   case
 245                                                 compare_aWo
 246                                                     a1_rKh b1_rKk
 247                                             of
 248                                               PrelBase.LT{-rc8,p-}{i}
 249                                                       ->  PrelBase.LT{-rc8,p-}{i}
 250                                               PrelBase.EQ{-r4C,p-}{i}
 251                                                       ->  case
 252                                                               compare_aWn
 253                                                                   a2_rKi b2_rKl
 254                                                           of
 255                                                             PrelBase.LT{-rc8,p-}{i}
 256                                                                     ->  PrelBase.LT{-rc8,p-}{i}
 257                                                             PrelBase.EQ{-r4C,p-}{i}
 258                                                                     ->  PrelBase.EQ{-r4C,p-}{i}
 259                                                             PrelBase.GT{-rc9,p-}{i}
 260                                                                     ->  PrelBase.GT{-rc9,p-}{i}
 261                                               PrelBase.GT{-rc9,p-}{i}
 262                                                       ->  PrelBase.GT{-rc9,p-}{i}
 263                             cmp_eq_aRg
 264                                 (MkFoo3{-rm,x-}{i} a1_rKt a2_rKu) (MkFoo3{-rm,x-}{i} b1_rKw b2_rKx)
 265                                         =   case
 266                                                 compare_aWm
 267                                                     a1_rKt b1_rKw
 268                                             of
 269                                               PrelBase.LT{-rc8,p-}{i}
 270                                                       ->  PrelBase.LT{-rc8,p-}{i}
 271                                               PrelBase.EQ{-r4C,p-}{i}
 272                                                       ->  case
 273                                                               compare_aWl
 274                                                                   a2_rKu b2_rKx
 275                                                           of
 276                                                             PrelBase.LT{-rc8,p-}{i}
 277                                                                     ->  PrelBase.LT{-rc8,p-}{i}
 278                                                             PrelBase.EQ{-r4C,p-}{i}
 279                                                                     ->  PrelBase.EQ{-r4C,p-}{i}
 280                                                             PrelBase.GT{-rc9,p-}{i}
 281                                                                     ->  PrelBase.GT{-rc9,p-}{i}
 282                                               PrelBase.GT{-rc9,p-}{i}
 283                                                       ->  PrelBase.GT{-rc9,p-}{i}
 284                             cmp_eq_aRg
 285                                 (:***{-ro,x-}{i} a1_rKF a2_rKG) (:***{-ro,x-}{i} b1_rKI b2_rKJ)
 286                                         =   case
 287                                                 compare_aWk
 288                                                     a1_rKF b1_rKI
 289                                             of
 290                                               PrelBase.LT{-rc8,p-}{i}
 291                                                       ->  PrelBase.LT{-rc8,p-}{i}
 292                                               PrelBase.EQ{-r4C,p-}{i}
 293                                                       ->  case
 294                                                               compare_aWj
 295                                                                   a2_rKG b2_rKJ
 296                                                           of
 297                                                             PrelBase.LT{-rc8,p-}{i}
 298                                                                     ->  PrelBase.LT{-rc8,p-}{i}
 299                                                             PrelBase.EQ{-r4C,p-}{i}
 300                                                                     ->  PrelBase.EQ{-r4C,p-}{i}
 301                                                             PrelBase.GT{-rc9,p-}{i}
 302                                                                     ->  PrelBase.GT{-rc9,p-}{i}
 303                                               PrelBase.GT{-rc9,p-}{i}
 304                                                       ->  PrelBase.GT{-rc9,p-}{i}
 305                             cmp_eq_aRg
 306                                 _ _     =   IOBase.error{-87,p-}
 307                                                 PrelBase.Ordering{-3o,p-}
 308                                                 "Urk! in TcGenDeriv"
 309                         {- nonrec -}
 310                         cmp_eq_aWi =
 311                             cmp_eq_rK3
 312                                 [c{-aRc-}, a{-aRa-}, b{-aRb-}]
 313                                 [d.Ord_aTL, d.Ord_aTM, d.Ord_aTN]
 314     AbsBinds [] [] [([], <_aWa, <_aTR)]
 315         <_aTR
 316             a_rJ7 b_rJ9
 317                     =   case
 318                             compare_aWh
 319                                 a_rJ7 b_rJ9
 320                         of
 321                           PrelBase.LT{-rc8,p-}{i}
 322                                   ->  PrelBase.True{-5E,p-}{i}
 323                           PrelBase.EQ{-r4C,p-}{i}
 324                                   ->  PrelBase.False{-58,p-}{i}
 325                           PrelBase.GT{-rc9,p-}{i}
 326                                   ->  PrelBase.False{-58,p-}{i}
 327     AbsBinds [] [] [([], <=_aW9, <=_aU3)]
 328         <=_aU3
 329             a_rJg b_rJi
 330                     =   case
 331                             compare_aWg
 332                                 a_rJg b_rJi
 333                         of
 334                           PrelBase.LT{-rc8,p-}{i}
 335                                   ->  PrelBase.True{-5E,p-}{i}
 336                           PrelBase.EQ{-r4C,p-}{i}
 337                                   ->  PrelBase.True{-5E,p-}{i}
 338                           PrelBase.GT{-rc9,p-}{i}
 339                                   ->  PrelBase.False{-58,p-}{i}
 340     AbsBinds [] [] [([], >=_aW8, >=_aUf)]
 341         >=_aUf
 342             a_rJp b_rJr
 343                     =   case
 344                             compare_aWf
 345                                 a_rJp b_rJr
 346                         of
 347                           PrelBase.LT{-rc8,p-}{i}
 348                                   ->  PrelBase.False{-58,p-}{i}
 349                           PrelBase.EQ{-r4C,p-}{i}
 350                                   ->  PrelBase.True{-5E,p-}{i}
 351                           PrelBase.GT{-rc9,p-}{i}
 352                                   ->  PrelBase.True{-5E,p-}{i}
 353     AbsBinds [] [] [([], >_aW7, >_aUr)]
 354         >_aUr
 355             a_rJy b_rJA
 356                     =   case
 357                             compare_aWe
 358                                 a_rJy b_rJA
 359                         of
 360                           PrelBase.LT{-rc8,p-}{i}
 361                                   ->  PrelBase.False{-58,p-}{i}
 362                           PrelBase.EQ{-r4C,p-}{i}
 363                                   ->  PrelBase.False{-58,p-}{i}
 364                           PrelBase.GT{-rc9,p-}{i}
 365                                   ->  PrelBase.True{-5E,p-}{i}
 366     AbsBinds [] [] [([], max_aW6, max_aUD)]
 367         max_aUD
 368             a_rJH b_rJJ
 369                     =   case
 370                             compare_aWd
 371                                 a_rJH b_rJJ
 372                         of
 373                           PrelBase.LT{-rc8,p-}{i}
 374                                   ->  b_rJJ
 375                           PrelBase.EQ{-r4C,p-}{i}
 376                                   ->  a_rJH
 377                           PrelBase.GT{-rc9,p-}{i}
 378                                   ->  a_rJH
 379     AbsBinds [] [] [([], min_aW5, min_aUQ)]
 380         min_aUQ
 381             a_rJQ b_rJS
 382                     =   case
 383                             compare_aWc
 384                                 a_rJQ b_rJS
 385                         of
 386                           PrelBase.LT{-rc8,p-}{i}
 387                                   ->  a_rJQ
 388                           PrelBase.EQ{-r4C,p-}{i}
 389                                   ->  b_rJS
 390                           PrelBase.GT{-rc9,p-}{i}
 391                                   ->  b_rJS
 392     d.Ord_aR4 =
 393         ({-dict-}
 394          [d.Eq_aV4]
 395          [compare_aWb, <_aWa, <=_aW9, >=_aW8, >_aW7, max_aW6, min_aW5])
 396 {- nonrec -}
 397 {- nonrec -}
 398 AbsBinds
 399 [a{-aLh-}]
 400 [d.Bar_aLn]
 401 [([a{-aLh-}], f3d{-r4D,x-}, f3d_aL9)]
 402     /////_aWr =
 403         /////{-r4Q,x-}
 404             a{-aLh-}
 405             d.Bar_aLn
 406     f3d_aL9
 407         x_r4j y_r4l
 408                 =   x_r4j /////_aWr y_r4l
 409 {- nonrec -}
 410 {- nonrec -}
 411 AbsBinds
 412 [a{-aLu-}]
 413 [d.Bar_aLA]
 414 [([a{-aLu-}], f3c{-r4E,x-}, f3c_aLp)]
 415     /////_aWs =
 416         /////{-r4Q,x-}
 417             a{-aLu-}
 418             d.Bar_aLA
 419     f3c_aLp
 420         x_r4f y_r4h
 421                 =   /////_aWs
 422                         x_r4f y_r4h
 423 {- nonrec -}
 424 {- nonrec -}
 425 AbsBinds
 426 [a{-aLH-}]
 427 [d.Bar_aLN]
 428 [([a{-aLH-}], f3b{-r4F,x-}, f3b_aLC)]
 429     meth1_aWt =
 430         meth1{-r4R,x-}
 431             a{-aLH-}
 432             d.Bar_aLN
 433     f3b_aLC
 434         x_r4b y_r4d
 435                 =   x_r4b meth1_aWt y_r4d
 436 {- nonrec -}
 437 {- nonrec -}
 438 AbsBinds
 439 [a{-aLU-}]
 440 [d.Bar_aM0]
 441 [([a{-aLU-}], f3a{-r4G,x-}, f3a_aLP)]
 442     meth1_aWu =
 443         meth1{-r4R,x-}
 444             a{-aLU-}
 445             d.Bar_aM0
 446     f3a_aLP
 447         x_r47 y_r49
 448                 =   meth1_aWu
 449                         x_r47 y_r49
 450 {- nonrec -}
 451 {- nonrec -}
 452 AbsBinds
 453 [c{-aMk-}, a{-aMn-}, b{-aMo-}]
 454 []
 455 [([c{-aMk-}, a{-aMn-}, b{-aMo-}], <<<<{-r4H,x-}, <<<<_aM2)]
 456     <<<<_aM2
 457         x_r3Z y_r41
 458                 =   :***{-ro,x-}{i}
 459                         [a{-aMn-}, b{-aMo-}, c{-aMk-}]
 460                         x_r3Z y_r41
 461     <<<<_aM2
 462         x_r43 y_r45
 463                 =   :***{-ro,x-}{i}
 464                         [a{-aMn-}, b{-aMo-}, c{-aMk-}]
 465                         x_r43 y_r45
 466 {- nonrec -}
 467 {- nonrec -}
 468 AbsBinds
 469 [b{-aMw-}, a{-aMA-}, c{-aMC-}]
 470 []
 471 [([b{-aMw-}, a{-aMA-}, c{-aMC-}], .....{-r4I,x-}, ....._aMq)]
 472     ....._aMq
 473         x_r3V y_r3X
 474                 =   MkFoo3{-rm,x-}{i}
 475                         [a{-aMA-}, b{-aMw-}, c{-aMC-}]
 476                         x_r3V y_r3X
 477 {- nonrec -}
 478 {- nonrec -}
 479 AbsBinds
 480 [b{-aMK-}, a{-aMO-}, c{-aMQ-}]
 481 []
 482 [([b{-aMK-}, a{-aMO-}, c{-aMQ-}], ....{-r4J,x-}, ...._aME)]
 483     ...._aME
 484         x_r3R y_r3T
 485                 =   MkFoo3{-rm,x-}{i}
 486                         [a{-aMO-}, b{-aMK-}, c{-aMQ-}]
 487                         x_r3R y_r3T
 488 {- nonrec -}
 489 {- nonrec -}
 490 AbsBinds
 491 [b{-aMY-}, c{-aN1-}, a{-aN4-}]
 492 []
 493 [([b{-aMY-}, c{-aN1-}, a{-aN4-}], f2a{-r4K,x-}, f2a_aMS)]
 494     f2a_aMS
 495         x_r3N y_r3P
 496                 =   :##{-rj,x-}{i}
 497                         [a{-aN4-}, b{-aMY-}, c{-aN1-}]
 498                         x_r3N y_r3P
 499 {- nonrec -}
 500 {- nonrec -}
 501 AbsBinds
 502 [b{-aNc-}, c{-aNf-}, a{-aNi-}]
 503 []
 504 [([b{-aNc-}, c{-aNf-}, a{-aNi-}], f2{-r4L,x-}, f2_aN6)]
 505     f2_aN6
 506         x_r3J y_r3L
 507                 =   :##{-rj,x-}{i}
 508                         [a{-aNi-}, b{-aNc-}, c{-aNf-}]
 509                         x_r3J y_r3L
 510 {- nonrec -}
 511 {- nonrec -}
 512 AbsBinds
 513 [a{-aNp-}, b{-aNu-}, c{-aNw-}]
 514 []
 515 [([a{-aNp-}, b{-aNu-}, c{-aNw-}], f1a{-r4M,x-}, f1a_aNk)]
 516     f1a_aNk
 517         x_r3F y_r3H
 518                 =   MkFoo1{-rk,x-}{i}
 519                         [a{-aNp-}, b{-aNu-}, c{-aNw-}]
 520                         x_r3F y_r3H
 521 {- nonrec -}
 522 {- nonrec -}
 523 AbsBinds
 524 [a{-aND-}, b{-aNI-}, c{-aNK-}]
 525 []
 526 [([a{-aND-}, b{-aNI-}, c{-aNK-}], f1{-r4N,x-}, f1_aNy)]
 527     f1_aNy
 528         x_r3B y_r3D
 529                 =   MkFoo1{-rk,x-}{i}
 530                         [a{-aND-}, b{-aNI-}, c{-aNK-}]
 531                         x_r3B y_r3D
 532 {- nonrec -}
 533 {- nonrec -}
 534 AbsBinds
 535 [c{-aOo-}, a{-aOr-}, b{-aOs-}]
 536 []
 537 [([c{-aOo-}, a{-aOr-}, b{-aOs-}],
 538   con2tag_Foo#_rIm,
 539   con2tag_Foo#_aNM)]
 540     con2tag_Foo#_aNM
 541         (MkFoo1{-rk,x-}{i} _ _)
 542                 =   0#
 543     con2tag_Foo#_aNM
 544         (:##{-rj,x-}{i} _ _)
 545                 =   1#
 546     con2tag_Foo#_aNM
 547         (MkFoo3{-rm,x-}{i} _ _)
 548                 =   2#
 549     con2tag_Foo#_aNM
 550         (:***{-ro,x-}{i} _ _)
 551                 =   3#
 552 {- nonrec -}
 553 Print002.hs:35:
 554     Warning: Pattern match(es) completely overlapped
 555         in the definition of function `<<<<'
 556 ghc: module version changed to 1; reason: no old .hi file
 557 _interface_ Print002 1
 558 _instance_modules_
 559 ArrBase IO PrelNum
 560 _usages_
 561 PrelBase 1 :: $d14 1 $d15 1 $d32 1 $d34 1 $d37 1 $d39 1 $d41 1 $d45 1 $d46 1 $d49 1 $d51 1 $d6 1 $d7 1 $m/= 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;
 562 PrelNum 1 :: $d17 1 $d18 1;
 563 _exports_
 564 Print002 .... ..... <<<< f1 f1a f2 f2a f3a f3b f3c f3d Bar(meth1 ///// meth2) Bar2 Foo(MkFoo1 :## MkFoo3 :***);
 565 _instances_
 566 instance _forall_ [a b c] {PrelBase.Eq a, PrelBase.Eq b, PrelBase.Eq c} => {PrelBase.Eq (Foo a b c)} = $d1;
 567 instance _forall_ [a b c] => {PrelBase.Eval (Foo a b c)} = $d2;
 568 instance _forall_ [a b c] {PrelBase.Ord a, PrelBase.Ord b, PrelBase.Ord c} => {PrelBase.Ord (Foo a b c)} = $d3;
 569 _declarations_
 570 1 $d1 _:_ _forall_ [a b c] {PrelBase.Eq a, PrelBase.Eq b, PrelBase.Eq c} => {PrelBase.Eq (Foo a b c)} ;;
 571 1 $d2 _:_ _forall_ [a b c] => {PrelBase.Eval (Foo a b c)} ;;
 572 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)} ;;
 573 1 $m///// _:_ _forall_ [a] {Bar a} => a -> a -> PrelBase.Bool ;;
 574 1 $mmeth1 _:_ _forall_ [a] {Bar a} => a -> a -> PrelBase.Bool ;;
 575 1 $mmeth2 _:_ _forall_ [a] {Bar a} => _forall_ [b] => a -> b -> PrelBase.Bool ;;
 576 1 .... _:_ _forall_ [a b c] => a -> a -> Foo b a c ;;
 577 1 ..... _:_ _forall_ [a b c] => a -> a -> Foo b a c ;;
 578 1 <<<< _:_ _forall_ [a b c] => a -> a -> Foo b c a ;;
 579 1 class Bar r4q where {meth1 :: r4q -> r4q -> PrelBase.Bool; ///// :: r4q -> r4q -> PrelBase.Bool; meth2 :: _forall_ [r4w] => r4q -> r4w -> PrelBase.Bool} ;
 580 class {Bar r4n} => Bar2 r4n ;
 581 1 data Foo r4z r4A r4B = MkFoo1 r4z r4z |  :## r4A r4B |  MkFoo3 r4A r4A |  :*** r4B r4B ;
 582 1 f1 _:_ _forall_ [a b c] => a -> a -> Foo a b c ;;
 583 1 f1a _:_ _forall_ [a b c] => a -> a -> Foo a b c ;;
 584 1 f2 _:_ _forall_ [a b c] => a -> b -> Foo c a b ;;
 585 1 f2a _:_ _forall_ [a b c] => a -> b -> Foo c a b ;;
 586 1 f3a _:_ _forall_ [a] {Bar a} => a -> a -> PrelBase.Bool ;;
 587 1 f3b _:_ _forall_ [a] {Bar a} => a -> a -> PrelBase.Bool ;;
 588 1 f3c _:_ _forall_ [a] {Bar a} => a -> a -> PrelBase.Bool ;;
 589 1 f3d _:_ _forall_ [a] {Bar a} => a -> a -> PrelBase.Bool ;;