ghc/compiler/tests/deSugar/ds008.stderr

   1
   2
   3 ================================================================================
   4 Desugared:
   5 Rec {
   6 d.Num_aY4  ::
   7     {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
   8 {-# L #-}
   9 d.Num_aY4 =
  10     PrelBase.$d3{-rbb,p-}
  11 fromInt_a117  ::
  12     PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-}
  13 {-# L #-}
  14 fromInt_a117 =
  15     PrelBase.fromInt{-8R,p-}
  16         _@_ PrelBase.Int{-3g,p-} d.Num_aY4
  17 lit_a11e  ::
  18     PrelBase.Int{-3g,p-}
  19 {-# L #-}
  20 lit_a11e =
  21     let {
  22       ds_d11D  ::
  23           PrelBase.Int{-3g,p-}
  24       {-# L #-}
  25       ds_d11D =
  26           PrelBase.I#{-5b,p-}{i}
  27               1
  28     } in
  29       fromInt_a117
  30           ds_d11D
  31 f{-r3m,x-}  ::
  32     _forall_ [t{-aXj-} t{-aXh-}] => t{-aXj-} -> [t{-aXh-}]
  33 {-# L #-}
  34 f{-r3m,x-} =
  35     _/\_ t{-aXj-} t{-aXh-} -> \ x_r3f  ::
  36                                     t{-aXj-}
  37                                 {-# L #-}
  38                                 x_r3f ->
  39         PrelBase.[]{-5i,p-}{i}
  40             _@_ t{-aXh-}
  41 g{-r3l,x-}  ::
  42     _forall_
  43     [t{-aXD-} t{-aXv-} t{-aXx-} t{-aXz-} t{-aXB-}]
  44     =>
  45     t{-aXD-} -> ([t{-aXv-}], [t{-aXx-}], [t{-aXz-}], [t{-aXB-}])
  46 {-# L #-}
  47 g{-r3l,x-} =
  48     _/\_ t{-aXD-} t{-aXv-} t{-aXx-} t{-aXz-} t{-aXB-} -> \ x_r3h  ::
  49                                                                t{-aXD-}
  50                                                            {-# L #-}
  51                                                            x_r3h ->
  52         let { ds_d12o  ::
  53                   [t{-aXv-}]
  54               {-# L #-}
  55               ds_d12o =
  56           let {
  57             ds_d12M  ::
  58                 [GHC.Void{-3T,p-}]
  59             {-# L #-}
  60             ds_d12M =
  61                 PrelBase.[]{-5i,p-}{i}
  62                     _@_ GHC.Void{-3T,p-}
  63           } in
  64             f{-r3m,x-}
  65                 _@_ [GHC.Void{-3T,p-}] _@_ t{-aXv-} ds_d12M
  66         } in
  67         let {
  68           ds_d12s  ::
  69               [t{-aXx-}]
  70           {-# L #-}
  71           ds_d12s =
  72               PrelBase.[]{-5i,p-}{i}
  73                   _@_ t{-aXx-} } in
  74         let {
  75           ds_d12w  ::
  76               [t{-aXz-}]
  77           {-# L #-}
  78           ds_d12w =
  79               PrelBase.[]{-5i,p-}{i}
  80                   _@_ t{-aXz-} } in
  81         let {
  82           ds_d12A  ::
  83               [t{-aXB-}]
  84           {-# L #-}
  85           ds_d12A =
  86               PrelBase.[]{-5i,p-}{i}
  87                   _@_ t{-aXB-}
  88         } in
  89           PrelTup.(,,,){-64,p-}{i}
  90               {_@_ [t{-aXv-}]
  91                _@_ [t{-aXx-}]
  92                _@_ [t{-aXz-}]
  93                _@_ [t{-aXB-}]
  94                ds_d12o
  95                ds_d12s
  96                ds_d12w
  97                ds_d12A}
  98 h{-r3k,x-}  ::
  99     _forall_
 100     [t{-aY0-} t{-aXS-} t{-aXT-} t{-aXU-} t{-aXV-}]
 101     =>
 102     t{-aY0-} -> ([t{-aXS-}], [t{-aXT-}], [t{-aXU-}], [t{-aXV-}])
 103 {-# L #-}
 104 h{-r3k,x-} =
 105     _/\_ t{-aY0-} t{-aXS-} t{-aXT-} t{-aXU-} t{-aXV-} -> \ x_r3j  ::
 106                                                                t{-aY0-}
 107                                                            {-# L #-}
 108                                                            x_r3j ->
 109         g{-r3l,x-}
 110             _@_ PrelBase.Int{-3g,p-}
 111             _@_ t{-aXS-}
 112             _@_ t{-aXT-}
 113             _@_ t{-aXU-}
 114             _@_ t{-aXV-}
 115             lit_a11e
 116 end Rec }