ghc/tests/stranal/should_compile/map.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 `fun'  ::  `(taCj -> taCk) -> taCj -> taCk'
  30 `fun' =
  31     _/\_ `$x0' `$x1' -> \ `$x2'  ::  `$x0 -> $x1'
  32                           `$x2' `$x3'  ::  `$x0'
  33                                 `$x3' ->
  34         `$x2' `$x3'
  35 `my_id'  ::  `taCT -> taCT'
  36 `my_id' =
  37     _/\_ `$x0' -> \ `$x1'  ::  `$x0'
  38                     `$x1' ->
  39         `$x1'
  40 `Leaf'  ::  `x -> Tree x'
  41 `Leaf' =
  42     _/\_ `$x0' -> \ `$x1'  ::  `$x0'
  43                     `$x1' ->
  44         `Leaf' {_@_ `$x0' `$x1'}
  45 `Node'  ::  `Tree x -> Tree x -> Tree x'
  46 `Node' =
  47     _/\_ `$x0' -> \ `$x1'  ::  `Tree $x0'
  48                     `$x1' `$x2'  ::  `Tree $x0'
  49                           `$x2' ->
  50         `Node' {_@_ `$x0' `$x1' `$x2'}
  51 `Zero'  ::  `Nat'
  52 `Zero' =
  53     `Zero' {}
  54 `Succ'  ::  `Nat -> Nat'
  55 `Succ' =
  56     \ `$x0'  ::  `Nat'
  57       `$x0' ->
  58         `Succ' {`$x0'}
  59 `Nill'  ::  `LList alpha'
  60 `Nill' =
  61     _/\_ `$x0' -> `Nill' {_@_ `$x0'}
  62 `Conss'  ::  `alpha -> LList alpha -> LList alpha'
  63 `Conss' =
  64     _/\_ `$x0' -> \ `$x1'  ::  `$x0'
  65                     `$x1' `$x2'  ::  `LList $x0'
  66                           `$x2' ->
  67         `Conss' {_@_ `$x0' `$x1' `$x2'}
  68 `FF'  ::  `Boolean'
  69 `FF' =
  70     `FF' {}
  71 `TT'  ::  `Boolean'
  72 `TT' =
  73     `TT' {}
  74 `$d6'  ::  `{PrelBase.Eval Boolean}'
  75 `$d6' =
  76     `PrelBase.void'
  77 `$d3'  ::  `{PrelBase.Eval Nat}'
  78 `$d3' =
  79     `PrelBase.void'
  80 `idNat'  ::  `Nat -> Nat'
  81 `idNat' =
  82     \ `$x0'  ::  `Nat'
  83       `$x0' ->
  84         `$x0'
  85 `idBool'  ::  `Boolean -> Boolean'
  86 `idBool' =
  87     \ `$x0'  ::  `Boolean'
  88       `$x0' ->
  89         `$x0'