ghc/tests/deSugar/should_compile/ds033.stderr

   1
   2
   3 ================================================================================
   4 Desugared:
   5 Rec {
   6 ds_dq1  ::  _forall_ [takN takP] => (takP -> takN, takP -> takN)
   7 {-# L #-}
   8 ds_dq1 =
   9     _/\_ takN takP ->
  10         _letrec_ {
  11           g4_akw  ::  takP -> takN
  12           {-# L #-}
  13           g4_akw =
  14               \ y_r3w  ::  takP
  15                 {-# L #-}
  16                 y_r3w ->
  17                   f4_akx y_r3w;
  18           f4_akx  ::  takP -> takN
  19           {-# L #-}
  20           f4_akx =
  21               \ x_r3y  ::  takP
  22                 {-# L #-}
  23                 x_r3y ->
  24                   g4_akw x_r3y;
  25         } in
  26           PrelTup.(,){-62,w-}{i}
  27               {_@_ (takP -> takN) _@_ (takP -> takN) g4_akw f4_akx}
  28 g4{-r3A,x-}  ::  _forall_ [takN takP] => takP -> takN
  29 {-# L #-}
  30 g4{-r3A,x-} =
  31     _/\_ takN takP ->
  32         case
  33             ds_dq1 _@_ takN _@_ takP
  34         of {
  35         PrelTup.(,){-62,w-}{i} ds_drz ds_drA  ->
  36         ds_drz;}
  37 f4{-r3z,x-}  ::  _forall_ [takN takP] => takP -> takN
  38 {-# L #-}
  39 f4{-r3z,x-} =
  40     _/\_ takN takP ->
  41         case
  42             ds_dq1 _@_ takN _@_ takP
  43         of {
  44         PrelTup.(,){-62,w-}{i} ds_drT ds_drS  ->
  45         ds_drS;}
  46 ds_dqx  ::  _forall_ [tal8 tala] => (tala -> tal8, tala -> tal8)
  47 {-# L #-}
  48 ds_dqx =
  49     _/\_ tal8 tala ->
  50         _letrec_ {
  51           f3_akR  ::  tala -> tal8
  52           {-# L #-}
  53           f3_akR =
  54               \ x_r3s  ::  tala
  55                 {-# L #-}
  56                 x_r3s ->
  57                   g3_akS x_r3s;
  58           g3_akS  ::  tala -> tal8
  59           {-# L #-}
  60           g3_akS =
  61               \ y_r3u  ::  tala
  62                 {-# L #-}
  63                 y_r3u ->
  64                   f3_akR y_r3u;
  65         } in
  66           PrelTup.(,){-62,w-}{i}
  67               {_@_ (tala -> tal8) _@_ (tala -> tal8) f3_akR g3_akS}
  68 f3{-r3C,x-}  ::  _forall_ [tal8 tala] => tala -> tal8
  69 {-# L #-}
  70 f3{-r3C,x-} =
  71     _/\_ tal8 tala ->
  72         case
  73             ds_dqx _@_ tal8 _@_ tala
  74         of {
  75         PrelTup.(,){-62,w-}{i} ds_dsQ ds_dsR  ->
  76         ds_dsQ;}
  77 g3{-r3B,x-}  ::  _forall_ [tal8 tala] => tala -> tal8
  78 {-# L #-}
  79 g3{-r3B,x-} =
  80     _/\_ tal8 tala ->
  81         case
  82             ds_dqx _@_ tal8 _@_ tala
  83         of {
  84         PrelTup.(,){-62,w-}{i} ds_dta ds_dt9  ->
  85         ds_dt9;}
  86 g2{-r3E,x-}  ::  _forall_ [tall] => tall -> tall
  87 {-# L #-}
  88 g2{-r3E,x-} =
  89     _/\_ tall ->
  90         _letrec_ {
  91           g2_alc  ::  tall -> tall
  92           {-# L #-}
  93           g2_alc =
  94               \ y_r3o  ::  tall
  95                 {-# L #-}
  96                 y_r3o ->
  97                   y_r3o;
  98         } in  g2_alc
  99 f2{-r3D,x-}  ::  _forall_ [talw] => talw -> talw
 100 {-# L #-}
 101 f2{-r3D,x-} =
 102     _/\_ talw ->
 103         _letrec_ {
 104           f2_aln  ::  talw -> talw
 105           {-# L #-}
 106           f2_aln =
 107               \ x_r3q  ::  talw
 108                 {-# L #-}
 109                 x_r3q ->
 110                   g2{-r3E,x-} _@_ talw x_r3q;
 111         } in  f2_aln
 112 g1{-r3F,x-}  ::  _forall_ [talH] => talH -> talH
 113 {-# L #-}
 114 g1{-r3F,x-} =
 115     _/\_ talH ->
 116         _letrec_ {
 117           g1_aly  ::  talH -> talH
 118           {-# L #-}
 119           g1_aly =
 120               \ y_r3m  ::  talH
 121                 {-# L #-}
 122                 y_r3m ->
 123                   y_r3m;
 124         } in  g1_aly
 125 f1{-r3G,x-}  ::  _forall_ [talS] => talS -> talS
 126 {-# L #-}
 127 f1{-r3G,x-} =
 128     _/\_ talS ->
 129         _letrec_ {
 130           f1_alJ  ::  talS -> talS
 131           {-# L #-}
 132           f1_alJ =
 133               \ x_r3k  ::  talS
 134                 {-# L #-}
 135                 x_r3k ->
 136                   g1{-r3F,x-} _@_ talS x_r3k;
 137         } in  f1_alJ
 138 end Rec }
 139
 140 NOTE: Simplifier still going after 4 iterations; bailing out.