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

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

diff --git a/ghc/tests/stranal/should_compile/syn.stderr b/ghc/tests/stranal/should_compile/syn.stderr
index 6300c53..cc51a99 100644 (file)
--- a/ghc/tests/stranal/should_compile/syn.stderr
+++ b/ghc/tests/stranal/should_compile/syn.stderr
@@ -1,90 +1,62 @@
 
 
---================================================================================
+================================================================================
 Simplified:
-`$d2'  :: 
-    `{PrelBase.Eval (M a{-r3H-})}'
+`$d2'  ::  `{PrelBase.Eval (M a)}'
 `$d2' =
-    _/\_ `a{-s191-}' ->
-       `PrelBase.void'
-`$d1'  :: 
-    `{PrelBase.Eval (L a{-r3F-})}'
+    _/\_ `$x0' -> `PrelBase.void'
+`$d1'  ::  `{PrelBase.Eval (L a)}'
 `$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-}'
+    _/\_ `$x0' -> `PrelBase.void'
+`N'  ::  `L a'
 `N' =
-    _/\_ `a{-s18V-}' ->
-       `N' {_@_ `a{-s18V-}'}
-`C'  :: 
-    `a{-r3F-} -> Syn a{-r3F-} -> L a{-r3F-}'
+    _/\_ `$x0' -> `N' {_@_ `$x0'}
+`C'  ::  `a -> Syn a -> L a'
 `C' =
-    _/\_ `a{-s18W-}' -> \ `tpl'  :: 
-                             `a{-s18W-}'
-                         `tpl' `tpl'  :: 
-                                   `Syn a{-s18W-}'
-                               `tpl' ->
-       `C' {_@_ `a{-s18W-}' `tpl' `tpl'}
+    _/\_ `$x0' -> \ `$x1'  ::  `$x0'
+                   `$x1' `$x2'  ::  `Syn $x0'
+                         `$x2' ->
+       `C' {_@_ `$x0' `$x1' `$x2'}
 Rec {
-`idL'  :: 
-    `L (Syn c{-aGI-}) -> L (Syn c{-aGI-})'
+`idL'  ::  `L (Syn taBE) -> L (Syn taBE)'
 `idL' =
-    _/\_ `c{-s18X-}' -> \ `ds'  :: 
-                             `L (Syn c{-s18X-})'
-                         `ds' ->
-       case `ds' of {
-         `N' ->
-             `N' {_@_ (`Syn' `c{-s18X-}')};
-         `C' `x' `l' ->
+    _/\_ `$x0' -> \ `$x1'  ::  `L (Syn $x0)'
+                   `$x1' ->
+       case `$x1' of {
+         `N' -> `N' {_@_ (`Syn' `$x0')};
+         `C' `$x2' `$x3' ->
              let {
-               `ds'  :: 
-                   `L (Syn c{-s18X-})'
-               `ds' =
-                   `idL'
-                       _@_ `c{-s18X-}' `l'
-             } in 
-               `C' {_@_ (`Syn' `c{-s18X-}') `x' `ds'};
+               `$x4'  ::  `L (Syn $x0)'
+               `$x4' =
+                   `idL' _@_ `$x0' `$x3'
+             } in  `C' {_@_ (`Syn' `$x0') `$x2' `$x4'};
        }
 end Rec }
+`A'  ::  `M a'
+`A' =
+    _/\_ `$x0' -> `A' {_@_ `$x0'}
+`B'  ::  `a -> M a -> M a'
+`B' =
+    _/\_ `$x0' -> \ `$x1'  ::  `$x0'
+                   `$x1' `$x2'  ::  `M $x0'
+                         `$x2' ->
+       `B' {_@_ `$x0' `$x1' `$x2'}
 Rec {
-`idM'  :: 
-    `M (L (Syn x{-aH8-})) -> M (L (Syn x{-aH8-}))'
+`idM'  ::  `M (L (Syn taC4)) -> M (L (Syn taC4))'
 `idM' =
-    _/\_ `x{-s18Z-}' -> \ `ds'  :: 
-                             `M (L (Syn x{-s18Z-}))'
-                         `ds' ->
-       case `ds' of {
-         `A' ->
-             `A' {_@_ (`L' (`Syn' `x{-s18Z-}'))};
-         `B' `x' `l' ->
+    _/\_ `$x0' -> \ `$x1'  ::  `M (L (Syn $x0))'
+                   `$x1' ->
+       case `$x1' of {
+         `A' -> `A' {_@_ (`L' (`Syn' `$x0'))};
+         `B' `$x2' `$x3' ->
              let {
-               `ds'  :: 
-                   `L (Syn x{-s18Z-})'
-               `ds' =
-                   `idL'
-                       _@_ `x{-s18Z-}' `x' } in
+               `$x4'  ::  `M (L (Syn $x0))'
+               `$x4' =
+                   `idM' _@_ `$x0' `$x3' } in
              let {
-               `ds'  :: 
-                   `M (L (Syn x{-s18Z-}))'
-               `ds' =
-                   `idM'
-                       _@_ `x{-s18Z-}' `l'
-             } in 
-               `B' {_@_ (`L' (`Syn' `x{-s18Z-}')) `ds' `ds'};
+               `$x5'  ::  `L (Syn $x0)'
+               `$x5' =
+                   `idL' _@_ `$x0' `$x2'
+             } in  `B' {_@_ (`L' (`Syn' `$x0')) `$x5' `$x4'};
        }
 end Rec }