[project @ 1997-09-24 11:08:42 by simonm]

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

diff --git a/ghc/tests/stranal/should_compile/unu.stderr b/ghc/tests/stranal/should_compile/unu.stderr
index a5a8c1c..e69de29 100644 (file)
--- a/ghc/tests/stranal/should_compile/unu.stderr
+++ b/ghc/tests/stranal/should_compile/unu.stderr
@@ -1,96 +0,0 @@
-
-
-================================================================================
-Simplified:
-`$d6'  ::  `{PrelBase.Eval (Pair a b)}'
-`$d6' =
-    _/\_ `$x0' `$x1' -> `PrelBase.void'
-`$d5'  ::  `{PrelBase.Eval (LList alpha)}'
-`$d5' =
-    _/\_ `$x0' -> `PrelBase.void'
-`$d3'  ::  `{PrelBase.Eval (Tree t)}'
-`$d3' =
-    _/\_ `$x0' -> `PrelBase.void'
-`$d2'  ::  `{PrelBase.Eval (A a)}'
-`$d2' =
-    _/\_ `$x0' -> `PrelBase.void'
-`$d1'  ::  `{PrelBase.Eval (Foo baz)}'
-`$d1' =
-    _/\_ `$x0' -> `PrelBase.void'
-`MkFoo'  ::  `Foo (Foo baz) -> Foo baz'
-`MkFoo' =
-    _/\_ `$x0' -> \ `$x1'  ::  `Foo (Foo $x0)'
-                   `$x1' ->
-       `MkFoo' {_@_ `$x0' `$x1'}
-`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'}
-`Leaf'  ::  `t -> Tree t'
-`Leaf' =
-    _/\_ `$x0' -> \ `$x1'  ::  `$x0'
-                   `$x1' ->
-       `Leaf' {_@_ `$x0' `$x1'}
-`Node'  ::  `Tree t -> Tree t -> Tree t'
-`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'}
-Rec {
-`app'  ::  `LList taCh -> LList taCh -> LList taCh'
-`app' =
-    _/\_ `$x0' -> \ `$x1'  ::  `LList $x0'
-                   `$x1' `$x2'  ::  `LList $x0'
-                         `$x2' ->
-       case `$x1' of {
-         `Conss' `$x3' `$x4' ->
-             let {
-               `$x5'  ::  `LList $x0'
-               `$x5' =
-                   `app' _@_ `$x0' `$x4' `$x2'
-             } in  `Conss' {_@_ `$x0' `$x3' `$x5'};
-         `Nill' ->
-             case `$x2' of {
-               `Conss' `$x6' `$x7' -> `Conss' {_@_ `$x0' `$x6' `$x7'};
-               `Nill' -> `Nill' {_@_ `$x0'};
-             };
-       }
-end Rec }
-`FF'  ::  `Boolean'
-`FF' =
-    `FF' {}
-`TT'  ::  `Boolean'
-`TT' =
-    `TT' {}
-`$d7'  ::  `{PrelBase.Eval Boolean}'
-`$d7' =
-    `PrelBase.void'
-`$d4'  ::  `{PrelBase.Eval Nat}'
-`$d4' =
-    `PrelBase.void'