ghc/compiler/tests/deSugar/ds003.stderr

   1 Desugared:
   2 Test.f :: for all d, e, f, g. [d] -> (e, f) -> Bool -> [g]
   3 Test.f =
   4     /\ t106 o107 o108 t113 -> \ ds.122 y.123 ds.124 ->
   5         let
   6           fail.125 =
   7               (error [t113])
   8                   "\"ds003.hs\", line 8: pattern-matching failure [function binding]\n"S in
   9         let
  10           fail.149 =
  11               let
  12                 fail.142 =
  13                     let
  14                       fail.128 =
  15                           case ds.124 of {
  16                             True ->
  17                                 let y.126 = y.123 in
  18                                 let x.127 = ds.122 in  Nil! t113
  19                             _ ->  fail.125
  20                           }
  21                     in
  22                       case ds.122 of {
  23                         (:) x.129 ds.130 ->
  24                             case ds.130 of {
  25                               (:) x1.131 ds.132 ->
  26                                   case ds.132 of {
  27                                     (:) x2.133 x3.134 ->
  28                                         let z.135 = ds.124 in
  29                                         let
  30                                           y.138 =
  31                                               case y.123 of {
  32                                                 MkTuple2 y.136 ys.137 -> y.136
  33                                               } in
  34                                         let
  35                                           ys.141 =
  36                                               case y.123 of {
  37                                                 MkTuple2 y.139 ys.140 -> ys.140
  38                                               }
  39                                         in  Nil! t113
  40                                     _ ->  fail.128
  41                                   }
  42                               _ ->  fail.128
  43                             }
  44                         _ ->  fail.128
  45                       }
  46               in
  47                 case y.123 of {
  48                   MkTuple2 y.143 ys.144 ->
  49                       let z.146 = let z.145 = ds.124 in  z.145 in
  50                       let a.147 = y.123 in let x.148 = ds.122 in  Nil! t113
  51                 }
  52         in
  53           case ds.122 of {
  54             Nil ->
  55                 case ds.124 of {
  56                   True -> Nil! t113
  57                   _ ->  fail.149
  58                 }
  59             _ ->  fail.149
  60           }
  61