ghc/compiler/tests/stranal/sim.stderr

   1
   2
   3 --================================================================================
   4 Simplified:
   5 `$d5'  ::
   6     `{PrelBase.Eval (Pair a{-r3R-} b{-r3S-})}'
   7 `$d5' =
   8     _/\_ `a{-s1g3-}' `b{-s1g4-}' ->
   9         `PrelBase.void'
  10 `$d4'  ::
  11     `{PrelBase.Eval (LList alpha{-r3P-})}'
  12 `$d4' =
  13     _/\_ `alpha{-s1g5-}' ->
  14         `PrelBase.void'
  15 `$d2'  ::
  16     `{PrelBase.Eval (Tree x{-r3M-})}'
  17 `$d2' =
  18     _/\_ `x{-s1g6-}' ->
  19         `PrelBase.void'
  20 `$d1'  ::
  21     `{PrelBase.Eval (A a{-r3K-})}'
  22 `$d1' =
  23     _/\_ `a{-s1g7-}' ->
  24         `PrelBase.void'
  25 `MkPair'  ::
  26     `a{-r3R-} -> b{-r3S-} -> Pair a{-r3R-} b{-r3S-}'
  27 `MkPair' =
  28     _/\_ `a{-s1fQ-}' `b{-s1fR-}' -> \ `tpl'  ::
  29                                           `a{-s1fQ-}'
  30                                       `tpl' `tpl'  ::
  31                                                 `b{-s1fR-}'
  32                                             `tpl' ->
  33         `MkPair'
  34             {_@_ `a{-s1fQ-}' _@_ `b{-s1fR-}' `tpl' `tpl'}
  35 `MkA'  ::
  36     `a{-r3K-} -> A a{-r3K-} -> A a{-r3K-}'
  37 `MkA' =
  38     _/\_ `a{-s1fS-}' -> \ `tpl'  ::
  39                               `a{-s1fS-}'
  40                           `tpl' `tpl'  ::
  41                                     `A a{-s1fS-}'
  42                                 `tpl' ->
  43         `MkA'
  44             {_@_ `a{-s1fS-}' `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{-r3P-}'
  57 `Nill' =
  58     _/\_ `alpha{-s1fT-}' ->
  59         `Nill'
  60             {_@_ `alpha{-s1fT-}'}
  61 `Conss'  ::
  62     `alpha{-r3P-} -> LList alpha{-r3P-} -> LList alpha{-r3P-}'
  63 `Conss' =
  64     _/\_ `alpha{-s1fU-}' -> \ `tpl'  ::
  65                                   `alpha{-s1fU-}'
  66                               `tpl' `tpl'  ::
  67                                         `LList alpha{-s1fU-}'
  68                                     `tpl' ->
  69         `Conss'
  70             {_@_ `alpha{-s1fU-}' `tpl' `tpl'}
  71 Rec {
  72 `idl'  ::
  73     `LList a{-aH5-} -> LList a{-aH5-}'
  74 `idl' =
  75     _/\_ `a{-s1fV-}' -> \ `xs'  ::
  76                               `LList a{-s1fV-}'
  77                           `xs' ->
  78         case `xs' of {
  79           `Nill' ->
  80               `Nill'
  81                   {_@_ `a{-s1fV-}'};
  82           `Conss' `y' `ys' ->
  83               let {
  84                 `ds'  ::
  85                     `LList a{-s1fV-}'
  86                 `ds' =
  87                     `idl'
  88                         _@_ `a{-s1fV-}' `ys'
  89               } in
  90                 `Conss'
  91                     {_@_ `a{-s1fV-}' `y' `ds'};
  92         }
  93 end Rec }
  94 `Zero'  ::
  95     `Nat'
  96 `Zero' =
  97     `Zero'
  98         {}
  99 `Succ'  ::
 100     `Nat -> Nat'
 101 `Succ' =
 102     \ `tpl'  ::
 103           `Nat'
 104       `tpl' ->
 105         `Succ'
 106             {`tpl'}
 107 `Leaf'  ::
 108     `x{-r3M-} -> Tree x{-r3M-}'
 109 `Leaf' =
 110     _/\_ `x{-s1fZ-}' -> \ `tpl'  ::
 111                               `x{-s1fZ-}'
 112                           `tpl' ->
 113         `Leaf'
 114             {_@_ `x{-s1fZ-}' `tpl'}
 115 `Node'  ::
 116     `Tree x{-r3M-} -> Tree x{-r3M-} -> Tree x{-r3M-}'
 117 `Node' =
 118     _/\_ `x{-s1g2-}' -> \ `tpl'  ::
 119                               `Tree x{-s1g2-}'
 120                           `tpl' `tpl'  ::
 121                                     `Tree x{-s1g2-}'
 122                                 `tpl' ->
 123         `Node'
 124             {_@_ `x{-s1g2-}' `tpl' `tpl'}
 125 `$d6'  ::
 126     `{PrelBase.Eval Boolean}'
 127 `$d6' =
 128     `PrelBase.void'
 129 `$d3'  ::
 130     `{PrelBase.Eval Nat}'
 131 `$d3' =
 132     `PrelBase.void'