ghc/tests/deSugar/should_compile/ds032.stderr

   1 ds032.hs:12:
   2     Warning: Possibly incomplete patterns
   3         in the definition of function `flatten'
   4
   5
   6 ================================================================================
   7 Desugared:
   8 Rec {
   9 ==_a11H  ::  PrelBase.Float{-3c,W-}
  10              -> PrelBase.Float{-3c,W-}
  11              -> PrelBase.Bool{-34,W-}
  12 {-# L #-}
  13 ==_a11H =
  14     ==_a11J
  15 flatten_aUn  ::  PrelBase.Int{-3g,W-}
  16                  -> PrelBase.Bool{-34,W-}
  17                  -> PrelBase.Float{-3c,W-}
  18                  -> [(PrelBase.Int{-3g,W-}, PrelBase.Float{-3c,W-})]
  19                  -> PrelBase.String{-rAJ,p-}
  20 {-# L #-}
  21 flatten_aUn =
  22     \ n_r3i  ::  PrelBase.Int{-3g,W-}
  23       {-# L #-}
  24       n_r3i nlp_r3j  ::  PrelBase.Bool{-34,W-}
  25             {-# L #-}
  26             nlp_r3j ds_d13a  ::  PrelBase.Float{-3c,W-}
  27                     {-# L #-}
  28                     ds_d13a seqs_r3k  ::  [(PrelBase.Int{-3g,W-}, PrelBase.Float{-3c,W-})]
  29                             {-# L #-}
  30                             seqs_r3k ->
  31         let {
  32           fail_d13b  ::  PrelBase.String{-rAJ,p-}
  33           {-# L #-}
  34           fail_d13b =
  35               GHCerr.patError{-8r,w-}
  36                   _@_ PrelBase.String{-rAJ,p-}
  37                   _string_ "ds032.hs:12|function `flatten'"
  38         } in
  39           case ds_d13a of { PrelBase.F#{-59,w-}{i} ds_d13k  ->
  40           case# ds_d13k of {
  41             _float_ 0.0000000000000000 -> flattenS{-r3,x-} nlp_r3j seqs_r3k;
  42             _float_ 1.0000000000000000 ->
  43                 let {
  44                   seqs_r3o  ::  [(PrelBase.Int{-3g,W-}, PrelBase.Float{-3c,W-})]
  45                   {-# L #-}
  46                   seqs_r3o =
  47                       seqs_r3k } in
  48                 let {
  49                   nlp_r3n  ::  PrelBase.Bool{-34,W-}
  50                   {-# L #-}
  51                   nlp_r3n =
  52                       nlp_r3j } in
  53                 let {
  54                   n_r3m  ::  PrelBase.Int{-3g,W-}
  55                   {-# L #-}
  56                   n_r3m =
  57                       n_r3i } in
  58                 let { ds_d13X  ::  [(PrelBase.Int{-3g,W-}, PrelBase.Float{-3c,W-})]
  59                       {-# L #-}
  60                       ds_d13X =
  61                   let {
  62                     ds_d14a  ::  (PrelBase.Int{-3g,W-}, PrelBase.Float{-3c,W-})
  63                     {-# L #-}
  64                     ds_d14a =
  65                         PrelTup.(,){-62,w-}{i}
  66                             {_@_ PrelBase.Int{-3g,W-}
  67                              _@_ PrelBase.Float{-3c,W-}
  68                              n_r3m
  69                              lit_a11V}
  70                   } in
  71                     PrelBase.:{-55,w-}{i}
  72                         _@_ (PrelBase.Int{-3g,W-}, PrelBase.Float{-3c,W-}) ds_d14a seqs_r3o
  73                 } in
  74                 flatten{-r1,x-} n_r3m nlp_r3n lit_a11S ds_d13X;
  75             ds_d14u -> fail_d13b;
  76           };}
  77 flattenS_aUo  ::  PrelBase.Bool{-34,W-}
  78                   -> [(PrelBase.Int{-3g,W-}, PrelBase.Float{-3c,W-})]
  79                   -> PrelBase.String{-rAJ,p-}
  80 {-# L #-}
  81 flattenS_aUo =
  82     \ nlp_r3q  ::  PrelBase.Bool{-34,W-}
  83       {-# L #-}
  84       nlp_r3q ds_d14A  ::  [(PrelBase.Int{-3g,W-}, PrelBase.Float{-3c,W-})]
  85               {-# L #-}
  86               ds_d14A ->
  87         case ds_d14A of {
  88           PrelBase.[]{-5i,w-}{i} ->
  89               PrelBase.[]{-5i,w-}{i} {_@_ PrelBase.Char{-38,W-}};
  90           PrelBase.:{-55,w-}{i} ds_d14P seqs_r3v ->
  91               case ds_d14P of { PrelTup.(,){-62,w-}{i} col_r3t seq_r3u  ->
  92               let {
  93                 nlp_r3s  ::  PrelBase.Bool{-34,W-}
  94                 {-# L #-}
  95                 nlp_r3s =
  96                     nlp_r3q
  97               } in  flatten{-r1,x-} col_r3t nlp_r3s seq_r3u seqs_r3v;};
  98         }
  99 flatten{-r1,x-}  ::  PrelBase.Int{-3g,W-}
 100                      -> PrelBase.Bool{-34,W-}
 101                      -> PrelBase.Float{-3c,W-}
 102                      -> [(PrelBase.Int{-3g,W-}, PrelBase.Float{-3c,W-})]
 103                      -> PrelBase.String{-rAJ,p-}
 104 {-# L #-}
 105 flatten{-r1,x-} =
 106     flatten_aUn
 107 flattenS{-r3,x-}  ::  PrelBase.Bool{-34,W-}
 108                       -> [(PrelBase.Int{-3g,W-}, PrelBase.Float{-3c,W-})]
 109                       -> PrelBase.String{-rAJ,p-}
 110 {-# L #-}
 111 flattenS{-r3,x-} =
 112     flattenS_aUo
 113 d.Fractional_aV4  ::  {PrelNum.Fractional{-26,p-} PrelBase.Float{-3c,W-}}
 114 {-# L #-}
 115 d.Fractional_aV4 =
 116     PrelNum.$d23{-rCU,p-}
 117 fromRational_a11K  ::  PrelNum.Rational{-3r,p-}
 118                        -> PrelBase.Float{-3c,W-}
 119 {-# L #-}
 120 fromRational_a11K =
 121     PrelNum.fromRational{-8T,p-}
 122         _@_ PrelBase.Float{-3c,W-} d.Fractional_aV4
 123 lit_a11L  ::  PrelBase.Float{-3c,W-}
 124 {-# L #-}
 125 lit_a11L =
 126     fromRational_a11K _rational_  0 1
 127 d.Eq_aV7  ::  {PrelBase.Eq{-23,p-} PrelBase.Float{-3c,W-}}
 128 {-# L #-}
 129 d.Eq_aV7 =
 130     PrelNum.$d27{-rCY,p-}
 131 ==_a11J  ::  PrelBase.Float{-3c,W-}
 132              -> PrelBase.Float{-3c,W-}
 133              -> PrelBase.Bool{-34,W-}
 134 {-# L #-}
 135 ==_a11J =
 136     PrelBase.=={-8Y,p-} _@_ PrelBase.Float{-3c,W-} d.Eq_aV7
 137 fromRational_a11O  ::  PrelNum.Rational{-3r,p-}
 138                        -> PrelBase.Float{-3c,W-}
 139 {-# L #-}
 140 fromRational_a11O =
 141     fromRational_a11K
 142 lit_a11P  ::  PrelBase.Float{-3c,W-}
 143 {-# L #-}
 144 lit_a11P =
 145     fromRational_a11O _rational_  1 1
 146 fromRational_a11R  ::  PrelNum.Rational{-3r,p-}
 147                        -> PrelBase.Float{-3c,W-}
 148 {-# L #-}
 149 fromRational_a11R =
 150     fromRational_a11K
 151 lit_a11S  ::  PrelBase.Float{-3c,W-}
 152 {-# L #-}
 153 lit_a11S =
 154     fromRational_a11R _rational_  11 10
 155 fromRational_a11U  ::  PrelNum.Rational{-3r,p-}
 156                        -> PrelBase.Float{-3c,W-}
 157 {-# L #-}
 158 fromRational_a11U =
 159     fromRational_a11K
 160 lit_a11V  ::  PrelBase.Float{-3c,W-}
 161 {-# L #-}
 162 lit_a11V =
 163     fromRational_a11U _rational_  6 5
 164 end Rec }