X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Ftests%2Fstranal%2Fshould_compile%2Ffun.stderr;h=df85b425a929a773beb949a21c7cf023116de682;hb=80d19100a3aabd62ece8582332d6b5ea6f66bdf5;hp=e69de29bb2d1d6434b8b29ae775ad8c2e48c5391;hpb=e3f0d880b7b74ed95059a8cddf3edf3e0d2f83c6;p=ghc-hetmet.git

diff --git a/ghc/tests/stranal/should_compile/fun.stderr b/ghc/tests/stranal/should_compile/fun.stderr
index e69de29..df85b42 100644
--- a/ghc/tests/stranal/should_compile/fun.stderr
+++ b/ghc/tests/stranal/should_compile/fun.stderr
@@ -0,0 +1,29 @@
+
+
+================================================================================
+Simplified:
+`$d1'  ::  `{PrelBase.Eval (LList a)}'
+`$d1' =
+    _/\_ `$x0' -> `PrelBase.void'
+`MkFun'  ::  `(Fun -> Fun) -> Fun'
+`MkFun' =
+    \ `$x0'  ::  `Fun -> Fun'
+      `$x0' ->
+	`MkFun' {`$x0'}
+`Nill'  ::  `LList a'
+`Nill' =
+    _/\_ `$x0' -> `Nill' {_@_ `$x0'}
+`Conss'  ::  `a -> LList a -> LList a'
+`Conss' =
+    _/\_ `$x0' -> \ `$x1'  ::  `$x0'
+		    `$x1' `$x2'  ::  `LList $x0'
+			  `$x2' ->
+	`Conss' {_@_ `$x0' `$x1' `$x2'}
+`$d2'  ::  `{PrelBase.Eval Fun}'
+`$d2' =
+    `PrelBase.void'
+`g'  ::  `Fun -> Fun'
+`g' =
+    \ `$x0'  ::  `Fun'
+      `$x0' ->
+	`$x0'