ghc/compiler/tests/deSugar/ds021.stderr

   1 Desugared:
   2 Test.f :: for all d, e. <Eq d> -> d -> d -> d -> [e]
   3 Test.f =
   4     /\ t86 t91 -> \ dict.87 ->
   5         let dict.83 = dict.87 in
   6         let
   7           f.78 =
   8               \ x.61 y.62 z.63 ->
   9                   let
  10                     fail.92 =
  11                         (error [t91])
  12                             "\"ds021.hs\", line 8: pattern-matching failure [function binding]\n"S
  13                   in
  14                     case ((== t86) dict.83 x.61 y.62) of {
  15                       True -> Nil! t91
  16                       False ->
  17                           case ((/= t86) dict.87 x.61 z.63) of {
  18                             True -> Nil! t91
  19                             False -> Nil! t91
  20                           }
  21                     }
  22         in  f.78
  23