ghc/compiler/tests/deSugar/ds031.stderr

   1 Desugared:
   2 {- plain CoRec -}
   3 Main.foldPair ::
   4     for all a, b. (a -> a -> a, b -> b -> b) -> (a, b) -> [(a, b)] -> (a, b)
   5 Main.foldPair =
   6     /\ a b -> \ fg.122 ab.123 ds.124 ->
   7         let
   8           fail.125 =
   9               (error (a, b))
  10                   "\"ds031.hs\", line 4: pattern-matching failure [function binding]\n"S in
  11         let
  12           fail.141 =
  13               case fg.122 of {
  14                 MkTuple2 f.126 g.127 ->
  15                     case ds.124 of {
  16                       (:) ds.128 abs.129 ->
  17                           case ds.128 of {
  18                             MkTuple2 a.130 b.131 ->
  19                                 let ab.132 = ab.123 in
  20                                 let fg.133 = fg.122 in
  21                                 let
  22                                   ds.134 =
  23                                       ((Main.foldPair a) b)
  24                                           fg.133 ab.132 abs.129 in
  25                                 let
  26                                   u.137 =
  27                                       case ds.134 of {
  28                                         MkTuple2 u.135 v.136 -> u.135
  29                                       } in
  30                                 let
  31                                   v.140 =
  32                                       case ds.134 of {
  33                                         MkTuple2 u.138 v.139 -> v.139
  34                                       }
  35                                 in
  36                                   MkTuple2!
  37                                       a
  38                                       b
  39                                       (f.126 a.130 u.137)
  40                                       (g.127 b.131 v.140)
  41                           }
  42                       _ ->  fail.125
  43                     }
  44               }
  45         in
  46           case ds.124 of {
  47             Nil -> ab.123
  48             _ ->  fail.141
  49           }
  50 {- end plain CoRec -}
  51