[project @ 1997-09-05 14:11:05 by simonm]

[ghc-hetmet.git] / ghc / tests / stranal / should_compile / map.stderr

diff --git a/ghc/tests/stranal/should_compile/map.stderr b/ghc/tests/stranal/should_compile/map.stderr
index e69de29..92701e8 100644 (file)
--- a/ghc/tests/stranal/should_compile/map.stderr
+++ b/ghc/tests/stranal/should_compile/map.stderr
@@ -0,0 +1,89 @@
+
+
+================================================================================
+Simplified:
+`$d5'  ::  `{PrelBase.Eval (Pair a b)}'
+`$d5' =
+    _/\_ `$x0' `$x1' -> `PrelBase.void'
+`$d4'  ::  `{PrelBase.Eval (LList alpha)}'
+`$d4' =
+    _/\_ `$x0' -> `PrelBase.void'
+`$d2'  ::  `{PrelBase.Eval (Tree x)}'
+`$d2' =
+    _/\_ `$x0' -> `PrelBase.void'
+`$d1'  ::  `{PrelBase.Eval (A a)}'
+`$d1' =
+    _/\_ `$x0' -> `PrelBase.void'
+`MkA'  ::  `a -> A a -> A a'
+`MkA' =
+    _/\_ `$x0' -> \ `$x1'  ::  `$x0'
+                   `$x1' `$x2'  ::  `A $x0'
+                         `$x2' ->
+       `MkA' {_@_ `$x0' `$x1' `$x2'}
+`MkPair'  ::  `a -> b -> Pair a b'
+`MkPair' =
+    _/\_ `$x0' `$x1' -> \ `$x2'  ::  `$x0'
+                         `$x2' `$x3'  ::  `$x1'
+                               `$x3' ->
+       `MkPair' {_@_ `$x0' _@_ `$x1' `$x2' `$x3'}
+`fun'  ::  `(taCj -> taCk) -> taCj -> taCk'
+`fun' =
+    _/\_ `$x0' `$x1' -> \ `$x2'  ::  `$x0 -> $x1'
+                         `$x2' `$x3'  ::  `$x0'
+                               `$x3' ->
+       `$x2' `$x3'
+`my_id'  ::  `taCT -> taCT'
+`my_id' =
+    _/\_ `$x0' -> \ `$x1'  ::  `$x0'
+                   `$x1' ->
+       `$x1'
+`Leaf'  ::  `x -> Tree x'
+`Leaf' =
+    _/\_ `$x0' -> \ `$x1'  ::  `$x0'
+                   `$x1' ->
+       `Leaf' {_@_ `$x0' `$x1'}
+`Node'  ::  `Tree x -> Tree x -> Tree x'
+`Node' =
+    _/\_ `$x0' -> \ `$x1'  ::  `Tree $x0'
+                   `$x1' `$x2'  ::  `Tree $x0'
+                         `$x2' ->
+       `Node' {_@_ `$x0' `$x1' `$x2'}
+`Zero'  ::  `Nat'
+`Zero' =
+    `Zero' {}
+`Succ'  ::  `Nat -> Nat'
+`Succ' =
+    \ `$x0'  ::  `Nat'
+      `$x0' ->
+       `Succ' {`$x0'}
+`Nill'  ::  `LList alpha'
+`Nill' =
+    _/\_ `$x0' -> `Nill' {_@_ `$x0'}
+`Conss'  ::  `alpha -> LList alpha -> LList alpha'
+`Conss' =
+    _/\_ `$x0' -> \ `$x1'  ::  `$x0'
+                   `$x1' `$x2'  ::  `LList $x0'
+                         `$x2' ->
+       `Conss' {_@_ `$x0' `$x1' `$x2'}
+`FF'  ::  `Boolean'
+`FF' =
+    `FF' {}
+`TT'  ::  `Boolean'
+`TT' =
+    `TT' {}
+`$d6'  ::  `{PrelBase.Eval Boolean}'
+`$d6' =
+    `PrelBase.void'
+`$d3'  ::  `{PrelBase.Eval Nat}'
+`$d3' =
+    `PrelBase.void'
+`idNat'  ::  `Nat -> Nat'
+`idNat' =
+    \ `$x0'  ::  `Nat'
+      `$x0' ->
+       `$x0'
+`idBool'  ::  `Boolean -> Boolean'
+`idBool' =
+    \ `$x0'  ::  `Boolean'
+      `$x0' ->
+       `$x0'