ghc/tests/stranal/should_compile/unu.stderr

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