ghc/compiler/tests/deSugar/ds028.stderr

   1
   2
   3 ================================================================================
   4 Desugared:
   5 ||||_amR  ::
   6     PrelBase.Bool{-34,p-}
   7     -> PrelBase.Bool{-34,p-}
   8     -> PrelBase.Bool{-34,p-}
   9 {-# L #-}
  10 ||||_amR =
  11     \ ds_dq6  ::
  12           PrelBase.Bool{-34,p-}
  13       {-# L #-}
  14       ds_dq6 ds_dq7  ::
  15                  PrelBase.Bool{-34,p-}
  16              {-# L #-}
  17              ds_dq7 ->
  18         case ds_dq6 of {
  19           PrelBase.True{-5E,p-}{i} ->
  20               PrelBase.True{-5E,p-}{i};
  21           PrelBase.False{-58,p-}{i} ->
  22               ds_dq7;
  23         }
  24 ||||{-r3q,x-}  ::
  25     PrelBase.Bool{-34,p-}
  26     -> PrelBase.Bool{-34,p-}
  27     -> PrelBase.Bool{-34,p-}
  28 {-# L #-}
  29 ||||{-r3q,x-} =
  30     ||||_amR
  31 Rec {
  32 mAp{-r3r,x-}  ::
  33     _forall_
  34     [t{-an5-} t{-an7-}]
  35     =>
  36     (t{-an5-} -> t{-an7-}) -> [t{-an5-}] -> [t{-an7-}]
  37 {-# L #-}
  38 mAp{-r3r,x-} =
  39     _/\_ t{-an5-} t{-an7-} ->
  40         _letrec_ {
  41           mAp_amZ  ::
  42               (t{-an5-} -> t{-an7-}) -> [t{-an5-}] -> [t{-an7-}]
  43           {-# L #-}
  44           mAp_amZ =
  45               \ f_r3e  ::
  46                     t{-an5-} -> t{-an7-}
  47                 {-# L #-}
  48                 f_r3e ds_dqV  ::
  49                           [t{-an5-}]
  50                       {-# L #-}
  51                       ds_dqV ->
  52                   case ds_dqV of {
  53                     PrelBase.[]{-5i,p-}{i} ->
  54                         PrelBase.[]{-5i,p-}{i}
  55                             _@_ t{-an7-};
  56                     PrelBase.:{-55,p-}{i} x_r3j xs_r3k ->
  57                         let {
  58                           f_r3h  ::
  59                               t{-an5-} -> t{-an7-}
  60                           {-# L #-}
  61                           f_r3h =
  62                               f_r3e } in
  63                         let {
  64                           ds_drl  ::
  65                               t{-an7-}
  66                           {-# L #-}
  67                           ds_drl =
  68                               f_r3h
  69                                   x_r3j } in
  70                         let {
  71                           ds_drp  ::
  72                               [t{-an7-}]
  73                           {-# L #-}
  74                           ds_drp =
  75                               mAp_amZ
  76                                   f_r3h xs_r3k
  77                         } in
  78                           PrelBase.:{-55,p-}{i}
  79                               _@_ t{-an7-} ds_drl ds_drp;
  80                   };
  81         } in
  82           mAp_amZ
  83 end Rec }