ghc/tests/deSugar/should_compile/ds008.stderr

   1
   2
   3 ================================================================================
   4 Desugared:
   5 Rec {
   6 f{-r3i,x-}  ::  _forall_ [taRU taRS] => taRU -> [taRS]
   7 {-# L #-}
   8 f{-r3i,x-} =
   9     _/\_ taRU taRS ->
  10         _letrec_ {
  11           f_aRJ  ::  taRU -> [taRS]
  12           {-# L #-}
  13           f_aRJ =
  14               \ x_r3f  ::  taRU
  15                 {-# L #-}
  16                 x_r3f ->
  17                   PrelBase.[]{-5i,w-}{i} _@_ taRS;
  18         } in  f_aRJ
  19 g{-r3m,x-}  ::  _forall_
  20                 [taSp taSe taSj taSl taSn]
  21                 =>
  22                 taSp -> ([taSe], [taSj], [taSl], [taSn])
  23 {-# L #-}
  24 g{-r3m,x-} =
  25     _/\_ taSp taSe taSj taSl taSn ->
  26         _letrec_ {
  27           g_aRW  ::  taSp -> ([taSe], [taSj], [taSl], [taSn])
  28           {-# L #-}
  29           g_aRW =
  30               \ x_r3h  ::  taSp
  31                 {-# L #-}
  32                 x_r3h ->
  33                   let { ds_dWB  ::  [taSe]
  34                         {-# L #-}
  35                         ds_dWB =
  36                     let {
  37                       ds_dWZ  ::  [GHC.Void{-3T,W-}]
  38                       {-# L #-}
  39                       ds_dWZ =
  40                           PrelBase.[]{-5i,w-}{i} _@_ GHC.Void{-3T,W-}
  41                     } in  f{-r3i,x-} _@_ [GHC.Void{-3T,W-}] _@_ taSe ds_dWZ
  42                   } in
  43                   let {
  44                     ds_dWF  ::  [taSj]
  45                     {-# L #-}
  46                     ds_dWF =
  47                         PrelBase.[]{-5i,w-}{i} _@_ taSj } in
  48                   let {
  49                     ds_dWJ  ::  [taSl]
  50                     {-# L #-}
  51                     ds_dWJ =
  52                         PrelBase.[]{-5i,w-}{i} _@_ taSl } in
  53                   let {
  54                     ds_dWN  ::  [taSn]
  55                     {-# L #-}
  56                     ds_dWN =
  57                         PrelBase.[]{-5i,w-}{i} _@_ taSn
  58                   } in
  59                     PrelTup.(,,,){-64,w-}{i}
  60                         {_@_ [taSe]
  61                          _@_ [taSj]
  62                          _@_ [taSl]
  63                          _@_ [taSn]
  64                          ds_dWB
  65                          ds_dWF
  66                          ds_dWJ
  67                          ds_dWN};
  68         } in  g_aRW
  69 h{-r3l,x-}  ::  _forall_
  70                 [taSM taSB taSD taSF taSH]
  71                 =>
  72                 taSM -> ([taSB], [taSD], [taSF], [taSH])
  73 {-# L #-}
  74 h{-r3l,x-} =
  75     _/\_ taSM taSB taSD taSF taSH ->
  76         _letrec_ {
  77           h_aSr  ::  taSM -> ([taSB], [taSD], [taSF], [taSH])
  78           {-# L #-}
  79           h_aSr =
  80               \ x_r3k  ::  taSM
  81                 {-# L #-}
  82                 x_r3k ->
  83                   g{-r3m,x-}
  84                       _@_ PrelBase.Int{-3g,W-}
  85                       _@_ taSB
  86                       _@_ taSD
  87                       _@_ taSF
  88                       _@_ taSH
  89                       lit_aVP;
  90         } in  h_aSr
  91 lit_aVP  ::  PrelBase.Int{-3g,W-}
  92 {-# L #-}
  93 lit_aVP =
  94     PrelBase.I#{-5b,w-}{i} 1
  95 end Rec }