ghc/compiler/tests/deSugar/ds017.stderr

   1
   2
   3 ================================================================================
   4 Desugared:
   5 f{-r3p,x-}  ::
   6     _forall_
   7     [t{-aBq-} t{-aBs-} t{-aBd-}]
   8     =>
   9     t{-aBd-}
  10     -> ((t{-aBq-}, t{-aBq-}) -> t{-aBs-})
  11     -> t{-aBq-}
  12     -> (t{-aBs-}, [t{-aBd-}])
  13 {-# L #-}
  14 f{-r3p,x-} =
  15     _/\_ t{-aBq-} t{-aBs-} t{-aBd-} -> \ x_r3d  ::
  16                                              t{-aBd-}
  17                                          {-# L #-}
  18                                          x_r3d y_r3f  ::
  19                                                    (t{-aBq-}, t{-aBq-}) -> t{-aBs-}
  20                                                {-# L #-}
  21                                                y_r3f z_r3h  ::
  22                                                          t{-aBq-}
  23                                                      {-# L #-}
  24                                                      z_r3h ->
  25         let { c_aAS  ::
  26                   t{-aBs-}
  27               {-# L #-}
  28               c_aAS =
  29           let {
  30             ds_dEz  ::
  31                 (t{-aBq-}, t{-aBq-})
  32             {-# L #-}
  33             ds_dEz =
  34                 PrelTup.(,){-62,p-}{i}
  35                     {_@_ t{-aBq-} _@_ t{-aBq-} z_r3h z_r3h}
  36           } in
  37             y_r3f
  38                 ds_dEz
  39         } in
  40         let {
  41           c_r3l  ::
  42               t{-aBs-}
  43           {-# L #-}
  44           c_r3l =
  45               c_aAS } in
  46         let { a_aB8  ::
  47                   [t{-aBd-}]
  48               {-# L #-}
  49               a_aB8 =
  50           let {
  51             ds_dF5  ::
  52                 [t{-aBd-}]
  53             {-# L #-}
  54             ds_dF5 =
  55                 PrelBase.[]{-5i,p-}{i}
  56                     _@_ t{-aBd-}
  57           } in
  58             PrelBase.:{-55,p-}{i}
  59                 _@_ t{-aBd-} x_r3d ds_dF5
  60         } in
  61         let {
  62           a_r3j  ::
  63               [t{-aBd-}]
  64           {-# L #-}
  65           a_r3j =
  66               a_aB8 } in
  67         let {
  68           b_aBg  ::
  69               [t{-aBd-}]
  70           {-# L #-}
  71           b_aBg =
  72               PrelBase.:{-55,p-}{i}
  73                   _@_ t{-aBd-} x_r3d a_r3j } in
  74         let {
  75           b_r3k  ::
  76               [t{-aBd-}]
  77           {-# L #-}
  78           b_r3k =
  79               b_aBg
  80         } in
  81           PrelTup.(,){-62,p-}{i}
  82               {_@_ t{-aBs-} _@_ [t{-aBd-}] c_r3l b_r3k}