ghc/compiler/tests/deSugar/ds004.stderr

   1 Desugared:
   2 {- plain CoRec -}
   3 Test.nodups :: for all d. <Eq d> -> [d] -> [d]
   4 Test.nodups =
   5     /\ t95 -> \ dict.90 ds.103 ->
   6         let
   7           fail.104 =
   8               (error [t95])
   9                   "\"ds004.hs\", line 9: pattern-matching failure [function binding]\n"S
  10         in
  11           case ds.103 of {
  12             Nil -> Nil! t95
  13             (:) x.105 ds.106 ->
  14                 case ds.106 of {
  15                   Nil -> :! t95 x.105 (Nil! t95)
  16                   (:) x.107 xs.108 ->
  17                       let y.109 = x.105
  18                       in
  19                         case ((== t95) dict.90 y.109 x.107) of {
  20                           True ->
  21                               (Test.nodups t95) dict.90 ((: t95) x.107 xs.108)
  22                           False ->
  23                               (: t95)
  24                                   y.109
  25                                   ((Test.nodups t95)
  26                                        dict.90 ((: t95) x.107 xs.108))
  27                         }
  28                 }
  29           }
  30 {- end plain CoRec -}
  31