[project @ 1997-05-26 05:47:45 by sof]

New test dump files

12 files changed, 806 insertions, 0 deletions

diff --git a/ghc/compiler/tests/stranal/default.stderr b/ghc/compiler/tests/stranal/default.stderr
new file mode 100644
index 0000000000..1b19558761
--- /dev/null
+++ b/ghc/compiler/tests/stranal/default.stderr
@@ -0,0 +1,133 @@
+
+
+--================================================================================
+Simplified:
+`$d5'  :: 
+    `{PrelBase.Eval (Pair a{-r3U-} b{-r3V-})}'
+`$d5' =
+    _/\_ `a{-s1gp-}' `b{-s1gq-}' ->
+	`PrelBase.void'
+`$d4'  :: 
+    `{PrelBase.Eval (LList alpha{-r3S-})}'
+`$d4' =
+    _/\_ `alpha{-s1gr-}' ->
+	`PrelBase.void'
+`$d2'  :: 
+    `{PrelBase.Eval (Tree x{-r3P-})}'
+`$d2' =
+    _/\_ `x{-s1gs-}' ->
+	`PrelBase.void'
+`$d1'  :: 
+    `{PrelBase.Eval (A a{-r3N-})}'
+`$d1' =
+    _/\_ `a{-s1gt-}' ->
+	`PrelBase.void'
+`MkPair'  :: 
+    `a{-r3U-} -> b{-r3V-} -> Pair a{-r3U-} b{-r3V-}'
+`MkPair' =
+    _/\_ `a{-s1gc-}' `b{-s1gd-}' -> \ `tpl'  :: 
+					  `a{-s1gc-}'
+				      `tpl' `tpl'  :: 
+						`b{-s1gd-}'
+					    `tpl' ->
+	`MkPair'
+	    {_@_ `a{-s1gc-}' _@_ `b{-s1gd-}' `tpl' `tpl'}
+`MkA'  :: 
+    `a{-r3N-} -> A a{-r3N-} -> A a{-r3N-}'
+`MkA' =
+    _/\_ `a{-s1ge-}' -> \ `tpl'  :: 
+			      `a{-s1ge-}'
+			  `tpl' `tpl'  :: 
+				    `A a{-s1ge-}'
+				`tpl' ->
+	`MkA'
+	    {_@_ `a{-s1ge-}' `tpl' `tpl'}
+`FF'  :: 
+    `Boolean'
+`FF' =
+    `FF'
+	{}
+`TT'  :: 
+    `Boolean'
+`TT' =
+    `TT'
+	{}
+`Nill'  :: 
+    `LList alpha{-r3S-}'
+`Nill' =
+    _/\_ `alpha{-s1gf-}' ->
+	`Nill'
+	    {_@_ `alpha{-s1gf-}'}
+`Conss'  :: 
+    `alpha{-r3S-} -> LList alpha{-r3S-} -> LList alpha{-r3S-}'
+`Conss' =
+    _/\_ `alpha{-s1gg-}' -> \ `tpl'  :: 
+				  `alpha{-s1gg-}'
+			      `tpl' `tpl'  :: 
+					`LList alpha{-s1gg-}'
+				    `tpl' ->
+	`Conss'
+	    {_@_ `alpha{-s1gg-}' `tpl' `tpl'}
+Rec {
+`append'  :: 
+    `LList a{-aH9-} -> LList a{-aH9-} -> LList a{-aH9-}'
+`append' =
+    _/\_ `a{-s1gh-}' -> \ `xs'  :: 
+			      `LList a{-s1gh-}'
+			  `xs' `ys'  :: 
+				   `LList a{-s1gh-}'
+			       `ys' ->
+	case `xs' of {
+	  `Nill' ->
+	      `ys';
+	  `Conss' `z' `zs' ->
+	      let {
+		`ds'  :: 
+		    `LList a{-s1gh-}'
+		`ds' =
+		    `append'
+			_@_ `a{-s1gh-}' `zs' `ys'
+	      } in 
+		`Conss'
+		    {_@_ `a{-s1gh-}' `z' `ds'};
+	}
+end Rec }
+`Zero'  :: 
+    `Nat'
+`Zero' =
+    `Zero'
+	{}
+`Succ'  :: 
+    `Nat -> Nat'
+`Succ' =
+    \ `tpl'  :: 
+	  `Nat'
+      `tpl' ->
+	`Succ'
+	    {`tpl'}
+`Leaf'  :: 
+    `x{-r3P-} -> Tree x{-r3P-}'
+`Leaf' =
+    _/\_ `x{-s1gl-}' -> \ `tpl'  :: 
+			      `x{-s1gl-}'
+			  `tpl' ->
+	`Leaf'
+	    {_@_ `x{-s1gl-}' `tpl'}
+`Node'  :: 
+    `Tree x{-r3P-} -> Tree x{-r3P-} -> Tree x{-r3P-}'
+`Node' =
+    _/\_ `x{-s1go-}' -> \ `tpl'  :: 
+			      `Tree x{-s1go-}'
+			  `tpl' `tpl'  :: 
+				    `Tree x{-s1go-}'
+				`tpl' ->
+	`Node'
+	    {_@_ `x{-s1go-}' `tpl' `tpl'}
+`$d6'  :: 
+    `{PrelBase.Eval Boolean}'
+`$d6' =
+    `PrelBase.void'
+`$d3'  :: 
+    `{PrelBase.Eval Nat}'
+`$d3' =
+    `PrelBase.void'
diff --git a/ghc/compiler/tests/stranal/fact.stderr b/ghc/compiler/tests/stranal/fact.stderr
new file mode 100644
index 0000000000..d4f4b0f182
--- /dev/null
+++ b/ghc/compiler/tests/stranal/fact.stderr
@@ -0,0 +1,35 @@
+
+
+--================================================================================
+Simplified:
+Rec {
+`s1BQ'  :: 
+    `GHC.Int# -> PrelBase.Int'
+`s1BQ' =
+    \ `ww'  :: 
+	  `GHC.Int#'
+      `ww' ->
+	case# `ww' of {
+	  0 ->
+	      `PrelBase.I#'
+		  {2};
+	  `s' ->
+	      case
+		  `s1BQ'
+		      `ww'
+	      of {
+	      `PrelBase.I#' `s1tCY'  ->
+	      case# *#! `s1tCY' `ww' of { `s1tDv' ->
+	      `PrelBase.I#'
+		  {`s1tDv'};};};
+	}
+end Rec }
+`fact'  :: 
+    `PrelBase.Int -> PrelBase.Int'
+`fact' =
+    \ `n'  :: 
+	  `PrelBase.Int'
+      `n' ->
+	case `n' of { `PrelBase.I#' `ww'  ->
+	`s1BQ'
+	    `ww';}
diff --git a/ghc/compiler/tests/stranal/fun.stderr b/ghc/compiler/tests/stranal/fun.stderr
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/ghc/compiler/tests/stranal/fun.stderr
diff --git a/ghc/compiler/tests/stranal/goo.stderr b/ghc/compiler/tests/stranal/goo.stderr
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/ghc/compiler/tests/stranal/goo.stderr
diff --git a/ghc/compiler/tests/stranal/ins.stderr b/ghc/compiler/tests/stranal/ins.stderr
new file mode 100644
index 0000000000..641eda7fc0
--- /dev/null
+++ b/ghc/compiler/tests/stranal/ins.stderr
@@ -0,0 +1,191 @@
+
+
+--================================================================================
+Simplified:
+`$d5'  :: 
+    `{PrelBase.Eval (Pair a{-r4b-} b{-r4c-})}'
+`$d5' =
+    _/\_ `a{-s1NX-}' `b{-s1NY-}' ->
+	`PrelBase.void'
+`$d4'  :: 
+    `{PrelBase.Eval (LList alpha{-r49-})}'
+`$d4' =
+    _/\_ `alpha{-s1NZ-}' ->
+	`PrelBase.void'
+`$d2'  :: 
+    `{PrelBase.Eval (Tree x{-r46-})}'
+`$d2' =
+    _/\_ `x{-s1O0-}' ->
+	`PrelBase.void'
+`$d1'  :: 
+    `{PrelBase.Eval (A a{-r44-})}'
+`$d1' =
+    _/\_ `a{-s1O1-}' ->
+	`PrelBase.void'
+`MkPair'  :: 
+    `a{-r4b-} -> b{-r4c-} -> Pair a{-r4b-} b{-r4c-}'
+`MkPair' =
+    _/\_ `a{-s1NI-}' `b{-s1NJ-}' -> \ `tpl'  :: 
+					  `a{-s1NI-}'
+				      `tpl' `tpl'  :: 
+						`b{-s1NJ-}'
+					    `tpl' ->
+	`MkPair'
+	    {_@_ `a{-s1NI-}' _@_ `b{-s1NJ-}' `tpl' `tpl'}
+`MkA'  :: 
+    `a{-r44-} -> A a{-r44-} -> A a{-r44-}'
+`MkA' =
+    _/\_ `a{-s1NK-}' -> \ `tpl'  :: 
+			      `a{-s1NK-}'
+			  `tpl' `tpl'  :: 
+				    `A a{-s1NK-}'
+				`tpl' ->
+	`MkA'
+	    {_@_ `a{-s1NK-}' `tpl' `tpl'}
+`FF'  :: 
+    `Boolean'
+`FF' =
+    `FF'
+	{}
+`TT'  :: 
+    `Boolean'
+`TT' =
+    `TT'
+	{}
+`Nill'  :: 
+    `LList alpha{-r49-}'
+`Nill' =
+    _/\_ `alpha{-s1NL-}' ->
+	`Nill'
+	    {_@_ `alpha{-s1NL-}'}
+`Conss'  :: 
+    `alpha{-r49-} -> LList alpha{-r49-} -> LList alpha{-r49-}'
+`Conss' =
+    _/\_ `alpha{-s1NM-}' -> \ `tpl'  :: 
+				  `alpha{-s1NM-}'
+			      `tpl' `tpl'  :: 
+					`LList alpha{-s1NM-}'
+				    `tpl' ->
+	`Conss'
+	    {_@_ `alpha{-s1NM-}' `tpl' `tpl'}
+Rec {
+`append'  :: 
+    `LList a{-aHq-} -> LList a{-aHq-} -> LList a{-aHq-}'
+`append' =
+    _/\_ `a{-s1NN-}' -> \ `xs'  :: 
+			      `LList a{-s1NN-}'
+			  `xs' `ys'  :: 
+				   `LList a{-s1NN-}'
+			       `ys' ->
+	case `xs' of {
+	  `Nill' ->
+	      `ys';
+	  `Conss' `z' `zs' ->
+	      let {
+		`ds'  :: 
+		    `LList a{-s1NN-}'
+		`ds' =
+		    `append'
+			_@_ `a{-s1NN-}' `zs' `ys'
+	      } in 
+		`Conss'
+		    {_@_ `a{-s1NN-}' `z' `ds'};
+	}
+end Rec }
+Rec {
+`flat'  :: 
+    `Tree (Pair a{-aHT-} b{-aHU-}) -> LList a{-aHT-}'
+`flat' =
+    _/\_ `b{-s1NQ-}' `a{-s1NP-}' -> \ `s'  :: 
+					  `Tree (Pair a{-s1NP-} b{-s1NQ-})'
+				      `s' ->
+	case `s' of {
+	  `Leaf' `ds' ->
+	      case `ds' of { `MkPair' `a' `b'  ->
+	      let {
+		`ds'  :: 
+		    `LList a{-s1NP-}'
+		`ds' =
+		    `Nill'
+			{_@_ `a{-s1NP-}'}
+	      } in 
+		`Conss'
+		    {_@_ `a{-s1NP-}' `a' `ds'};};
+	  `Node' `l' `r' ->
+	      case
+		  `flat'
+		      _@_ `b{-s1NQ-}' _@_ `a{-s1NP-}' `l'
+	      of {
+	      `ds' ->
+	      let {
+		`ds'  :: 
+		    `LList a{-s1NP-}'
+		`ds' =
+		    `flat'
+			_@_ `b{-s1NQ-}' _@_ `a{-s1NP-}' `r'
+	      } in 
+		`append'
+		    _@_ `a{-s1NP-}' `ds' `ds';};
+	}
+end Rec }
+`Zero'  :: 
+    `Nat'
+`Zero' =
+    `Zero'
+	{}
+`Succ'  :: 
+    `Nat -> Nat'
+`Succ' =
+    \ `tpl'  :: 
+	  `Nat'
+      `tpl' ->
+	`Succ'
+	    {`tpl'}
+`Leaf'  :: 
+    `x{-r46-} -> Tree x{-r46-}'
+`Leaf' =
+    _/\_ `x{-s1NU-}' -> \ `tpl'  :: 
+			      `x{-s1NU-}'
+			  `tpl' ->
+	`Leaf'
+	    {_@_ `x{-s1NU-}' `tpl'}
+`Node'  :: 
+    `Tree x{-r46-} -> Tree x{-r46-} -> Tree x{-r46-}'
+`Node' =
+    _/\_ `x{-s1NV-}' -> \ `tpl'  :: 
+			      `Tree x{-s1NV-}'
+			  `tpl' `tpl'  :: 
+				    `Tree x{-s1NV-}'
+				`tpl' ->
+	`Node'
+	    {_@_ `x{-s1NV-}' `tpl' `tpl'}
+`$d6'  :: 
+    `{PrelBase.Eval Boolean}'
+`$d6' =
+    `PrelBase.void'
+`$d3'  :: 
+    `{PrelBase.Eval Nat}'
+`$d3' =
+    `PrelBase.void'
+`s1h2'  :: 
+    `Pair Boolean Nat'
+`s1h2' =
+    `MkPair'
+	{_@_ `Boolean' _@_ `Nat' `TT' `Zero'}
+`s1h7'  :: 
+    `Tree (Pair Boolean Nat)'
+`s1h7' =
+    `Leaf'
+	{_@_ (`Pair' `Boolean' `Nat') `s1h2'}
+`s1l4'  :: 
+    `LList Boolean'
+`s1l4' =
+    `flat'
+	_@_ `Nat' _@_ `Boolean' `s1h7'
+`fl'  :: 
+    `Boolean -> LList Boolean'
+`fl' =
+    \ `x'  :: 
+	  `Boolean'
+      `x' ->
+	`s1l4'
diff --git a/ghc/compiler/tests/stranal/map.stderr b/ghc/compiler/tests/stranal/map.stderr
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/ghc/compiler/tests/stranal/map.stderr
diff --git a/ghc/compiler/tests/stranal/moo.stderr b/ghc/compiler/tests/stranal/moo.stderr
new file mode 100644
index 0000000000..e69de29bb2
--- /dev/null
+++ b/ghc/compiler/tests/stranal/moo.stderr
diff --git a/ghc/compiler/tests/stranal/sim.stderr b/ghc/compiler/tests/stranal/sim.stderr
new file mode 100644
index 0000000000..cd436017eb
--- /dev/null
+++ b/ghc/compiler/tests/stranal/sim.stderr
@@ -0,0 +1,132 @@
+
+
+--================================================================================
+Simplified:
+`$d5'  :: 
+    `{PrelBase.Eval (Pair a{-r3R-} b{-r3S-})}'
+`$d5' =
+    _/\_ `a{-s1g3-}' `b{-s1g4-}' ->
+	`PrelBase.void'
+`$d4'  :: 
+    `{PrelBase.Eval (LList alpha{-r3P-})}'
+`$d4' =
+    _/\_ `alpha{-s1g5-}' ->
+	`PrelBase.void'
+`$d2'  :: 
+    `{PrelBase.Eval (Tree x{-r3M-})}'
+`$d2' =
+    _/\_ `x{-s1g6-}' ->
+	`PrelBase.void'
+`$d1'  :: 
+    `{PrelBase.Eval (A a{-r3K-})}'
+`$d1' =
+    _/\_ `a{-s1g7-}' ->
+	`PrelBase.void'
+`MkPair'  :: 
+    `a{-r3R-} -> b{-r3S-} -> Pair a{-r3R-} b{-r3S-}'
+`MkPair' =
+    _/\_ `a{-s1fQ-}' `b{-s1fR-}' -> \ `tpl'  :: 
+					  `a{-s1fQ-}'
+				      `tpl' `tpl'  :: 
+						`b{-s1fR-}'
+					    `tpl' ->
+	`MkPair'
+	    {_@_ `a{-s1fQ-}' _@_ `b{-s1fR-}' `tpl' `tpl'}
+`MkA'  :: 
+    `a{-r3K-} -> A a{-r3K-} -> A a{-r3K-}'
+`MkA' =
+    _/\_ `a{-s1fS-}' -> \ `tpl'  :: 
+			      `a{-s1fS-}'
+			  `tpl' `tpl'  :: 
+				    `A a{-s1fS-}'
+				`tpl' ->
+	`MkA'
+	    {_@_ `a{-s1fS-}' `tpl' `tpl'}
+`FF'  :: 
+    `Boolean'
+`FF' =
+    `FF'
+	{}
+`TT'  :: 
+    `Boolean'
+`TT' =
+    `TT'
+	{}
+`Nill'  :: 
+    `LList alpha{-r3P-}'
+`Nill' =
+    _/\_ `alpha{-s1fT-}' ->
+	`Nill'
+	    {_@_ `alpha{-s1fT-}'}
+`Conss'  :: 
+    `alpha{-r3P-} -> LList alpha{-r3P-} -> LList alpha{-r3P-}'
+`Conss' =
+    _/\_ `alpha{-s1fU-}' -> \ `tpl'  :: 
+				  `alpha{-s1fU-}'
+			      `tpl' `tpl'  :: 
+					`LList alpha{-s1fU-}'
+				    `tpl' ->
+	`Conss'
+	    {_@_ `alpha{-s1fU-}' `tpl' `tpl'}
+Rec {
+`idl'  :: 
+    `LList a{-aH5-} -> LList a{-aH5-}'
+`idl' =
+    _/\_ `a{-s1fV-}' -> \ `xs'  :: 
+			      `LList a{-s1fV-}'
+			  `xs' ->
+	case `xs' of {
+	  `Nill' ->
+	      `Nill'
+		  {_@_ `a{-s1fV-}'};
+	  `Conss' `y' `ys' ->
+	      let {
+		`ds'  :: 
+		    `LList a{-s1fV-}'
+		`ds' =
+		    `idl'
+			_@_ `a{-s1fV-}' `ys'
+	      } in 
+		`Conss'
+		    {_@_ `a{-s1fV-}' `y' `ds'};
+	}
+end Rec }
+`Zero'  :: 
+    `Nat'
+`Zero' =
+    `Zero'
+	{}
+`Succ'  :: 
+    `Nat -> Nat'
+`Succ' =
+    \ `tpl'  :: 
+	  `Nat'
+      `tpl' ->
+	`Succ'
+	    {`tpl'}
+`Leaf'  :: 
+    `x{-r3M-} -> Tree x{-r3M-}'
+`Leaf' =
+    _/\_ `x{-s1fZ-}' -> \ `tpl'  :: 
+			      `x{-s1fZ-}'
+			  `tpl' ->
+	`Leaf'
+	    {_@_ `x{-s1fZ-}' `tpl'}
+`Node'  :: 
+    `Tree x{-r3M-} -> Tree x{-r3M-} -> Tree x{-r3M-}'
+`Node' =
+    _/\_ `x{-s1g2-}' -> \ `tpl'  :: 
+			      `Tree x{-s1g2-}'
+			  `tpl' `tpl'  :: 
+				    `Tree x{-s1g2-}'
+				`tpl' ->
+	`Node'
+	    {_@_ `x{-s1g2-}' `tpl' `tpl'}
+`$d6'  :: 
+    `{PrelBase.Eval Boolean}'
+`$d6' =
+    `PrelBase.void'
+`$d3'  :: 
+    `{PrelBase.Eval Nat}'
+`$d3' =
+    `PrelBase.void'
diff --git a/ghc/compiler/tests/stranal/syn.stderr b/ghc/compiler/tests/stranal/syn.stderr
new file mode 100644
index 0000000000..6300c53be5
--- /dev/null
+++ b/ghc/compiler/tests/stranal/syn.stderr
@@ -0,0 +1,90 @@
+
+
+--================================================================================
+Simplified:
+`$d2'  :: 
+    `{PrelBase.Eval (M a{-r3H-})}'
+`$d2' =
+    _/\_ `a{-s191-}' ->
+	`PrelBase.void'
+`$d1'  :: 
+    `{PrelBase.Eval (L a{-r3F-})}'
+`$d1' =
+    _/\_ `a{-s192-}' ->
+	`PrelBase.void'
+`A'  :: 
+    `M a{-r3H-}'
+`A' =
+    _/\_ `a{-s18T-}' ->
+	`A' {_@_ `a{-s18T-}'}
+`B'  :: 
+    `a{-r3H-} -> M a{-r3H-} -> M a{-r3H-}'
+`B' =
+    _/\_ `a{-s18U-}' -> \ `tpl'  :: 
+			      `a{-s18U-}'
+			  `tpl' `tpl'  :: 
+				    `M a{-s18U-}'
+				`tpl' ->
+	`B' {_@_ `a{-s18U-}' `tpl' `tpl'}
+`N'  :: 
+    `L a{-r3F-}'
+`N' =
+    _/\_ `a{-s18V-}' ->
+	`N' {_@_ `a{-s18V-}'}
+`C'  :: 
+    `a{-r3F-} -> Syn a{-r3F-} -> L a{-r3F-}'
+`C' =
+    _/\_ `a{-s18W-}' -> \ `tpl'  :: 
+			      `a{-s18W-}'
+			  `tpl' `tpl'  :: 
+				    `Syn a{-s18W-}'
+				`tpl' ->
+	`C' {_@_ `a{-s18W-}' `tpl' `tpl'}
+Rec {
+`idL'  :: 
+    `L (Syn c{-aGI-}) -> L (Syn c{-aGI-})'
+`idL' =
+    _/\_ `c{-s18X-}' -> \ `ds'  :: 
+			      `L (Syn c{-s18X-})'
+			  `ds' ->
+	case `ds' of {
+	  `N' ->
+	      `N' {_@_ (`Syn' `c{-s18X-}')};
+	  `C' `x' `l' ->
+	      let {
+		`ds'  :: 
+		    `L (Syn c{-s18X-})'
+		`ds' =
+		    `idL'
+			_@_ `c{-s18X-}' `l'
+	      } in 
+		`C' {_@_ (`Syn' `c{-s18X-}') `x' `ds'};
+	}
+end Rec }
+Rec {
+`idM'  :: 
+    `M (L (Syn x{-aH8-})) -> M (L (Syn x{-aH8-}))'
+`idM' =
+    _/\_ `x{-s18Z-}' -> \ `ds'  :: 
+			      `M (L (Syn x{-s18Z-}))'
+			  `ds' ->
+	case `ds' of {
+	  `A' ->
+	      `A' {_@_ (`L' (`Syn' `x{-s18Z-}'))};
+	  `B' `x' `l' ->
+	      let {
+		`ds'  :: 
+		    `L (Syn x{-s18Z-})'
+		`ds' =
+		    `idL'
+			_@_ `x{-s18Z-}' `x' } in
+	      let {
+		`ds'  :: 
+		    `M (L (Syn x{-s18Z-}))'
+		`ds' =
+		    `idM'
+			_@_ `x{-s18Z-}' `l'
+	      } in 
+		`B' {_@_ (`L' (`Syn' `x{-s18Z-}')) `ds' `ds'};
+	}
+end Rec }
diff --git a/ghc/compiler/tests/stranal/test.stderr b/ghc/compiler/tests/stranal/test.stderr
new file mode 100644
index 0000000000..6140fc17f6
--- /dev/null
+++ b/ghc/compiler/tests/stranal/test.stderr
@@ -0,0 +1,53 @@
+
+
+--================================================================================
+Simplified:
+`$d2'  :: 
+    `{PrelBase.Eval (LList t{-r3s-})}'
+`$d2' =
+    _/\_ `t{-sUf-}' ->
+	`PrelBase.void'
+`Nill'  :: 
+    `LList t{-r3s-}'
+`Nill' =
+    _/\_ `t{-sUc-}' ->
+	`Nill'
+	    {_@_ `t{-sUc-}'}
+`Conss'  :: 
+    `t{-r3s-} -> LList t{-r3s-} -> LList t{-r3s-}'
+`Conss' =
+    _/\_ `t{-sUd-}' -> \ `tpl'  :: 
+			     `t{-sUd-}'
+			 `tpl' `tpl'  :: 
+				   `LList t{-sUd-}'
+			       `tpl' ->
+	`Conss'
+	    {_@_ `t{-sUd-}' `tpl' `tpl'}
+`TTrue'  :: 
+    `BBool'
+`TTrue' =
+    `TTrue'
+	{}
+`FFalse'  :: 
+    `BBool'
+`FFalse' =
+    `FFalse'
+	{}
+`f'  :: 
+    `LList t{-aGi-} -> BBool'
+`f' =
+    _/\_ `t{-sUe-}' -> \ `ds'  :: 
+			     `LList t{-sUe-}'
+			 `ds' ->
+	case `ds' of {
+	  `Nill' ->
+	      `TTrue'
+		  {};
+	  `Conss' `a' `as' ->
+	      `FFalse'
+		  {};
+	}
+`$d1'  :: 
+    `{PrelBase.Eval BBool}'
+`$d1' =
+    `PrelBase.void'
diff --git a/ghc/compiler/tests/stranal/tst.stderr b/ghc/compiler/tests/stranal/tst.stderr
new file mode 100644
index 0000000000..7461d704f4
--- /dev/null
+++ b/ghc/compiler/tests/stranal/tst.stderr
@@ -0,0 +1,19 @@
+
+
+--================================================================================
+Simplified:
+`a'  :: 
+    `[a{-amL-}] -> [[a{-amL-}]]'
+`a' =
+    _/\_ `a{-srv-}' -> \ `s'  :: 
+			     `[a{-srv-}]'
+			 `s' ->
+	let {
+	  `ds'  :: 
+	      `[[a{-srv-}]]'
+	  `ds' =
+	      `PrelBase.[]'
+		  {_@_ [`a{-srv-}']}
+	} in 
+	  `PrelBase.:'
+	      {_@_ [`a{-srv-}'] `s' `ds'}
diff --git a/ghc/compiler/tests/stranal/unu.stderr b/ghc/compiler/tests/stranal/unu.stderr
new file mode 100644
index 0000000000..6e8d06ff5e
--- /dev/null
+++ b/ghc/compiler/tests/stranal/unu.stderr
@@ -0,0 +1,153 @@
+
+
+--================================================================================
+Simplified:
+`$d6'  :: 
+    `{PrelBase.Eval (Pair a{-r3Z-} b{-r40-})}'
+`$d6' =
+    _/\_ `a{-s1oF-}' `b{-s1oG-}' ->
+	`PrelBase.void'
+`$d5'  :: 
+    `{PrelBase.Eval (LList alpha{-r3X-})}'
+`$d5' =
+    _/\_ `alpha{-s1oH-}' ->
+	`PrelBase.void'
+`$d3'  :: 
+    `{PrelBase.Eval (Tree t{-r3U-})}'
+`$d3' =
+    _/\_ `t{-s1oI-}' ->
+	`PrelBase.void'
+`$d2'  :: 
+    `{PrelBase.Eval (A a{-r3S-})}'
+`$d2' =
+    _/\_ `a{-s1oJ-}' ->
+	`PrelBase.void'
+`$d1'  :: 
+    `{PrelBase.Eval (Foo baz{-r3Q-})}'
+`$d1' =
+    _/\_ `baz{-s1oK-}' ->
+	`PrelBase.void'
+`Mkpair'  :: 
+    `a{-r3Z-} -> b{-r40-} -> Pair a{-r3Z-} b{-r40-}'
+`Mkpair' =
+    _/\_ `a{-s1op-}' `b{-s1oq-}' -> \ `tpl'  :: 
+					  `a{-s1op-}'
+				      `tpl' `tpl'  :: 
+						`b{-s1oq-}'
+					    `tpl' ->
+	`Mkpair'
+	    {_@_ `a{-s1op-}' _@_ `b{-s1oq-}' `tpl' `tpl'}
+`MkA'  :: 
+    `a{-r3S-} -> A a{-r3S-} -> A a{-r3S-}'
+`MkA' =
+    _/\_ `a{-s1or-}' -> \ `tpl'  :: 
+			      `a{-s1or-}'
+			  `tpl' `tpl'  :: 
+				    `A a{-s1or-}'
+				`tpl' ->
+	`MkA'
+	    {_@_ `a{-s1or-}' `tpl' `tpl'}
+`MkFoo'  :: 
+    `Foo (Foo baz{-r3Q-}) -> Foo baz{-r3Q-}'
+`MkFoo' =
+    _/\_ `baz{-s1os-}' -> \ `tpl'  :: 
+				`Foo (Foo baz{-s1os-})'
+			    `tpl' ->
+	`MkFoo'
+	    {_@_ `baz{-s1os-}' `tpl'}
+`FF'  :: 
+    `Boolean'
+`FF' =
+    `FF'
+	{}
+`TT'  :: 
+    `Boolean'
+`TT' =
+    `TT'
+	{}
+`Nill'  :: 
+    `LList alpha{-r3X-}'
+`Nill' =
+    _/\_ `alpha{-s1ot-}' ->
+	`Nill'
+	    {_@_ `alpha{-s1ot-}'}
+`Conss'  :: 
+    `alpha{-r3X-} -> LList alpha{-r3X-} -> LList alpha{-r3X-}'
+`Conss' =
+    _/\_ `alpha{-s1ou-}' -> \ `tpl'  :: 
+				  `alpha{-s1ou-}'
+			      `tpl' `tpl'  :: 
+					`LList alpha{-s1ou-}'
+				    `tpl' ->
+	`Conss'
+	    {_@_ `alpha{-s1ou-}' `tpl' `tpl'}
+Rec {
+`app'  :: 
+    `LList a{-aHn-} -> LList a{-aHn-} -> LList a{-aHn-}'
+`app' =
+    _/\_ `a{-s1ov-}' -> \ `ds'  :: 
+			      `LList a{-s1ov-}'
+			  `ds' `ds'  :: 
+				   `LList a{-s1ov-}'
+			       `ds' ->
+	case `ds' of {
+	  `Conss' `ds' `ds' ->
+	      let {
+		`ds'  :: 
+		    `LList a{-s1ov-}'
+		`ds' =
+		    `app'
+			_@_ `a{-s1ov-}' `ds' `ds'
+	      } in 
+		`Conss'
+		    {_@_ `a{-s1ov-}' `ds' `ds'};
+	  `Nill' ->
+	      case `ds' of {
+		`Conss' `ds' `ds' ->
+		    `Conss'
+			{_@_ `a{-s1ov-}' `ds' `ds'};
+		`Nill' ->
+		    `Nill'
+			{_@_ `a{-s1ov-}'};
+	      };
+	}
+end Rec }
+`Zero'  :: 
+    `Nat'
+`Zero' =
+    `Zero'
+	{}
+`Succ'  :: 
+    `Nat -> Nat'
+`Succ' =
+    \ `tpl'  :: 
+	  `Nat'
+      `tpl' ->
+	`Succ'
+	    {`tpl'}
+`Leaf'  :: 
+    `t{-r3U-} -> Tree t{-r3U-}'
+`Leaf' =
+    _/\_ `t{-s1oB-}' -> \ `tpl'  :: 
+			      `t{-s1oB-}'
+			  `tpl' ->
+	`Leaf'
+	    {_@_ `t{-s1oB-}' `tpl'}
+`Node'  :: 
+    `Tree t{-r3U-} -> Tree t{-r3U-} -> Tree t{-r3U-}'
+`Node' =
+    _/\_ `t{-s1oE-}' -> \ `tpl'  :: 
+			      `Tree t{-s1oE-}'
+			  `tpl' `tpl'  :: 
+				    `Tree t{-s1oE-}'
+				`tpl' ->
+	`Node'
+	    {_@_ `t{-s1oE-}' `tpl' `tpl'}
+`$d7'  :: 
+    `{PrelBase.Eval Boolean}'
+`$d7' =
+    `PrelBase.void'
+`$d4'  :: 
+    `{PrelBase.Eval Nat}'
+`$d4' =
+    `PrelBase.void'