ghc/tests/deSugar/should_compile/ds028.stderr

   1
   2
   3 ================================================================================
   4 Desugared:
   5 Rec {
   6 ||||_akd  ::  PrelBase.Bool{-34,W-}
   7               -> PrelBase.Bool{-34,W-}
   8               -> PrelBase.Bool{-34,W-}
   9 {-# L #-}
  10 ||||_akd =
  11     \ ds_dnL  ::  PrelBase.Bool{-34,W-}
  12       {-# L #-}
  13       ds_dnL ds_dnU  ::  PrelBase.Bool{-34,W-}
  14              {-# L #-}
  15              ds_dnU ->
  16         case ds_dnL of {
  17           PrelBase.True{-5E,w-}{i} -> PrelBase.True{-5E,w-}{i};
  18           PrelBase.False{-58,w-}{i} -> ds_dnU;
  19         }
  20 ||||{-r3m,x-}  ::  PrelBase.Bool{-34,W-}
  21                    -> PrelBase.Bool{-34,W-}
  22                    -> PrelBase.Bool{-34,W-}
  23 {-# L #-}
  24 ||||{-r3m,x-} =
  25     ||||_akd
  26 mAp{-r3n,x-}  ::  _forall_
  27                   [takK takO]
  28                   =>
  29                   (takK -> takO) -> [takK] -> [takO]
  30 {-# L #-}
  31 mAp{-r3n,x-} =
  32     _/\_ takK takO ->
  33         _letrec_ {
  34           mAp_akq  ::  (takK -> takO) -> [takK] -> [takO]
  35           {-# L #-}
  36           mAp_akq =
  37               \ f_r3e  ::  takK -> takO
  38                 {-# L #-}
  39                 f_r3e ds_doq  ::  [takK]
  40                       {-# L #-}
  41                       ds_doq ->
  42                   case ds_doq of {
  43                     PrelBase.[]{-5i,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ takO;
  44                     PrelBase.:{-55,w-}{i} x_r3h xs_r3i ->
  45                         let {
  46                           f_r3g  ::  takK -> takO
  47                           {-# L #-}
  48                           f_r3g =
  49                               f_r3e } in
  50                         let {
  51                           ds_doQ  ::  takO
  52                           {-# L #-}
  53                           ds_doQ =
  54                               f_r3g x_r3h } in
  55                         let {
  56                           ds_doU  ::  [takO]
  57                           {-# L #-}
  58                           ds_doU =
  59                               mAp_akq f_r3g xs_r3i
  60                         } in  PrelBase.:{-55,w-}{i} _@_ takO ds_doQ ds_doU;
  61                   };
  62         } in  mAp_akq
  63 end Rec }