ghc/compiler/tests/stranal/ins.stderr

   1
   2
   3 --================================================================================
   4 Simplified:
   5 `$d5'  ::
   6     `{PrelBase.Eval (Pair a{-r4b-} b{-r4c-})}'
   7 `$d5' =
   8     _/\_ `a{-s1NX-}' `b{-s1NY-}' ->
   9         `PrelBase.void'
  10 `$d4'  ::
  11     `{PrelBase.Eval (LList alpha{-r49-})}'
  12 `$d4' =
  13     _/\_ `alpha{-s1NZ-}' ->
  14         `PrelBase.void'
  15 `$d2'  ::
  16     `{PrelBase.Eval (Tree x{-r46-})}'
  17 `$d2' =
  18     _/\_ `x{-s1O0-}' ->
  19         `PrelBase.void'
  20 `$d1'  ::
  21     `{PrelBase.Eval (A a{-r44-})}'
  22 `$d1' =
  23     _/\_ `a{-s1O1-}' ->
  24         `PrelBase.void'
  25 `MkPair'  ::
  26     `a{-r4b-} -> b{-r4c-} -> Pair a{-r4b-} b{-r4c-}'
  27 `MkPair' =
  28     _/\_ `a{-s1NI-}' `b{-s1NJ-}' -> \ `tpl'  ::
  29                                           `a{-s1NI-}'
  30                                       `tpl' `tpl'  ::
  31                                                 `b{-s1NJ-}'
  32                                             `tpl' ->
  33         `MkPair'
  34             {_@_ `a{-s1NI-}' _@_ `b{-s1NJ-}' `tpl' `tpl'}
  35 `MkA'  ::
  36     `a{-r44-} -> A a{-r44-} -> A a{-r44-}'
  37 `MkA' =
  38     _/\_ `a{-s1NK-}' -> \ `tpl'  ::
  39                               `a{-s1NK-}'
  40                           `tpl' `tpl'  ::
  41                                     `A a{-s1NK-}'
  42                                 `tpl' ->
  43         `MkA'
  44             {_@_ `a{-s1NK-}' `tpl' `tpl'}
  45 `FF'  ::
  46     `Boolean'
  47 `FF' =
  48     `FF'
  49         {}
  50 `TT'  ::
  51     `Boolean'
  52 `TT' =
  53     `TT'
  54         {}
  55 `Nill'  ::
  56     `LList alpha{-r49-}'
  57 `Nill' =
  58     _/\_ `alpha{-s1NL-}' ->
  59         `Nill'
  60             {_@_ `alpha{-s1NL-}'}
  61 `Conss'  ::
  62     `alpha{-r49-} -> LList alpha{-r49-} -> LList alpha{-r49-}'
  63 `Conss' =
  64     _/\_ `alpha{-s1NM-}' -> \ `tpl'  ::
  65                                   `alpha{-s1NM-}'
  66                               `tpl' `tpl'  ::
  67                                         `LList alpha{-s1NM-}'
  68                                     `tpl' ->
  69         `Conss'
  70             {_@_ `alpha{-s1NM-}' `tpl' `tpl'}
  71 Rec {
  72 `append'  ::
  73     `LList a{-aHq-} -> LList a{-aHq-} -> LList a{-aHq-}'
  74 `append' =
  75     _/\_ `a{-s1NN-}' -> \ `xs'  ::
  76                               `LList a{-s1NN-}'
  77                           `xs' `ys'  ::
  78                                    `LList a{-s1NN-}'
  79                                `ys' ->
  80         case `xs' of {
  81           `Nill' ->
  82               `ys';
  83           `Conss' `z' `zs' ->
  84               let {
  85                 `ds'  ::
  86                     `LList a{-s1NN-}'
  87                 `ds' =
  88                     `append'
  89                         _@_ `a{-s1NN-}' `zs' `ys'
  90               } in
  91                 `Conss'
  92                     {_@_ `a{-s1NN-}' `z' `ds'};
  93         }
  94 end Rec }
  95 Rec {
  96 `flat'  ::
  97     `Tree (Pair a{-aHT-} b{-aHU-}) -> LList a{-aHT-}'
  98 `flat' =
  99     _/\_ `b{-s1NQ-}' `a{-s1NP-}' -> \ `s'  ::
 100                                           `Tree (Pair a{-s1NP-} b{-s1NQ-})'
 101                                       `s' ->
 102         case `s' of {
 103           `Leaf' `ds' ->
 104               case `ds' of { `MkPair' `a' `b'  ->
 105               let {
 106                 `ds'  ::
 107                     `LList a{-s1NP-}'
 108                 `ds' =
 109                     `Nill'
 110                         {_@_ `a{-s1NP-}'}
 111               } in
 112                 `Conss'
 113                     {_@_ `a{-s1NP-}' `a' `ds'};};
 114           `Node' `l' `r' ->
 115               case
 116                   `flat'
 117                       _@_ `b{-s1NQ-}' _@_ `a{-s1NP-}' `l'
 118               of {
 119               `ds' ->
 120               let {
 121                 `ds'  ::
 122                     `LList a{-s1NP-}'
 123                 `ds' =
 124                     `flat'
 125                         _@_ `b{-s1NQ-}' _@_ `a{-s1NP-}' `r'
 126               } in
 127                 `append'
 128                     _@_ `a{-s1NP-}' `ds' `ds';};
 129         }
 130 end Rec }
 131 `Zero'  ::
 132     `Nat'
 133 `Zero' =
 134     `Zero'
 135         {}
 136 `Succ'  ::
 137     `Nat -> Nat'
 138 `Succ' =
 139     \ `tpl'  ::
 140           `Nat'
 141       `tpl' ->
 142         `Succ'
 143             {`tpl'}
 144 `Leaf'  ::
 145     `x{-r46-} -> Tree x{-r46-}'
 146 `Leaf' =
 147     _/\_ `x{-s1NU-}' -> \ `tpl'  ::
 148                               `x{-s1NU-}'
 149                           `tpl' ->
 150         `Leaf'
 151             {_@_ `x{-s1NU-}' `tpl'}
 152 `Node'  ::
 153     `Tree x{-r46-} -> Tree x{-r46-} -> Tree x{-r46-}'
 154 `Node' =
 155     _/\_ `x{-s1NV-}' -> \ `tpl'  ::
 156                               `Tree x{-s1NV-}'
 157                           `tpl' `tpl'  ::
 158                                     `Tree x{-s1NV-}'
 159                                 `tpl' ->
 160         `Node'
 161             {_@_ `x{-s1NV-}' `tpl' `tpl'}
 162 `$d6'  ::
 163     `{PrelBase.Eval Boolean}'
 164 `$d6' =
 165     `PrelBase.void'
 166 `$d3'  ::
 167     `{PrelBase.Eval Nat}'
 168 `$d3' =
 169     `PrelBase.void'
 170 `s1h2'  ::
 171     `Pair Boolean Nat'
 172 `s1h2' =
 173     `MkPair'
 174         {_@_ `Boolean' _@_ `Nat' `TT' `Zero'}
 175 `s1h7'  ::
 176     `Tree (Pair Boolean Nat)'
 177 `s1h7' =
 178     `Leaf'
 179         {_@_ (`Pair' `Boolean' `Nat') `s1h2'}
 180 `s1l4'  ::
 181     `LList Boolean'
 182 `s1l4' =
 183     `flat'
 184         _@_ `Nat' _@_ `Boolean' `s1h7'
 185 `fl'  ::
 186     `Boolean -> LList Boolean'
 187 `fl' =
 188     \ `x'  ::
 189           `Boolean'
 190       `x' ->
 191         `s1l4'