ghc/tests/deSugar/should_compile/ds023.stderr

   1
   2
   3 ================================================================================
   4 Desugared:
   5 Rec {
   6 ds_dEJ  ::  _forall_
   7             [taC5 taCc]
   8             =>
   9             {PrelBase.Num{-2c,p-} taCc}
  10             -> {PrelBase.Eq{-23,p-} taC5}
  11             -> (taC5 -> taCc, PrelBase.Bool{-34,W-} -> taC5 -> taCc)
  12 {-# L #-}
  13 ds_dEJ =
  14     _/\_ taC5 taCc -> \ d.Num_aCh  ::  {PrelBase.Num{-2c,p-} taCc}
  15                         {-# L #-}
  16                         d.Num_aCh d.Eq_aCf  ::  {PrelBase.Eq{-23,p-} taC5}
  17                                   {-# L #-}
  18                                   d.Eq_aCf ->
  19         _letrec_ {
  20           ==_aEY  ::  taC5 -> taC5 -> PrelBase.Bool{-34,W-}
  21           {-# L #-}
  22           ==_aEY =
  23               PrelBase.=={-8Y,p-} _@_ taC5 d.Eq_aCf;
  24           abs_aF5  ::  taCc -> taCc
  25           {-# L #-}
  26           abs_aF5 =
  27               PrelBase.abs{-r3i,p-} _@_ taCc d.Num_aCh;
  28           f_aBP  ::  taC5 -> taCc
  29           {-# L #-}
  30           f_aBP =
  31               \ x_r3e  ::  taC5
  32                 {-# L #-}
  33                 x_r3e ->
  34                   (let {
  35                      ds_dFM  ::  PrelBase.Bool{-34,W-}
  36                      {-# L #-}
  37                      ds_dFM =
  38                          ==_aEY x_r3e x_r3e
  39                    } in  g_aBQ ds_dFM)
  40                       x_r3e;
  41           g_aBQ  ::  PrelBase.Bool{-34,W-} -> taC5 -> taCc
  42           {-# L #-}
  43           g_aBQ =
  44               \ b_r3g  ::  PrelBase.Bool{-34,W-}
  45                 {-# L #-}
  46                 b_r3g x_r3h  ::  taC5
  47                       {-# L #-}
  48                       x_r3h ->
  49                   let {
  50                     ds_dG6  ::  taCc
  51                     {-# L #-}
  52                     ds_dG6 =
  53                         f_aBP x_r3h
  54                   } in  abs_aF5 ds_dG6;
  55         } in
  56           PrelTup.(,){-62,w-}{i}
  57               {_@_ (taC5 -> taCc)
  58                _@_ (PrelBase.Bool{-34,W-} -> taC5 -> taCc)
  59                f_aBP
  60                g_aBQ}
  61 f{-r3k,x-}  ::  _forall_
  62                 [taC5 taCc]
  63                 =>
  64                 {PrelBase.Num{-2c,p-} taCc}
  65                 -> {PrelBase.Eq{-23,p-} taC5}
  66                 -> taC5
  67                 -> taCc
  68 {-# L #-}
  69 f{-r3k,x-} =
  70     _/\_ taC5 taCc -> \ d.Num_aCh  ::  {PrelBase.Num{-2c,p-} taCc}
  71                         {-# L #-}
  72                         d.Num_aCh d.Eq_aCf  ::  {PrelBase.Eq{-23,p-} taC5}
  73                                   {-# L #-}
  74                                   d.Eq_aCf ->
  75         case
  76             ds_dEJ _@_ taC5 _@_ taCc d.Num_aCh d.Eq_aCf
  77         of {
  78         PrelTup.(,){-62,w-}{i} ds_dGP ds_dGQ  ->
  79         ds_dGP;}
  80 g{-r3j,x-}  ::  _forall_
  81                 [taC5 taCc]
  82                 =>
  83                 {PrelBase.Num{-2c,p-} taCc}
  84                 -> {PrelBase.Eq{-23,p-} taC5}
  85                 -> PrelBase.Bool{-34,W-}
  86                 -> taC5
  87                 -> taCc
  88 {-# L #-}
  89 g{-r3j,x-} =
  90     _/\_ taC5 taCc -> \ d.Num_aCh  ::  {PrelBase.Num{-2c,p-} taCc}
  91                         {-# L #-}
  92                         d.Num_aCh d.Eq_aCf  ::  {PrelBase.Eq{-23,p-} taC5}
  93                                   {-# L #-}
  94                                   d.Eq_aCf ->
  95         case
  96             ds_dEJ _@_ taC5 _@_ taCc d.Num_aCh d.Eq_aCf
  97         of {
  98         PrelTup.(,){-62,w-}{i} ds_dHh ds_dHg  ->
  99         ds_dHg;}
 100 end Rec }
 101
 102 NOTE: Simplifier still going after 4 iterations; bailing out.