ghc/tests/deSugar/should_compile/ds017.stderr

   1
   2
   3 ================================================================================
   4 Desugared:
   5 Rec {
   6 f{-r3n,x-}  ::  _forall_
   7                 [tayF tayW taz2]
   8                 =>
   9                 tayW -> ((tayF, tayF) -> taz2) -> tayF -> (taz2, [tayW])
  10 {-# L #-}
  11 f{-r3n,x-} =
  12     _/\_ tayF tayW taz2 ->
  13         _letrec_ {
  14           f_aya  ::  tayW -> ((tayF, tayF) -> taz2) -> tayF -> (taz2, [tayW])
  15           {-# L #-}
  16           f_aya =
  17               \ x_r3d  ::  tayW
  18                 {-# L #-}
  19                 x_r3d y_r3e  ::  (tayF, tayF) -> taz2
  20                       {-# L #-}
  21                       y_r3e z_r3f  ::  tayF
  22                             {-# L #-}
  23                             z_r3f ->
  24                   let { c_ays  ::  taz2
  25                         {-# L #-}
  26                         c_ays =
  27                     let {
  28                       ds_dCV  ::  (tayF, tayF)
  29                       {-# L #-}
  30                       ds_dCV =
  31                           PrelTup.(,){-62,w-}{i} {_@_ tayF _@_ tayF z_r3f z_r3f}
  32                     } in  y_r3e ds_dCV
  33                   } in
  34                   let {
  35                     c_r3j  ::  taz2
  36                     {-# L #-}
  37                     c_r3j =
  38                         c_ays } in
  39                   let { a_ayK  ::  [tayW]
  40                         {-# L #-}
  41                         a_ayK =
  42                     let {
  43                       ds_dDr  ::  [tayW]
  44                       {-# L #-}
  45                       ds_dDr =
  46                           PrelBase.[]{-5i,w-}{i} _@_ tayW
  47                     } in  PrelBase.:{-55,w-}{i} _@_ tayW x_r3d ds_dDr
  48                   } in
  49                   let {
  50                     a_r3h  ::  [tayW]
  51                     {-# L #-}
  52                     a_r3h =
  53                         a_ayK } in
  54                   let {
  55                     b_ayS  ::  [tayW]
  56                     {-# L #-}
  57                     b_ayS =
  58                         PrelBase.:{-55,w-}{i} _@_ tayW x_r3d a_r3h } in
  59                   let {
  60                     b_r3i  ::  [tayW]
  61                     {-# L #-}
  62                     b_r3i =
  63                         b_ayS
  64                   } in  PrelTup.(,){-62,w-}{i} {_@_ taz2 _@_ [tayW] c_r3j b_r3i};
  65         } in  f_aya
  66 end Rec }