ghc/tests/deSugar/should_compile/ds023.stderr

   1
   2
   3 ================================================================================
   4 Desugared:
   5 Rec {
   6 ds_dK5  ::
   7     _forall_
   8     [rlg{-aHq-} riC{-aHC-}]
   9     =>
  10     {PrelBase.Num{-2c,p-} riC{-aHC-}}
  11     -> {PrelBase.Eq{-23,p-} rlg{-aHq-}}
  12     -> (rlg{-aHq-} -> riC{-aHC-}, PrelBase.Bool{-34,p-}
  13                                   -> rlg{-aHq-}
  14                                   -> riC{-aHC-})
  15 {-# L #-}
  16 ds_dK5 =
  17     _/\_ rlg{-aHq-} riC{-aHC-} -> \ d.Num_aHI  ::
  18                                         {PrelBase.Num{-2c,p-} riC{-aHC-}}
  19                                     {-# L #-}
  20                                     d.Num_aHI d.Eq_aHG  ::
  21                                                   {PrelBase.Eq{-23,p-} rlg{-aHq-}}
  22                                               {-# L #-}
  23                                               d.Eq_aHG ->
  24         _letrec_ {
  25           ==_aKk  ::
  26               rlg{-aHq-} -> rlg{-aHq-} -> PrelBase.Bool{-34,p-}
  27           {-# L #-}
  28           ==_aKk =
  29               PrelBase.=={-8Y,p-}
  30                   _@_ rlg{-aHq-} d.Eq_aHG;
  31           abs_aKr  ::
  32               riC{-aHC-} -> riC{-aHC-}
  33           {-# L #-}
  34           abs_aKr =
  35               PrelBase.abs{-r3j,p-}
  36                   _@_ riC{-aHC-} d.Num_aHI;
  37           f_aHi  ::
  38               rlg{-aHq-} -> riC{-aHC-}
  39           {-# L #-}
  40           f_aHi =
  41               \ x_r3e  ::
  42                     rlg{-aHq-}
  43                 {-# L #-}
  44                 x_r3e ->
  45                   let {
  46                     ds_dL3  ::
  47                         PrelBase.Bool{-34,p-}
  48                     {-# L #-}
  49                     ds_dL3 =
  50                         ==_aKk
  51                             x_r3e x_r3e
  52                   } in
  53                     g_aHj
  54                         ds_dL3 x_r3e;
  55           g_aHj  ::
  56               PrelBase.Bool{-34,p-} -> rlg{-aHq-} -> riC{-aHC-}
  57           {-# L #-}
  58           g_aHj =
  59               \ b_r3g  ::
  60                     PrelBase.Bool{-34,p-}
  61                 {-# L #-}
  62                 b_r3g x_r3i  ::
  63                           rlg{-aHq-}
  64                       {-# L #-}
  65                       x_r3i ->
  66                   let {
  67                     ds_dLq  ::
  68                         riC{-aHC-}
  69                     {-# L #-}
  70                     ds_dLq =
  71                         f_aHi
  72                             x_r3i
  73                   } in
  74                     abs_aKr
  75                         ds_dLq;
  76         } in
  77           PrelTup.(,){-62,p-}{i}
  78               {_@_ (rlg{-aHq-} -> riC{-aHC-})
  79                _@_ (PrelBase.Bool{-34,p-} -> rlg{-aHq-} -> riC{-aHC-})
  80                f_aHi
  81                g_aHj}
  82 f{-r3l,x-}  ::
  83     _forall_
  84     [rlg{-aHq-} riC{-aHC-}]
  85     =>
  86     {PrelBase.Num{-2c,p-} riC{-aHC-}}
  87     -> {PrelBase.Eq{-23,p-} rlg{-aHq-}}
  88     -> rlg{-aHq-}
  89     -> riC{-aHC-}
  90 {-# L #-}
  91 f{-r3l,x-} =
  92     _/\_ rlg{-aHq-} riC{-aHC-} -> \ d.Num_aHI  ::
  93                                         {PrelBase.Num{-2c,p-} riC{-aHC-}}
  94                                     {-# L #-}
  95                                     d.Num_aHI d.Eq_aHG  ::
  96                                                   {PrelBase.Eq{-23,p-} rlg{-aHq-}}
  97                                               {-# L #-}
  98                                               d.Eq_aHG ->
  99         case
 100             ds_dK5
 101                 _@_ rlg{-aHq-} _@_ riC{-aHC-} d.Num_aHI d.Eq_aHG
 102         of {
 103         PrelTup.(,){-62,p-}{i} ds_dM9 ds_dMa  ->
 104         ds_dM9;}
 105 g{-r3k,x-}  ::
 106     _forall_
 107     [rlg{-aHq-} riC{-aHC-}]
 108     =>
 109     {PrelBase.Num{-2c,p-} riC{-aHC-}}
 110     -> {PrelBase.Eq{-23,p-} rlg{-aHq-}}
 111     -> PrelBase.Bool{-34,p-}
 112     -> rlg{-aHq-}
 113     -> riC{-aHC-}
 114 {-# L #-}
 115 g{-r3k,x-} =
 116     _/\_ rlg{-aHq-} riC{-aHC-} -> \ d.Num_aHI  ::
 117                                         {PrelBase.Num{-2c,p-} riC{-aHC-}}
 118                                     {-# L #-}
 119                                     d.Num_aHI d.Eq_aHG  ::
 120                                                   {PrelBase.Eq{-23,p-} rlg{-aHq-}}
 121                                               {-# L #-}
 122                                               d.Eq_aHG ->
 123         case
 124             ds_dK5
 125                 _@_ rlg{-aHq-} _@_ riC{-aHC-} d.Num_aHI d.Eq_aHG
 126         of {
 127         PrelTup.(,){-62,p-}{i} ds_dMB ds_dMA  ->
 128         ds_dMA;}
 129 end Rec }
 130
 131 NOTE: Simplifier still going after 4 iterations; bailing out.