ghc/compiler/tests/deSugar/ds003.stderr

   1
   2
   3 ================================================================================
   4 Desugared:
   5 f{-r3C,x-}  ::
   6     _forall_
   7     [t{-aBt-} t{-aBF-} t{-aBI-} t{-aBS-}]
   8     =>
   9     [t{-aBt-}]
  10     -> (t{-aBF-}, t{-aBI-})
  11     -> PrelBase.Bool{-34,p-}
  12     -> [t{-aBS-}]
  13 {-# L #-}
  14 f{-r3C,x-} =
  15     _/\_ t{-aBt-} t{-aBF-} t{-aBI-} t{-aBS-} -> \ ds_dGi  ::
  16                                                       [t{-aBt-}]
  17                                                   {-# L #-}
  18                                                   ds_dGi y_r3e  ::
  19                                                              (t{-aBF-}, t{-aBI-})
  20                                                          {-# L #-}
  21                                                          y_r3e ds_dGj  ::
  22                                                                    PrelBase.Bool{-34,p-}
  23                                                                {-# L #-}
  24                                                                ds_dGj ->
  25         let {
  26           fail_dGE  ::
  27               [t{-aBS-}]
  28           {-# L #-}
  29           fail_dGE =
  30               case y_r3e of { PrelTup.(,){-62,p-}{i} y_r3k ys_r3l  ->
  31               let {
  32                 z_r3n  ::
  33                     PrelBase.Bool{-34,p-}
  34                 {-# L #-}
  35                 z_r3n =
  36                     ds_dGj } in
  37               let {
  38                 a_r3j  ::
  39                     (t{-aBF-}, t{-aBI-})
  40                 {-# L #-}
  41                 a_r3j =
  42                     y_r3e } in
  43               let {
  44                 x_r3h  ::
  45                     [t{-aBt-}]
  46                 {-# L #-}
  47                 x_r3h =
  48                     ds_dGi
  49               } in
  50                 PrelBase.[]{-5i,p-}{i}
  51                     _@_ t{-aBS-};}
  52         } in
  53           case ds_dGi of {
  54             PrelBase.:{-55,p-}{i} ds_dGM ds_dGL ->
  55                 fail_dGE;
  56             PrelBase.[]{-5i,p-}{i} ->
  57                 case ds_dGj of {
  58                   PrelBase.False{-58,p-}{i} ->
  59                       fail_dGE;
  60                   PrelBase.True{-5E,p-}{i} ->
  61                       PrelBase.[]{-5i,p-}{i}
  62                           _@_ t{-aBS-};
  63                 };
  64           }