ghc/compiler/tests/deSugar/ds007.stderr

   1
   2
   3 ================================================================================
   4 Desugared:
   5 w{-r3f,x-}  ::
   6     _forall_ [t{-amV-}] => [t{-amV-}]
   7 {-# L #-}
   8 w{-r3f,x-} =
   9     _/\_ t{-amV-} ->
  10         let {
  11           y_r3e  ::
  12               _forall_ [t{-amM-}] => [t{-amM-}]
  13           {-# L #-}
  14           y_r3e =
  15               _/\_ t{-amM-} ->
  16                   PrelBase.[]{-5i,p-}{i}
  17                       _@_ t{-amM-} } in
  18         let {
  19           a_r3d  ::
  20               _forall_ [t{-amT-}] => [t{-amT-}]
  21           {-# L #-}
  22           a_r3d =
  23               _/\_ t{-amT-} ->
  24                   y_r3e
  25                       _@_ t{-amT-}
  26         } in
  27           a_r3d
  28               _@_ t{-amV-}