ghc/tests/deSugar/should_compile/ds035.stderr

   1
   2
   3 ================================================================================
   4 Desugared:
   5 Rec {
   6 CNil{-r7,x-}{i}  ::  CList{-r4u,x-}
   7 _A_ 0 {-# L #-}
   8 CNil{-r7,x-}{i} =
   9     CNil{-r7,x-}{i} {}
  10 CCons{-r6,x-}{i}  ::  GHC.Int#{-3f,W-}
  11                       -> CList{-r4u,x-}
  12                       -> CList{-r4u,x-}
  13 _A_ 2 {-# L #-}
  14 CCons{-r6,x-}{i} =
  15     \ tpl_B1  ::  GHC.Int#{-3f,W-}
  16       {-# L #-}
  17       tpl_B1 tpl_B2  ::  CList{-r4u,x-}
  18              {-# L #-}
  19              tpl_B2 ->
  20         CCons{-r6,x-}{i} {tpl_B1 tpl_B2}
  21 clen_aGK  ::  CList{-r4u,x-} -> GHC.Int#{-3f,W-}
  22 {-# L #-}
  23 clen_aGK =
  24     \ ds_dNA  ::  CList{-r4u,x-}
  25       {-# L #-}
  26       ds_dNA ->
  27         case ds_dNA of {
  28           CNil{-r7,x-}{i} -> 0;
  29           CCons{-r6,x-}{i} ds_dNR cl_r4p ->
  30               case# clen{-r9,x-} cl_r4p of { ds_dO1 ->
  31               GHC.+#{-7D,w-}{I} 1 ds_dO1;};
  32         }
  33 clen{-r9,x-}  ::  CList{-r4u,x-} -> GHC.Int#{-3f,W-}
  34 {-# L #-}
  35 clen{-r9,x-} =
  36     clen_aGK
  37 mk_aGP  ::  GHC.Int#{-3f,W-} -> CList{-r4u,x-}
  38 {-# L #-}
  39 mk_aGP =
  40     \ n_r4k  ::  GHC.Int#{-3f,W-}
  41       {-# L #-}
  42       n_r4k ->
  43         let {
  44           ds_dOE  ::  PrelBase.Bool{-34,W-}
  45           {-# L #-}
  46           ds_dOE =
  47               GHC.==#{-79,w-}{I} n_r4k 0 } in
  48         let { fail_dOR  ::  CList{-r4u,x-}
  49               {-# L #-}
  50               fail_dOR =
  51           let {
  52             ds_dOs  ::  CList{-r4u,x-}
  53             {-# L #-}
  54             ds_dOs =
  55                 case# GHC.-#{-7E,w-}{I} n_r4k 1 of { ds_dOM -> mk{-r8,x-} ds_dOM;}
  56           } in  CCons{-r6,x-}{i} 1 ds_dOs
  57         } in
  58         case ds_dOE of {
  59           PrelBase.True{-5E,w-}{i} -> fail_dOR;
  60           PrelBase.False{-58,w-}{i} -> CNil{-r7,x-}{i};
  61         }
  62 mk{-r8,x-}  ::  GHC.Int#{-3f,W-} -> CList{-r4u,x-}
  63 {-# L #-}
  64 mk{-r8,x-} =
  65     mk_aGP
  66 main_aH0  ::  IOBase.IO{-3e,p-} PrelBase.(){-40,W-}
  67 {-# L #-}
  68 main_aH0 =
  69     let {
  70       list4_aGZ  ::  CList{-r4u,x-}
  71       {-# L #-}
  72       list4_aGZ =
  73           mk{-r8,x-} 4 } in
  74     let {
  75       list4_r4r  ::  CList{-r4u,x-}
  76       {-# L #-}
  77       list4_r4r =
  78           list4_aGZ
  79     } in
  80       case# clen{-r9,x-} list4_r4r of { len4_aH4 ->
  81       case# len4_aH4 of { len4_r4s ->
  82       case# GHC.+#{-7D,w-}{I} len4_r4s len4_r4s of { len4_twice_aH7 ->
  83       case# len4_twice_aH7 of { len4_twice_r4t ->
  84       let {
  85         ds_dPl  ::  [PrelBase.Char{-38,W-}]
  86         {-# L #-}
  87         ds_dPl =
  88             case# len4_twice_r4t of { ds_dPS ->
  89             let {
  90               fail_dPT  ::  PrelBase.String{-rgL,p-}
  91               {-# L #-}
  92               fail_dPT =
  93                   _string_ "oops\n"
  94             } in
  95               case# ds_dPS of {
  96                 8 -> _string_ "bingo\n";
  97                 ds_dQ1 -> fail_dPT;
  98               };}
  99       } in  PrelIO.putStr{-rhQ,p-} ds_dPl;};};};}
 100 main{-814,x-}  ::  IOBase.IO{-3e,p-} PrelBase.(){-40,W-}
 101 {-# L #-}
 102 main{-814,x-} =
 103     main_aH0
 104 d.Eval_aHh  ::  {PrelBase.Eval{-24,p-} CList{-r4u,x-}}
 105 {-# L #-}
 106 d.Eval_aHh =
 107     PrelBase.void{-8G,w-}
 108 $d1{-rNv,x-}  ::  {PrelBase.Eval{-24,p-} CList{-r4u,x-}}
 109 {-# L #-}
 110 $d1{-rNv,x-} =
 111     d.Eval_aHh
 112 end Rec }