ghc/tests/stranal/should_compile/syn.stderr

   1
   2
   3 --================================================================================
   4 Simplified:
   5 `$d2'  ::
   6     `{PrelBase.Eval (M a{-r3H-})}'
   7 `$d2' =
   8     _/\_ `a{-s191-}' ->
   9         `PrelBase.void'
  10 `$d1'  ::
  11     `{PrelBase.Eval (L a{-r3F-})}'
  12 `$d1' =
  13     _/\_ `a{-s192-}' ->
  14         `PrelBase.void'
  15 `A'  ::
  16     `M a{-r3H-}'
  17 `A' =
  18     _/\_ `a{-s18T-}' ->
  19         `A' {_@_ `a{-s18T-}'}
  20 `B'  ::
  21     `a{-r3H-} -> M a{-r3H-} -> M a{-r3H-}'
  22 `B' =
  23     _/\_ `a{-s18U-}' -> \ `tpl'  ::
  24                               `a{-s18U-}'
  25                           `tpl' `tpl'  ::
  26                                     `M a{-s18U-}'
  27                                 `tpl' ->
  28         `B' {_@_ `a{-s18U-}' `tpl' `tpl'}
  29 `N'  ::
  30     `L a{-r3F-}'
  31 `N' =
  32     _/\_ `a{-s18V-}' ->
  33         `N' {_@_ `a{-s18V-}'}
  34 `C'  ::
  35     `a{-r3F-} -> Syn a{-r3F-} -> L a{-r3F-}'
  36 `C' =
  37     _/\_ `a{-s18W-}' -> \ `tpl'  ::
  38                               `a{-s18W-}'
  39                           `tpl' `tpl'  ::
  40                                     `Syn a{-s18W-}'
  41                                 `tpl' ->
  42         `C' {_@_ `a{-s18W-}' `tpl' `tpl'}
  43 Rec {
  44 `idL'  ::
  45     `L (Syn c{-aGI-}) -> L (Syn c{-aGI-})'
  46 `idL' =
  47     _/\_ `c{-s18X-}' -> \ `ds'  ::
  48                               `L (Syn c{-s18X-})'
  49                           `ds' ->
  50         case `ds' of {
  51           `N' ->
  52               `N' {_@_ (`Syn' `c{-s18X-}')};
  53           `C' `x' `l' ->
  54               let {
  55                 `ds'  ::
  56                     `L (Syn c{-s18X-})'
  57                 `ds' =
  58                     `idL'
  59                         _@_ `c{-s18X-}' `l'
  60               } in
  61                 `C' {_@_ (`Syn' `c{-s18X-}') `x' `ds'};
  62         }
  63 end Rec }
  64 Rec {
  65 `idM'  ::
  66     `M (L (Syn x{-aH8-})) -> M (L (Syn x{-aH8-}))'
  67 `idM' =
  68     _/\_ `x{-s18Z-}' -> \ `ds'  ::
  69                               `M (L (Syn x{-s18Z-}))'
  70                           `ds' ->
  71         case `ds' of {
  72           `A' ->
  73               `A' {_@_ (`L' (`Syn' `x{-s18Z-}'))};
  74           `B' `x' `l' ->
  75               let {
  76                 `ds'  ::
  77                     `L (Syn x{-s18Z-})'
  78                 `ds' =
  79                     `idL'
  80                         _@_ `x{-s18Z-}' `x' } in
  81               let {
  82                 `ds'  ::
  83                     `M (L (Syn x{-s18Z-}))'
  84                 `ds' =
  85                     `idM'
  86                         _@_ `x{-s18Z-}' `l'
  87               } in
  88                 `B' {_@_ (`L' (`Syn' `x{-s18Z-}')) `ds' `ds'};
  89         }
  90 end Rec }