ghc/compiler/tests/deSugar/ds026.stderr

   1 Desugared:
   2 defm.Main.Boo.op1 :: for all a. <Main.Boo a> -> a -> a
   3 defm.Main.Boo.op1 = /\ a -> (error (a -> a)) "No default method for \"op1\"\n"S
   4 Main.Boo.op1 :: for all a. <Main.Boo a> -> a -> a
   5 Main.Boo.op1 =
   6     /\ a -> \ ds.113 ->
   7         case ds.113 of {
   8           MkTuple2 dict.84 op1.83 -> op1.83
   9         }
  10 sdsel.Main.Boo.Main.Foo :: for all a. <Main.Boo a> -> <Main.Foo a>
  11 sdsel.Main.Boo.Main.Foo =
  12     /\ a -> \ ds.114 ->
  13         case ds.114 of {
  14           MkTuple2 dict.87 op1.86 -> dict.87
  15         }
  16 defm.Main.Foo.op :: for all a. <Main.Foo a> -> a -> a
  17 defm.Main.Foo.op = /\ a -> (error (a -> a)) "No default method for \"op\"\n"S
  18 Main.Foo.op :: for all a. <Main.Foo a> -> a -> a
  19 Main.Foo.op = /\ a -> \ op.90 -> op.90
  20 defm.Main.Noo.op2 :: for all a, b. <Main.Noo a> -> <Eq b> -> a -> b -> a
  21 defm.Main.Noo.op2 =
  22     /\ a b -> \ dict.102 ->
  23         (error (a -> b -> a)) "No default method for \"op2\"\n"S
  24 Main.Noo.op2 :: for all a, b. <Main.Noo a> -> <Eq b> -> a -> b -> a
  25 Main.Noo.op2 =
  26     /\ a b -> \ ds.115 ->
  27         case ds.115 of {
  28           MkTuple2 dict.94 op2.93 -> op2.93 b
  29         }
  30 sdsel.Main.Noo.Main.Boo :: for all a. <Main.Noo a> -> <Main.Boo a>
  31 sdsel.Main.Noo.Main.Boo =
  32     /\ a -> \ ds.116 ->
  33         case ds.116 of {
  34           MkTuple2 dict.98 op2.97 -> dict.98
  35         }
  36 Main.f :: for all b, a. <Eq b> -> <Main.Noo a> -> a -> b -> a
  37 Main.f =
  38     /\ b a -> \ dict.112 dict.111 ->
  39         let
  40           dict.108 =
  41               (sdsel.Main.Boo.Main.Foo a) ((sdsel.Main.Noo.Main.Boo a) dict.111) in
  42         let
  43           f.104 =
  44               \ x.68 y.69 ->
  45                   (Main.Foo.op a)
  46                       dict.108
  47                       (((Main.Noo.op2 a) b) dict.111 dict.112 x.68 y.69)
  48         in  f.104
  49