ghc/compiler/tests/deSugar/ds024.stderr

   1
   2
   3 ================================================================================
   4 Desugared:
   5 g{-r3h,x-}  ::
   6     _forall_
   7     [t{-aAR-} t{-aAL-} t{-aAN-} t{-aAP-}]
   8     =>
   9     t{-aAR-} -> ([t{-aAL-}], [t{-aAN-}], [t{-aAP-}])
  10 {-# L #-}
  11 g{-r3h,x-} =
  12     _/\_ t{-aAR-} t{-aAL-} t{-aAN-} t{-aAP-} -> \ x_r3g  ::
  13                                                       t{-aAR-}
  14                                                   {-# L #-}
  15                                                   x_r3g ->
  16         let {
  17           ds_dD1  ::
  18               [t{-aAL-}]
  19           {-# L #-}
  20           ds_dD1 =
  21               PrelBase.[]{-5i,p-}{i}
  22                   _@_ t{-aAL-} } in
  23         let {
  24           ds_dD5  ::
  25               [t{-aAN-}]
  26           {-# L #-}
  27           ds_dD5 =
  28               PrelBase.[]{-5i,p-}{i}
  29                   _@_ t{-aAN-} } in
  30         let {
  31           ds_dD9  ::
  32               [t{-aAP-}]
  33           {-# L #-}
  34           ds_dD9 =
  35               PrelBase.[]{-5i,p-}{i}
  36                   _@_ t{-aAP-}
  37         } in
  38           PrelTup.(,,){-63,p-}{i}
  39               {_@_ [t{-aAL-}] _@_ [t{-aAN-}] _@_ [t{-aAP-}] ds_dD1 ds_dD5 ds_dD9}
  40 f{-r3i,x-}  ::
  41     _forall_ [t{-aAZ-} t{-aB3-}] => t{-aB3-} -> [[t{-aAZ-}]]
  42 {-# L #-}
  43 f{-r3i,x-} =
  44     _/\_ t{-aAZ-} t{-aB3-} -> \ x_r3e  ::
  45                                     t{-aB3-}
  46                                 {-# L #-}
  47                                 x_r3e ->
  48         let {
  49           ds_dDN  ::
  50               [t{-aAZ-}]
  51           {-# L #-}
  52           ds_dDN =
  53               PrelBase.[]{-5i,p-}{i}
  54                   _@_ t{-aAZ-} } in
  55         let { ds_dDR  ::
  56                   [[t{-aAZ-}]]
  57               {-# L #-}
  58               ds_dDR =
  59           let {
  60             ds_dE7  ::
  61                 [t{-aAZ-}]
  62             {-# L #-}
  63             ds_dE7 =
  64                 PrelBase.[]{-5i,p-}{i}
  65                     _@_ t{-aAZ-} } in
  66           let {
  67             ds_dEb  ::
  68                 [[t{-aAZ-}]]
  69             {-# L #-}
  70             ds_dEb =
  71                 PrelBase.[]{-5i,p-}{i}
  72                     {_@_ [t{-aAZ-}]}
  73           } in
  74             PrelBase.:{-55,p-}{i}
  75                 {_@_ [t{-aAZ-}] ds_dE7 ds_dEb}
  76         } in
  77         PrelBase.:{-55,p-}{i}
  78             {_@_ [t{-aAZ-}] ds_dDN ds_dDR}