ghc/compiler/tests/deSugar/ds028.stderr

   1 Desugared:
   2 {- plain CoRec -}
   3 Main.map :: for all d, e. (d -> e) -> [d] -> [e]
   4 Main.map =
   5     /\ t88 t84 -> \ f.100 ds.101 ->
   6         let
   7           fail.102 =
   8               (error [t84])
   9                   "\"ds028.hs\", line 7: pattern-matching failure [function binding]\n"S
  10         in
  11           case ds.101 of {
  12             Nil -> Nil! t84
  13             (:) x.103 xs.104 ->
  14                 let f.105 = f.100
  15                 in  (: t84) (f.105 x.103) (((Main.map t88) t84) f.105 xs.104)
  16           }
  17 {- end plain CoRec -}
  18 Main.|| :: Bool -> Bool -> Bool
  19 Main.|| =
  20     \ ds.109 ds.110 ->
  21         let
  22           fail.111 =
  23               (error Bool)
  24                   "\"ds028.hs\", line 10: pattern-matching failure [function binding]\n"S
  25         in
  26           case ds.109 of {
  27             True -> True
  28             False -> let x.112 = ds.110 in  x.112
  29           }
  30