ghc/tests/deSugar/should_compile/ds026.stderr

   1
   2
   3 ================================================================================
   4 Desugared:
   5 Rec {
   6 f{-r3w,x-}  ::  _forall_
   7                 [taBw taBB]
   8                 =>
   9                 {Noo{-r3x,x-} taBw}
  10                 -> {PrelBase.Eq{-23,p-} taBB}
  11                 -> taBw
  12                 -> taBB
  13                 -> taBw
  14 {-# L #-}
  15 f{-r3w,x-} =
  16     _/\_ taBw taBB -> \ d.Noo_aBH  ::  {Noo{-r3x,x-} taBw}
  17                         {-# L #-}
  18                         d.Noo_aBH d.Eq_aBJ  ::  {PrelBase.Eq{-23,p-} taBB}
  19                                   {-# L #-}
  20                                   d.Eq_aBJ ->
  21         _letrec_ {
  22           d.Boo_aBL  ::  {Boo{-r3n,x-} taBw}
  23           {-# L #-}
  24           d.Boo_aBL =
  25               scsel_NooShouldSucceedBoo{-aEv,x-} _@_ taBw d.Noo_aBH;
  26           d.Foo_aBF  ::  {Foo{-r3s,x-} taBw}
  27           {-# L #-}
  28           d.Foo_aBF =
  29               scsel_BooShouldSucceedFoo{-aEw,x-} _@_ taBw d.Boo_aBL;
  30           op_aEx  ::  taBw -> taBw
  31           {-# L #-}
  32           op_aEx =
  33               op{-r3y,x-} _@_ taBw d.Foo_aBF;
  34           op2_aBC  ::  _forall_
  35                        [taBy]
  36                        =>
  37                        {PrelBase.Eq{-23,p-} taBy} -> taBw -> taBy -> taBw
  38           {-# L #-}
  39           op2_aBC =
  40               op2{-r3A,x-} _@_ taBw d.Noo_aBH;
  41           op2_aEy  ::  taBw -> taBB -> taBw
  42           {-# L #-}
  43           op2_aEy =
  44               op2_aBC _@_ taBB d.Eq_aBJ;
  45           f_aBf  ::  taBw -> taBB -> taBw
  46           {-# L #-}
  47           f_aBf =
  48               \ x_r3j  ::  taBw
  49                 {-# L #-}
  50                 x_r3j y_r3k  ::  taBB
  51                       {-# L #-}
  52                       y_r3k ->
  53                   let {
  54                     ds_dG8  ::  taBw
  55                     {-# L #-}
  56                     ds_dG8 =
  57                         op2_aEy x_r3j y_r3k
  58                   } in  op_aEx ds_dG8;
  59         } in  f_aBf
  60 scsel_NooShouldSucceedBoo{-aEv,x-}  ::  _forall_
  61                                         [a_tr3m]
  62                                         =>
  63                                         {Noo{-r3x,x-} a_tr3m} -> {Boo{-r3n,x-} a_tr3m}
  64 {-# L #-}
  65 scsel_NooShouldSucceedBoo{-aEv,x-} =
  66     _/\_ t12 -> \ tpl_B1  ::  {Noo{-r3x,x-} t12}
  67                   {-# L #-}
  68                   tpl_B1 ->
  69         case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
  70 op2{-r3A,x-}  ::  _forall_
  71                   [a_tr3m]
  72                   =>
  73                   {Noo{-r3x,x-} a_tr3m}
  74                   -> (_forall_
  75                       [b_tr3p]
  76                       =>
  77                       {PrelBase.Eq{-23,p-} b_tr3p} -> a_tr3m -> b_tr3p -> a_tr3m)
  78 {-# L #-}
  79 op2{-r3A,x-} =
  80     _/\_ t12 -> \ tpl_B1  ::  {Noo{-r3x,x-} t12}
  81                   {-# L #-}
  82                   tpl_B1 ->
  83         case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
  84 ds_dEN  ::  _forall_
  85             [taBV]
  86             =>
  87             {Noo{-r3x,x-} taBV} -> PrelBase.(){-40,W-}
  88 {-# L #-}
  89 ds_dEN =
  90     _/\_ taBV -> \ d.Noo_aBO  ::  {Noo{-r3x,x-} taBV}
  91                    {-# L #-}
  92                    d.Noo_aBO ->
  93         PrelBase.(){-60,w-}{i} {}
  94 scsel_BooShouldSucceedFoo{-aEw,x-}  ::  _forall_
  95                                         [a_tr3r]
  96                                         =>
  97                                         {Boo{-r3n,x-} a_tr3r} -> {Foo{-r3s,x-} a_tr3r}
  98 {-# L #-}
  99 scsel_BooShouldSucceedFoo{-aEw,x-} =
 100     _/\_ t12 -> \ tpl_B1  ::  {Boo{-r3n,x-} t12}
 101                   {-# L #-}
 102                   tpl_B1 ->
 103         case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
 104 op1{-r3z,x-}  ::  _forall_
 105                   [a_tr3r]
 106                   =>
 107                   {Boo{-r3n,x-} a_tr3r} -> a_tr3r -> a_tr3r
 108 {-# L #-}
 109 op1{-r3z,x-} =
 110     _/\_ t12 -> \ tpl_B1  ::  {Boo{-r3n,x-} t12}
 111                   {-# L #-}
 112                   tpl_B1 ->
 113         case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
 114 ds_dF0  ::  _forall_
 115             [taBW]
 116             =>
 117             {Boo{-r3n,x-} taBW} -> PrelBase.(){-40,W-}
 118 {-# L #-}
 119 ds_dF0 =
 120     _/\_ taBW -> \ d.Boo_aBR  ::  {Boo{-r3n,x-} taBW}
 121                    {-# L #-}
 122                    d.Boo_aBR ->
 123         PrelBase.(){-60,w-}{i} {}
 124 op{-r3y,x-}  ::  _forall_
 125                  [a_tr3v]
 126                  =>
 127                  {Foo{-r3s,x-} a_tr3v} -> a_tr3v -> a_tr3v
 128 {-# L #-}
 129 op{-r3y,x-} =
 130     _/\_ t12 -> \ tpl_B1  ::  {Foo{-r3s,x-} t12}
 131                   {-# L #-}
 132                   tpl_B1 ->
 133         tpl_B1
 134 ds_dF9  ::  _forall_
 135             [taBX]
 136             =>
 137             {Foo{-r3s,x-} taBX} -> PrelBase.(){-40,W-}
 138 {-# L #-}
 139 ds_dF9 =
 140     _/\_ taBX -> \ d.Foo_aBU  ::  {Foo{-r3s,x-} taBX}
 141                    {-# L #-}
 142                    d.Foo_aBU ->
 143         PrelBase.(){-60,w-}{i} {}
 144 end Rec }