ghc/tests/stranal/should_compile/default.stderr

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