ghc/tests/stranal/should_compile/default.stderr

   1
   2
   3 ================================================================================
   4 Simplified:
   5 `$d5'  ::  `{PrelBase.Eval (Pair a b)}'
   6 `$d5' =
   7     _/\_ `$x0' `$x1' -> `PrelBase.void'
   8 `$d4'  ::  `{PrelBase.Eval (LList alpha)}'
   9 `$d4' =
  10     _/\_ `$x0' -> `PrelBase.void'
  11 `$d2'  ::  `{PrelBase.Eval (Tree x)}'
  12 `$d2' =
  13     _/\_ `$x0' -> `PrelBase.void'
  14 `$d1'  ::  `{PrelBase.Eval (A a)}'
  15 `$d1' =
  16     _/\_ `$x0' -> `PrelBase.void'
  17 `MkA'  ::  `a -> A a -> A a'
  18 `MkA' =
  19     _/\_ `$x0' -> \ `$x1'  ::  `$x0'
  20                     `$x1' `$x2'  ::  `A $x0'
  21                           `$x2' ->
  22         `MkA' {_@_ `$x0' `$x1' `$x2'}
  23 `MkPair'  ::  `a -> b -> Pair a b'
  24 `MkPair' =
  25     _/\_ `$x0' `$x1' -> \ `$x2'  ::  `$x0'
  26                           `$x2' `$x3'  ::  `$x1'
  27                                 `$x3' ->
  28         `MkPair' {_@_ `$x0' _@_ `$x1' `$x2' `$x3'}
  29 `Leaf'  ::  `x -> Tree x'
  30 `Leaf' =
  31     _/\_ `$x0' -> \ `$x1'  ::  `$x0'
  32                     `$x1' ->
  33         `Leaf' {_@_ `$x0' `$x1'}
  34 `Node'  ::  `Tree x -> Tree x -> Tree x'
  35 `Node' =
  36     _/\_ `$x0' -> \ `$x1'  ::  `Tree $x0'
  37                     `$x1' `$x2'  ::  `Tree $x0'
  38                           `$x2' ->
  39         `Node' {_@_ `$x0' `$x1' `$x2'}
  40 `Zero'  ::  `Nat'
  41 `Zero' =
  42     `Zero' {}
  43 `Succ'  ::  `Nat -> Nat'
  44 `Succ' =
  45     \ `$x0'  ::  `Nat'
  46       `$x0' ->
  47         `Succ' {`$x0'}
  48 `Nill'  ::  `LList alpha'
  49 `Nill' =
  50     _/\_ `$x0' -> `Nill' {_@_ `$x0'}
  51 `Conss'  ::  `alpha -> LList alpha -> LList alpha'
  52 `Conss' =
  53     _/\_ `$x0' -> \ `$x1'  ::  `$x0'
  54                     `$x1' `$x2'  ::  `LList $x0'
  55                           `$x2' ->
  56         `Conss' {_@_ `$x0' `$x1' `$x2'}
  57 Rec {
  58 `append'  ::  `LList taC4 -> LList taC4 -> LList taC4'
  59 `append' =
  60     _/\_ `$x0' -> \ `$x1'  ::  `LList $x0'
  61                     `$x1' `$x2'  ::  `LList $x0'
  62                           `$x2' ->
  63         case `$x1' of {
  64           `Nill' -> `$x2';
  65           `Conss' `$x3' `$x4' ->
  66               let {
  67                 `$x5'  ::  `LList $x0'
  68                 `$x5' =
  69                     `append' _@_ `$x0' `$x4' `$x2'
  70               } in  `Conss' {_@_ `$x0' `$x3' `$x5'};
  71         }
  72 end Rec }
  73 `FF'  ::  `Boolean'
  74 `FF' =
  75     `FF' {}
  76 `TT'  ::  `Boolean'
  77 `TT' =
  78     `TT' {}
  79 `$d6'  ::  `{PrelBase.Eval Boolean}'
  80 `$d6' =
  81     `PrelBase.void'
  82 `$d3'  ::  `{PrelBase.Eval Nat}'
  83 `$d3' =
  84     `PrelBase.void'