ghc/compiler/tests/simplCore/simpl002.stderr

   1
   2
   3 ================================================================================
   4 Simplified:
   5 nrlit_sMT  ::
   6     [PrelBase.Char{-38,p-}]
   7 {-# L #-}
   8 nrlit_sMT =
   9     PackedString.unpackCString#{-8F,p-}
  10         "xxx"
  11 $d1{-rJ7,x-}  ::
  12     _forall_
  13     [a{-r3g-} b{-r3h-} c{-r3i-}]
  14     =>
  15     {Foo{-r3j,x-} a{-r3g-}}
  16     -> {Foo{-r3j,x-} b{-r3h-}}
  17     -> {Foo{-r3j,x-} c{-r3i-}}
  18     -> {Foo{-r3j,x-} (Wibble{-r3y,x-} a{-r3g-} b{-r3h-} c{-r3i-})}
  19 _A>_ 3 {-# L #-}
  20 $d1{-rJ7,x-} =
  21     _/\_ a{-sMG-} b{-sMH-} c{-sMI-} -> \ d.Foo_sLN  ::
  22                                              {Foo{-r3j,x-} a{-sMG-}}
  23                                          {-# L #-}
  24                                          d.Foo_sLN d.Foo_sLM  ::
  25                                                        {Foo{-r3j,x-} b{-sMH-}}
  26                                                    {-# L #-}
  27                                                    d.Foo_sLM d.Foo_sLL  ::
  28                                                                  {Foo{-r3j,x-} c{-sMI-}}
  29                                                              {-# L #-}
  30                                                              d.Foo_sLL ->
  31         let {
  32           op_sLp  ::
  33               PrelBase.Int{-3g,p-}
  34               -> Wibble{-r3y,x-} a{-sMG-} b{-sMH-} c{-sMI-}
  35               -> PrelBase.Bool{-34,p-}
  36           _A>_ 2 {-# L #-}
  37           op_sLp =
  38               \ x_sLs  ::
  39                     PrelBase.Int{-3g,p-}
  40                 {-# L #-}
  41                 x_sLs y_sLq  ::
  42                           Wibble{-r3y,x-} a{-sMG-} b{-sMH-} c{-sMI-}
  43                       {-# L #-}
  44                       y_sLq ->
  45                   IOBase.error{-87,p-}
  46                       _@_ PrelBase.Bool{-34,p-} nrlit_sMT } in
  47         let {
  48           op_sLO  ::
  49               PrelBase.Int{-3g,p-}
  50               -> Wibble{-r3y,x-} a{-sMG-} b{-sMH-} c{-sMI-}
  51               -> PrelBase.Bool{-34,p-}
  52           _A>_ 2 {-# L #-}
  53           op_sLO =
  54               op_sLp } in
  55         let {
  56           d.Foo_sLP  ::
  57               {Foo{-r3j,x-} (Wibble{-r3y,x-} a{-sMG-} b{-sMH-} c{-sMI-})}
  58           _A>_ 2 {-# L #-}
  59           d.Foo_sLP =
  60               op_sLp
  61         } in
  62           op_sLp
  63 $d2{-rJ2,x-}  ::
  64     _forall_
  65     [a{-r3s-} b{-r3t-} c{-r3u-}]
  66     =>
  67     {PrelBase.Eval{-24,p-} (Wibble{-r3y,x-} a{-r3s-} b{-r3t-} c{-r3u-})}
  68 _A>_ 0 {-# L #-}
  69 $d2{-rJ2,x-} =
  70     _/\_ a{-sMV-} b{-sMW-} c{-sMX-} ->
  71         let {
  72           d.Eval_sM2  ::
  73               {PrelBase.Eval{-24,p-} (Wibble{-r3y,x-} a{-sMV-} b{-sMW-} c{-sMX-})}
  74           {-# L #-}
  75           d.Eval_sM2 =
  76               PrelBase.void{-8G,p-}
  77         } in
  78           PrelBase.void{-8G,p-}
  79 nrlit_sMU  ::
  80     [PrelBase.Char{-38,p-}]
  81 {-# L #-}
  82 nrlit_sMU =
  83     PackedString.unpackCString#{-8F,p-}
  84         "Class Foo Method op"
  85 $mop{-rIV,x-}  ::
  86     _forall_
  87     [a{-r3w-}]
  88     =>
  89     {Foo{-r3j,x-} a{-r3w-}}
  90     -> PrelBase.Int{-3g,p-}
  91     -> a{-r3w-}
  92     -> PrelBase.Bool{-34,p-}
  93 _A>_ 3 {-# L #-}
  94 $mop{-rIV,x-} =
  95     _/\_ a{-sMJ-} -> \ d.Foo_sMg  ::
  96                            {Foo{-r3j,x-} a{-sMJ-}}
  97                        {-# L #-}
  98                        d.Foo_sMg ->
  99         GHCerr.noDefaultMethodError{-8k,p-}
 100             _@_ (PrelBase.Int{-3g,p-} -> a{-sMJ-} -> PrelBase.Bool{-34,p-})
 101             nrlit_sMU
 102 op{-r3z,x-}  ::
 103     _forall_
 104     [a{-r3w-}]
 105     =>
 106     {Foo{-r3j,x-} a{-r3w-}}
 107     -> PrelBase.Int{-3g,p-}
 108     -> a{-r3w-}
 109     -> PrelBase.Bool{-34,p-}
 110 _A>_ 1 {-# L #-}
 111 op{-r3z,x-} =
 112     _/\_ a{-sMK-} -> \ tpl_sMf  ::
 113                            {Foo{-r3j,x-} a{-sMK-}}
 114                        {-# L #-}
 115                        tpl_sMf ->
 116         tpl_sMf
 117 MkWibble{-r3x,x-}{i}  ::
 118     _forall_
 119     [a{-r3s-} b{-r3t-} c{-r3u-}]
 120     =>
 121     a{-r3s-}
 122     -> b{-r3t-}
 123     -> c{-r3u-}
 124     -> Wibble{-r3y,x-} a{-r3s-} b{-r3t-} c{-r3u-}
 125 _A>_ 3 {-# L #-}
 126 MkWibble{-r3x,x-}{i} =
 127     _/\_ a{-sMO-} b{-sMP-} c{-sMQ-} -> \ tpl_sML  ::
 128                                              a{-sMO-}
 129                                          {-# L #-}
 130                                          tpl_sML tpl_sMM  ::
 131                                                      b{-sMP-}
 132                                                  {-# L #-}
 133                                                  tpl_sMM tpl_sMN  ::
 134                                                              c{-sMQ-}
 135                                                          {-# L #-}
 136                                                          tpl_sMN ->
 137         MkWibble{-r3x,x-}{i}
 138             {_@_ a{-sMO-} _@_ b{-sMP-} _@_ c{-sMQ-} tpl_sML tpl_sMM tpl_sMN}