ghc/compiler/tests/deSugar/ds026.stderr

   1
   2
   3 ================================================================================
   4 Desugared:
   5 Rec {
   6 scsel_NooShouldSucceedBoo{-aKl,x-}  ::
   7     _forall_
   8     [a{-r3n-}]
   9     =>
  10     {Noo{-r3B,x-} a{-r3n-}} -> {Boo{-r3o,x-} a{-r3n-}}
  11 {-# L #-}
  12 scsel_NooShouldSucceedBoo{-aKl,x-} =
  13     _/\_ a{-r3n-} -> \ tpl_B1  ::
  14                            {Noo{-r3B,x-} a{-r3n-}}
  15                        {-# L #-}
  16                        tpl_B1 ->
  17         case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
  18 op2{-r3A,x-}  ::
  19     _forall_
  20     [a{-r3n-}]
  21     =>
  22     {Noo{-r3B,x-} a{-r3n-}}
  23     -> (_forall_
  24         [b{-r3q-}]
  25         =>
  26         {PrelBase.Eq{-23,p-} b{-r3q-}} -> a{-r3n-} -> b{-r3q-} -> a{-r3n-})
  27 {-# L #-}
  28 op2{-r3A,x-} =
  29     _/\_ a{-r3n-} -> \ tpl_B1  ::
  30                            {Noo{-r3B,x-} a{-r3n-}}
  31                        {-# L #-}
  32                        tpl_B1 ->
  33         case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
  34 $mop2{-rGB,x-}  ::
  35     _forall_
  36     [a{-r3n-}]
  37     =>
  38     {Noo{-r3B,x-} a{-r3n-}}
  39     -> (_forall_
  40         [b{-r3q-}]
  41         =>
  42         {PrelBase.Eq{-23,p-} b{-r3q-}} -> a{-r3n-} -> b{-r3q-} -> a{-r3n-})
  43 {-# L #-}
  44 $mop2{-rGB,x-} =
  45     _/\_ a{-aHc-} -> \ d.Noo_aH5  ::
  46                            {Noo{-r3B,x-} a{-aHc-}}
  47                        {-# L #-}
  48                        d.Noo_aH5 ->
  49         _/\_ b{-aHg-} -> \ d.Eq_aHi  ::
  50                                {PrelBase.Eq{-23,p-} b{-aHg-}}
  51                            {-# L #-}
  52                            d.Eq_aHi ->
  53             GHCerr.noDefaultMethodError{-8k,p-}
  54                 _@_ (a{-aHc-} -> b{-aHg-} -> a{-aHc-})
  55                 _string_ "Class Noo Method op2"
  56 scsel_BooShouldSucceedFoo{-aKD,x-}  ::
  57     _forall_
  58     [a{-r3t-}]
  59     =>
  60     {Boo{-r3o,x-} a{-r3t-}} -> {Foo{-r3u,x-} a{-r3t-}}
  61 {-# L #-}
  62 scsel_BooShouldSucceedFoo{-aKD,x-} =
  63     _/\_ a{-r3t-} -> \ tpl_B1  ::
  64                            {Boo{-r3o,x-} a{-r3t-}}
  65                        {-# L #-}
  66                        tpl_B1 ->
  67         case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
  68 op1{-r3C,x-}  ::
  69     _forall_
  70     [a{-r3t-}]
  71     =>
  72     {Boo{-r3o,x-} a{-r3t-}} -> a{-r3t-} -> a{-r3t-}
  73 {-# L #-}
  74 op1{-r3C,x-} =
  75     _/\_ a{-r3t-} -> \ tpl_B1  ::
  76                            {Boo{-r3o,x-} a{-r3t-}}
  77                        {-# L #-}
  78                        tpl_B1 ->
  79         case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
  80 $mop1{-rGD,x-}  ::
  81     _forall_
  82     [a{-r3t-}]
  83     =>
  84     {Boo{-r3o,x-} a{-r3t-}} -> a{-r3t-} -> a{-r3t-}
  85 {-# L #-}
  86 $mop1{-rGD,x-} =
  87     _/\_ a{-aHs-} -> \ d.Boo_aHl  ::
  88                            {Boo{-r3o,x-} a{-aHs-}}
  89                        {-# L #-}
  90                        d.Boo_aHl ->
  91         GHCerr.noDefaultMethodError{-8k,p-}
  92             _@_ (a{-aHs-} -> a{-aHs-}) _string_ "Class Boo Method op1"
  93 op{-r3D,x-}  ::
  94     _forall_
  95     [a{-r3y-}]
  96     =>
  97     {Foo{-r3u,x-} a{-r3y-}} -> a{-r3y-} -> a{-r3y-}
  98 {-# L #-}
  99 op{-r3D,x-} =
 100     _/\_ a{-r3y-} -> \ tpl_B1  ::
 101                            {Foo{-r3u,x-} a{-r3y-}}
 102                        {-# L #-}
 103                        tpl_B1 ->
 104         tpl_B1
 105 $mop{-rGC,x-}  ::
 106     _forall_
 107     [a{-r3y-}]
 108     =>
 109     {Foo{-r3u,x-} a{-r3y-}} -> a{-r3y-} -> a{-r3y-}
 110 {-# L #-}
 111 $mop{-rGC,x-} =
 112     _/\_ a{-aHD-} -> \ d.Foo_aHw  ::
 113                            {Foo{-r3u,x-} a{-aHD-}}
 114                        {-# L #-}
 115                        d.Foo_aHw ->
 116         GHCerr.noDefaultMethodError{-8k,p-}
 117             _@_ (a{-aHD-} -> a{-aHD-}) _string_ "Class Foo Method op"
 118 f{-r3z,x-}  ::
 119     _forall_
 120     [a{-aGK-} b{-aGQ-}]
 121     =>
 122     {Noo{-r3B,x-} a{-aGK-}}
 123     -> {PrelBase.Eq{-23,p-} b{-aGQ-}}
 124     -> a{-aGK-}
 125     -> b{-aGQ-}
 126     -> a{-aGK-}
 127 {-# L #-}
 128 f{-r3z,x-} =
 129     _/\_ a{-aGK-} b{-aGQ-} -> \ d.Noo_aGY  ::
 130                                     {Noo{-r3B,x-} a{-aGK-}}
 131                                 {-# L #-}
 132                                 d.Noo_aGY d.Eq_aH0  ::
 133                                               {PrelBase.Eq{-23,p-} b{-aGQ-}}
 134                                           {-# L #-}
 135                                           d.Eq_aH0 ->
 136         let {
 137           d.Boo_aH2  ::
 138               {Boo{-r3o,x-} a{-aGK-}}
 139           {-# L #-}
 140           d.Boo_aH2 =
 141               scsel_NooShouldSucceedBoo{-aKl,x-}
 142                   _@_ a{-aGK-} d.Noo_aGY } in
 143         let {
 144           d.Foo_aGW  ::
 145               {Foo{-r3u,x-} a{-aGK-}}
 146           {-# L #-}
 147           d.Foo_aGW =
 148               scsel_BooShouldSucceedFoo{-aKD,x-}
 149                   _@_ a{-aGK-} d.Boo_aH2 } in
 150         let {
 151           op_aMI  ::
 152               a{-aGK-} -> a{-aGK-}
 153           {-# L #-}
 154           op_aMI =
 155               op{-r3D,x-}
 156                   _@_ a{-aGK-} d.Foo_aGW } in
 157         let {
 158           op2_aMH  ::
 159               _forall_
 160               [b{-aGM-}]
 161               =>
 162               {PrelBase.Eq{-23,p-} b{-aGM-}} -> a{-aGK-} -> b{-aGM-} -> a{-aGK-}
 163           {-# L #-}
 164           op2_aMH =
 165               op2{-r3A,x-}
 166                   _@_ a{-aGK-} d.Noo_aGY } in
 167         let {
 168           op2_aMG  ::
 169               a{-aGK-} -> b{-aGQ-} -> a{-aGK-}
 170           {-# L #-}
 171           op2_aMG =
 172               op2_aMH
 173                   _@_ b{-aGQ-} d.Eq_aH0
 174         } in
 175           \ x_r3j  ::
 176                 a{-aGK-}
 177             {-# L #-}
 178             x_r3j y_r3l  ::
 179                       b{-aGQ-}
 180                   {-# L #-}
 181                   y_r3l ->
 182               let {
 183                 ds_dNv  ::
 184                     a{-aGK-}
 185                 {-# L #-}
 186                 ds_dNv =
 187                     op2_aMG
 188                         x_r3j y_r3l
 189               } in
 190                 op_aMI
 191                     ds_dNv
 192 end Rec }