ghc/compiler/tests/deSugar/ds015.stderr

   1 Desugared:
   2 Tests.f :: for all d. d -> d
   3 Tests.f = /\ o89 -> \ x.106 -> (\ x.107 -> x.107) x.106
   4 Tests.g :: for all d, e, f. ((d -> d) -> f) -> e -> f
   5 Tests.g =
   6     /\ o98 o94 o97 -> \ x.108 y.109 ->
   7         (\ x.110 y.111 -> y.111 x.110) (\ x.112 -> x.112) x.108
   8 Tests.h :: for all d, e. [e] -> d -> e
   9 Tests.h =
  10     /\ o102 t105 -> \ x.115 y.116 ->
  11         (\ ds.117 ->
  12              let
  13                fail.118 =
  14                    (error t105)
  15                        "\"ds015.hs\", line 9: pattern-matching failed in lambda\n"S
  16              in
  17                case ds.117 of {
  18                  (:) x.119 xs.120 -> x.119
  19                  _ ->  fail.118
  20                }) x.115
  21