ghc/compiler/tests/deSugar/ds027.stderr

   1 Desugared:
   2 {- plain CoRec -}
   3 dfun.Eq.Test.Foo :: <Eq Test.Foo>
   4 dfun.Eq.Test.Foo =
   5     let
   6       ==.76 =
   7           \ ds.83 ds.84 ->
   8               let
   9                 fail.85 =
  10                     (error Bool)
  11                         "\"ds027.hs\", line 8: pattern-matching failure [function binding]\n"S
  12               in
  13                 case ds.83 of {
  14                   Test.Bar ->
  15                       case ds.84 of {
  16                         Test.Baz -> True
  17                         _ ->  fail.85
  18                       }
  19                   _ ->  fail.85
  20                 } in
  21     let
  22       /=.77 =
  23           \ ds.89 ds.90 ->
  24               let
  25                 fail.91 =
  26                     (error Bool)
  27                         "\"ds027.hs\", line 9: pattern-matching failure [function binding]\n"S
  28               in
  29                 case ds.89 of {
  30                   Test.Bar ->
  31                       case ds.90 of {
  32                         Test.Baz -> False
  33                         _ ->  fail.91
  34                       }
  35                   _ ->  fail.91
  36                 }
  37     in
  38       MkTuple2!
  39           (Test.Foo -> Test.Foo -> Bool)
  40           (Test.Foo -> Test.Foo -> Bool)
  41           ==.76
  42           /=.77
  43 {- end plain CoRec -}
  44