ghc/tests/deSugar/should_compile/ds034.stderr

   1
   2
   3 ================================================================================
   4 Desugared:
   5 Rec {
   6 op1{-r3r,x-}  ::
   7     _forall_
   8     [a{-r3p-}]
   9     =>
  10     {Foo{-r3s,x-} a{-r3p-}} -> a{-r3p-} -> a{-r3p-}
  11 {-# L #-}
  12 op1{-r3r,x-} =
  13     _/\_ a{-r3p-} -> \ tpl_B1  ::
  14                            {Foo{-r3s,x-} a{-r3p-}}
  15                        {-# L #-}
  16                        tpl_B1 ->
  17         case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
  18 op2{-r3q,x-}  ::
  19     _forall_
  20     [a{-r3p-}]
  21     =>
  22     {Foo{-r3s,x-} a{-r3p-}} -> a{-r3p-} -> a{-r3p-}
  23 {-# L #-}
  24 op2{-r3q,x-} =
  25     _/\_ a{-r3p-} -> \ tpl_B1  ::
  26                            {Foo{-r3s,x-} a{-r3p-}}
  27                        {-# L #-}
  28                        tpl_B1 ->
  29         case tpl_B1 of { PrelTup.(,){-62,p-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
  30 $mop1{-rn8,x-}  ::
  31     _forall_
  32     [a{-r3p-}]
  33     =>
  34     {Foo{-r3s,x-} a{-r3p-}} -> a{-r3p-} -> a{-r3p-}
  35 {-# L #-}
  36 $mop1{-rn8,x-} =
  37     _/\_ a{-anB-} -> \ d.Foo_anu  ::
  38                            {Foo{-r3s,x-} a{-anB-}}
  39                        {-# L #-}
  40                        d.Foo_anu ->
  41         GHCerr.noDefaultMethodError{-8k,p-}
  42             _@_ (a{-anB-} -> a{-anB-}) _string_ "Class Foo Method op1"
  43 $mop2{-rn7,x-}  ::
  44     _forall_
  45     [a{-r3p-}]
  46     =>
  47     {Foo{-r3s,x-} a{-r3p-}} -> a{-r3p-} -> a{-r3p-}
  48 {-# L #-}
  49 $mop2{-rn7,x-} =
  50     _/\_ a{-anB-} -> \ d.Foo_anE  ::
  51                            {Foo{-r3s,x-} a{-anB-}}
  52                        {-# L #-}
  53                        d.Foo_anE ->
  54         GHCerr.noDefaultMethodError{-8k,p-}
  55             _@_ (a{-anB-} -> a{-anB-}) _string_ "Class Foo Method op2"
  56 op2_aq8  ::
  57     PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-}
  58 {-# L #-}
  59 op2_aq8 =
  60     op2_aqv
  61 op1_aqd  ::
  62     PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-}
  63 {-# L #-}
  64 op1_aqd =
  65     op1_aqm
  66 op1_an6  ::
  67     PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-}
  68 {-# L #-}
  69 op1_an6 =
  70     \ x_r3i  ::
  71           PrelBase.Int{-3g,p-}
  72       {-# L #-}
  73       x_r3i ->
  74         op2_aq8
  75             x_r3i
  76 op1_aqm  ::
  77     PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-}
  78 {-# L #-}
  79 op1_aqm =
  80     op1_an6
  81 op2_anj  ::
  82     PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-}
  83 {-# L #-}
  84 op2_anj =
  85     \ y_r3m  ::
  86           PrelBase.Int{-3g,p-}
  87       {-# L #-}
  88       y_r3m ->
  89         op1_aqd
  90             y_r3m
  91 op2_aqv  ::
  92     PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-}
  93 {-# L #-}
  94 op2_aqv =
  95     op2_anj
  96 d.Foo_an3  ::
  97     {Foo{-r3s,x-} PrelBase.Int{-3g,p-}}
  98 {-# L #-}
  99 d.Foo_an3 =
 100     PrelTup.(,){-62,p-}{i}
 101         {_@_ (PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-})
 102          _@_ (PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-})
 103          op1_aqm
 104          op2_aqv}
 105 $d1{-rqE,x-}  ::
 106     {Foo{-r3s,x-} PrelBase.Int{-3g,p-}}
 107 {-# L #-}
 108 $d1{-rqE,x-} =
 109     d.Foo_an3
 110 end Rec }