ghc/tests/stranal/should_compile/unu.stderr

   1
   2
   3 --================================================================================
   4 Simplified:
   5 `$d6'  ::
   6     `{PrelBase.Eval (Pair a{-r3Z-} b{-r40-})}'
   7 `$d6' =
   8     _/\_ `a{-s1oF-}' `b{-s1oG-}' ->
   9         `PrelBase.void'
  10 `$d5'  ::
  11     `{PrelBase.Eval (LList alpha{-r3X-})}'
  12 `$d5' =
  13     _/\_ `alpha{-s1oH-}' ->
  14         `PrelBase.void'
  15 `$d3'  ::
  16     `{PrelBase.Eval (Tree t{-r3U-})}'
  17 `$d3' =
  18     _/\_ `t{-s1oI-}' ->
  19         `PrelBase.void'
  20 `$d2'  ::
  21     `{PrelBase.Eval (A a{-r3S-})}'
  22 `$d2' =
  23     _/\_ `a{-s1oJ-}' ->
  24         `PrelBase.void'
  25 `$d1'  ::
  26     `{PrelBase.Eval (Foo baz{-r3Q-})}'
  27 `$d1' =
  28     _/\_ `baz{-s1oK-}' ->
  29         `PrelBase.void'
  30 `Mkpair'  ::
  31     `a{-r3Z-} -> b{-r40-} -> Pair a{-r3Z-} b{-r40-}'
  32 `Mkpair' =
  33     _/\_ `a{-s1op-}' `b{-s1oq-}' -> \ `tpl'  ::
  34                                           `a{-s1op-}'
  35                                       `tpl' `tpl'  ::
  36                                                 `b{-s1oq-}'
  37                                             `tpl' ->
  38         `Mkpair'
  39             {_@_ `a{-s1op-}' _@_ `b{-s1oq-}' `tpl' `tpl'}
  40 `MkA'  ::
  41     `a{-r3S-} -> A a{-r3S-} -> A a{-r3S-}'
  42 `MkA' =
  43     _/\_ `a{-s1or-}' -> \ `tpl'  ::
  44                               `a{-s1or-}'
  45                           `tpl' `tpl'  ::
  46                                     `A a{-s1or-}'
  47                                 `tpl' ->
  48         `MkA'
  49             {_@_ `a{-s1or-}' `tpl' `tpl'}
  50 `MkFoo'  ::
  51     `Foo (Foo baz{-r3Q-}) -> Foo baz{-r3Q-}'
  52 `MkFoo' =
  53     _/\_ `baz{-s1os-}' -> \ `tpl'  ::
  54                                 `Foo (Foo baz{-s1os-})'
  55                             `tpl' ->
  56         `MkFoo'
  57             {_@_ `baz{-s1os-}' `tpl'}
  58 `FF'  ::
  59     `Boolean'
  60 `FF' =
  61     `FF'
  62         {}
  63 `TT'  ::
  64     `Boolean'
  65 `TT' =
  66     `TT'
  67         {}
  68 `Nill'  ::
  69     `LList alpha{-r3X-}'
  70 `Nill' =
  71     _/\_ `alpha{-s1ot-}' ->
  72         `Nill'
  73             {_@_ `alpha{-s1ot-}'}
  74 `Conss'  ::
  75     `alpha{-r3X-} -> LList alpha{-r3X-} -> LList alpha{-r3X-}'
  76 `Conss' =
  77     _/\_ `alpha{-s1ou-}' -> \ `tpl'  ::
  78                                   `alpha{-s1ou-}'
  79                               `tpl' `tpl'  ::
  80                                         `LList alpha{-s1ou-}'
  81                                     `tpl' ->
  82         `Conss'
  83             {_@_ `alpha{-s1ou-}' `tpl' `tpl'}
  84 Rec {
  85 `app'  ::
  86     `LList a{-aHn-} -> LList a{-aHn-} -> LList a{-aHn-}'
  87 `app' =
  88     _/\_ `a{-s1ov-}' -> \ `ds'  ::
  89                               `LList a{-s1ov-}'
  90                           `ds' `ds'  ::
  91                                    `LList a{-s1ov-}'
  92                                `ds' ->
  93         case `ds' of {
  94           `Conss' `ds' `ds' ->
  95               let {
  96                 `ds'  ::
  97                     `LList a{-s1ov-}'
  98                 `ds' =
  99                     `app'
 100                         _@_ `a{-s1ov-}' `ds' `ds'
 101               } in
 102                 `Conss'
 103                     {_@_ `a{-s1ov-}' `ds' `ds'};
 104           `Nill' ->
 105               case `ds' of {
 106                 `Conss' `ds' `ds' ->
 107                     `Conss'
 108                         {_@_ `a{-s1ov-}' `ds' `ds'};
 109                 `Nill' ->
 110                     `Nill'
 111                         {_@_ `a{-s1ov-}'};
 112               };
 113         }
 114 end Rec }
 115 `Zero'  ::
 116     `Nat'
 117 `Zero' =
 118     `Zero'
 119         {}
 120 `Succ'  ::
 121     `Nat -> Nat'
 122 `Succ' =
 123     \ `tpl'  ::
 124           `Nat'
 125       `tpl' ->
 126         `Succ'
 127             {`tpl'}
 128 `Leaf'  ::
 129     `t{-r3U-} -> Tree t{-r3U-}'
 130 `Leaf' =
 131     _/\_ `t{-s1oB-}' -> \ `tpl'  ::
 132                               `t{-s1oB-}'
 133                           `tpl' ->
 134         `Leaf'
 135             {_@_ `t{-s1oB-}' `tpl'}
 136 `Node'  ::
 137     `Tree t{-r3U-} -> Tree t{-r3U-} -> Tree t{-r3U-}'
 138 `Node' =
 139     _/\_ `t{-s1oE-}' -> \ `tpl'  ::
 140                               `Tree t{-s1oE-}'
 141                           `tpl' `tpl'  ::
 142                                     `Tree t{-s1oE-}'
 143                                 `tpl' ->
 144         `Node'
 145             {_@_ `t{-s1oE-}' `tpl' `tpl'}
 146 `$d7'  ::
 147     `{PrelBase.Eval Boolean}'
 148 `$d7' =
 149     `PrelBase.void'
 150 `$d4'  ::
 151     `{PrelBase.Eval Nat}'
 152 `$d4' =
 153     `PrelBase.void'