ghc/tests/deSugar/should_compile/ds003.stderr

   1
   2
   3 ================================================================================
   4 Desugared:
   5 Rec {
   6 f{-r3v,x-}  ::  _forall_
   7                 [tayV taz7 taza tazl]
   8                 =>
   9                 [tayV] -> (taz7, taza) -> PrelBase.Bool{-34,W-} -> [tazl]
  10 {-# L #-}
  11 f{-r3v,x-} =
  12     _/\_ tayV taz7 taza tazl ->
  13         _letrec_ {
  14           f_ayi  ::  [tayV]
  15                      -> (taz7, taza)
  16                      -> PrelBase.Bool{-34,W-}
  17                      -> [tazl]
  18           {-# L #-}
  19           f_ayi =
  20               \ ds_dDX  ::  [tayV]
  21                 {-# L #-}
  22                 ds_dDX y_r3d  ::  (taz7, taza)
  23                        {-# L #-}
  24                        y_r3d ds_dDY  ::  PrelBase.Bool{-34,W-}
  25                              {-# L #-}
  26                              ds_dDY ->
  27                   let {
  28                     fail_dEj  ::  [tazl]
  29                     {-# L #-}
  30                     fail_dEj =
  31                         case y_r3d of { PrelTup.(,){-62,w-}{i} y_r3h ys_r3i  ->
  32                         let {
  33                           z_r3j  ::  PrelBase.Bool{-34,W-}
  34                           {-# L #-}
  35                           z_r3j =
  36                               ds_dDY } in
  37                         let {
  38                           a_r3g  ::  (taz7, taza)
  39                           {-# L #-}
  40                           a_r3g =
  41                               y_r3d } in
  42                         let {
  43                           x_r3f  ::  [tayV]
  44                           {-# L #-}
  45                           x_r3f =
  46                               ds_dDX
  47                         } in  PrelBase.[]{-5i,w-}{i} _@_ tazl;}
  48                   } in
  49                     case ds_dDX of {
  50                       PrelBase.:{-55,w-}{i} ds_dEq ds_dEr -> fail_dEj;
  51                       PrelBase.[]{-5i,w-}{i} ->
  52                           case ds_dDY of {
  53                             PrelBase.False{-58,w-}{i} -> fail_dEj;
  54                             PrelBase.True{-5E,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ tazl;
  55                           };
  56                     };
  57         } in  f_ayi
  58 end Rec }