ghc/compiler/tests/deSugar/ds032.stderr

   1 Desugared:
   2 dict.93 :: <Fractional Float>
   3 dict.93 = dfun.Fractional.Float
   4 dict.94 :: <Eq Float>
   5 dict.94 = dfun.Eq.Float
   6 dict.101 :: <Fractional Float>
   7 dict.101 = dfun.Fractional.Float
   8 dict.102 :: <Eq Float>
   9 dict.102 = dfun.Eq.Float
  10 dict.107 :: <Fractional Float>
  11 dict.107 = dfun.Fractional.Float
  12 dict.111 :: <Fractional Float>
  13 dict.111 = dfun.Fractional.Float
  14 {- plain CoRec -}
  15 Main.flatten :: Int -> Bool -> Float -> [(Int, Float)] -> [Char]
  16 Main.flatten =
  17     \ n.130 nlp.131 ds.132 seqs.133 ->
  18         let
  19           fail.134 =
  20               (error [Char])
  21                   "\"ds032.hs\", line 10: pattern-matching failure [function binding]\n"S
  22         in
  23           case (eqFloat (MkFloat! 0.0000000000000000#) ds.132) of {
  24             True -> Main.flattenS nlp.131 seqs.133
  25             False ->
  26                 case (eqFloat (MkFloat! 1.0000000000000000#) ds.132) of {
  27                   True ->
  28                       let seqs.135 = seqs.133 in
  29                       let nlp.136 = nlp.131 in
  30                       let n.137 = n.130
  31                       in
  32                         Main.flatten
  33                             n.137
  34                             nlp.136
  35                             (MkFloat! 1.1000000000000001#)
  36                             ((: (Int, Float))
  37                                  (MkTuple2!
  38                                       Int
  39                                       Float
  40                                       n.137
  41                                       (MkFloat! 1.2000000000000000#))
  42                                  seqs.135)
  43                   False -> fail.134
  44                 }
  45           }
  46 Main.flattenS :: Bool -> [(Int, Float)] -> [Char]
  47 Main.flattenS =
  48     \ nlp.138 ds.139 ->
  49         let
  50           fail.140 =
  51               (error [Char])
  52                   "\"ds032.hs\", line 14: pattern-matching failure [function binding]\n"S
  53         in
  54           case ds.139 of {
  55             Nil -> Nil! Char
  56             (:) ds.141 seqs.142 ->
  57                 case ds.141 of {
  58                   MkTuple2 col.143 seq.144 ->
  59                       let nlp.145 = nlp.138
  60                       in  Main.flatten col.143 nlp.145 seq.144 seqs.142
  61                 }
  62           }
  63 {- end plain CoRec -}
  64