ghc/tests/stranal/should_compile/syn.stderr

   1
   2
   3 ================================================================================
   4 Simplified:
   5 `$d2'  ::  `{PrelBase.Eval (M a)}'
   6 `$d2' =
   7     _/\_ `$x0' -> `PrelBase.void'
   8 `$d1'  ::  `{PrelBase.Eval (L a)}'
   9 `$d1' =
  10     _/\_ `$x0' -> `PrelBase.void'
  11 `N'  ::  `L a'
  12 `N' =
  13     _/\_ `$x0' -> `N' {_@_ `$x0'}
  14 `C'  ::  `a -> Syn a -> L a'
  15 `C' =
  16     _/\_ `$x0' -> \ `$x1'  ::  `$x0'
  17                     `$x1' `$x2'  ::  `Syn $x0'
  18                           `$x2' ->
  19         `C' {_@_ `$x0' `$x1' `$x2'}
  20 Rec {
  21 `idL'  ::  `L (Syn taBE) -> L (Syn taBE)'
  22 `idL' =
  23     _/\_ `$x0' -> \ `$x1'  ::  `L (Syn $x0)'
  24                     `$x1' ->
  25         case `$x1' of {
  26           `N' -> `N' {_@_ (`Syn' `$x0')};
  27           `C' `$x2' `$x3' ->
  28               let {
  29                 `$x4'  ::  `L (Syn $x0)'
  30                 `$x4' =
  31                     `idL' _@_ `$x0' `$x3'
  32               } in  `C' {_@_ (`Syn' `$x0') `$x2' `$x4'};
  33         }
  34 end Rec }
  35 `A'  ::  `M a'
  36 `A' =
  37     _/\_ `$x0' -> `A' {_@_ `$x0'}
  38 `B'  ::  `a -> M a -> M a'
  39 `B' =
  40     _/\_ `$x0' -> \ `$x1'  ::  `$x0'
  41                     `$x1' `$x2'  ::  `M $x0'
  42                           `$x2' ->
  43         `B' {_@_ `$x0' `$x1' `$x2'}
  44 Rec {
  45 `idM'  ::  `M (L (Syn taC4)) -> M (L (Syn taC4))'
  46 `idM' =
  47     _/\_ `$x0' -> \ `$x1'  ::  `M (L (Syn $x0))'
  48                     `$x1' ->
  49         case `$x1' of {
  50           `A' -> `A' {_@_ (`L' (`Syn' `$x0'))};
  51           `B' `$x2' `$x3' ->
  52               let {
  53                 `$x4'  ::  `M (L (Syn $x0))'
  54                 `$x4' =
  55                     `idM' _@_ `$x0' `$x3' } in
  56               let {
  57                 `$x5'  ::  `L (Syn $x0)'
  58                 `$x5' =
  59                     `idL' _@_ `$x0' `$x2'
  60               } in  `B' {_@_ (`L' (`Syn' `$x0')) `$x5' `$x4'};
  61         }
  62 end Rec }