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

[ghc-hetmet.git] / ghc / tests / deSugar / should_compile / ds004.stderr

diff --git a/ghc/tests/deSugar/should_compile/ds004.stderr b/ghc/tests/deSugar/should_compile/ds004.stderr
index 342da36..3f3a8fa 100644 (file)
--- a/ghc/tests/deSugar/should_compile/ds004.stderr
+++ b/ghc/tests/deSugar/should_compile/ds004.stderr
@@ -6,101 +6,73 @@ ds004.hs:6:
 ================================================================================
 Desugared:
 Rec {
-nodups{-r3j,x-}  :: 
-    _forall_
-    [t{-aGj-}]
-    =>
-    {PrelBase.Eq{-23,p-} t{-aGj-}} -> [t{-aGj-}] -> [t{-aGj-}]
+nodups{-r3j,x-}  ::  _forall_
+                    [taBn]
+                    =>
+                    {PrelBase.Eq{-23,p-} taBn} -> [taBn] -> [taBn]
 {-# L #-}
 nodups{-r3j,x-} =
-    _/\_ t{-aGj-} -> \ d.Eq_aGz  :: 
-                          {PrelBase.Eq{-23,p-} t{-aGj-}}
-                      {-# L #-}
-                      d.Eq_aGz ->
+    _/\_ taBn -> \ d.Eq_aBp  ::  {PrelBase.Eq{-23,p-} taBn}
+                  {-# L #-}
+                  d.Eq_aBp ->
        _letrec_ {
-         ==_aJI  :: 
-             t{-aGj-} -> t{-aGj-} -> PrelBase.Bool{-34,p-}
+         ==_aEE  ::  taBn -> taBn -> PrelBase.Bool{-34,W-}
          {-# L #-}
-         ==_aJI =
-             PrelBase.=={-8Y,p-}
-                 _@_ t{-aGj-} d.Eq_aGz;
-         nodups_aG4  :: 
-             [t{-aGj-}] -> [t{-aGj-}]
+         ==_aEE =
+             PrelBase.=={-8Y,p-} _@_ taBn d.Eq_aBp;
+         nodups_aAN  ::  [taBn] -> [taBn]
          {-# L #-}
-         nodups_aG4 =
-             \ ds_dK8  :: 
-                   [t{-aGj-}]
+         nodups_aAN =
+             \ ds_dF4  ::  [taBn]
                {-# L #-}
-               ds_dK8 ->
+               ds_dF4 ->
                  let {
-                   fail_dK9  :: 
-                       [t{-aGj-}]
+                   fail_dF5  ::  [taBn]
                    {-# L #-}
-                   fail_dK9 =
-                       GHCerr.patError{-8r,p-}
-                           _@_ [t{-aGj-}] _string_ "ds004.hs:6|function `nodups'"
+                   fail_dF5 =
+                       GHCerr.patError{-8r,w-}
+                           _@_ [taBn] _string_ "ds004.hs:6|function `nodups'"
                  } in 
-                   case ds_dK8 of {
-                     PrelBase.[]{-5i,p-}{i} ->
-                         PrelBase.[]{-5i,p-}{i}
-                             _@_ t{-aGj-};
-                     PrelBase.:{-55,p-}{i} x_r3e ds_dKq ->
-                         case ds_dKq of {
-                           PrelBase.[]{-5i,p-}{i} ->
+                   case ds_dF4 of {
+                     PrelBase.[]{-5i,w-}{i} -> PrelBase.[]{-5i,w-}{i} _@_ taBn;
+                     PrelBase.:{-55,w-}{i} x_r3e ds_dFm ->
+                         case ds_dFm of {
+                           PrelBase.[]{-5i,w-}{i} ->
                                let {
-                                 ds_dKG  :: 
-                                     [t{-aGj-}]
+                                 ds_dFC  ::  [taBn]
                                  {-# L #-}
-                                 ds_dKG =
-                                     PrelBase.[]{-5i,p-}{i}
-                                         {_@_ t{-aGj-}}
-                               } in 
-                                 PrelBase.:{-55,p-}{i}
-                                     {_@_ t{-aGj-} x_r3e ds_dKG};
-                           PrelBase.:{-55,p-}{i} x_r3h xs_r3i ->
+                                 ds_dFC =
+                                     PrelBase.[]{-5i,w-}{i} {_@_ taBn}
+                               } in  PrelBase.:{-55,w-}{i} {_@_ taBn x_r3e ds_dFC};
+                           PrelBase.:{-55,w-}{i} x_r3h xs_r3i ->
                                let {
-                                 y_r3g  :: 
-                                     t{-aGj-}
+                                 y_r3g  ::  taBn
                                  {-# L #-}
                                  y_r3g =
                                      x_r3e
                                } in 
-                                 case
-                                     ==_aJI
-                                         y_r3g x_r3h
-                                 of {
-                                   PrelBase.True{-5E,p-}{i} ->
+                                 case ==_aEE y_r3g x_r3h of {
+                                   PrelBase.True{-5E,w-}{i} ->
                                        let {
-                                         ds_dLd  :: 
-                                             [t{-aGj-}]
+                                         ds_dG9  ::  [taBn]
                                          {-# L #-}
-                                         ds_dLd =
-                                             PrelBase.:{-55,p-}{i}
-                                                 _@_ t{-aGj-} x_r3h xs_r3i
-                                       } in 
-                                         nodups_aG4
-                                             ds_dLd;
-                                   PrelBase.False{-58,p-}{i} ->
-                                       let { ds_dLF  :: 
-                                                 [t{-aGj-}]
+                                         ds_dG9 =
+                                             PrelBase.:{-55,w-}{i} _@_ taBn x_r3h xs_r3i
+                                       } in  nodups_aAN ds_dG9;
+                                   PrelBase.False{-58,w-}{i} ->
+                                       let { ds_dGB  ::  [taBn]
                                              {-# L #-}
-                                             ds_dLF =
+                                             ds_dGB =
                                          let {
-                                           ds_dLN  :: 
-                                               [t{-aGj-}]
+                                           ds_dGJ  ::  [taBn]
                                            {-# L #-}
-                                           ds_dLN =
-                                               PrelBase.:{-55,p-}{i}
-                                                   _@_ t{-aGj-} x_r3h xs_r3i
-                                         } in 
-                                           nodups_aG4
-                                               ds_dLN
+                                           ds_dGJ =
+                                               PrelBase.:{-55,w-}{i} _@_ taBn x_r3h xs_r3i
+                                         } in  nodups_aAN ds_dGJ
                                        } in
-                                       PrelBase.:{-55,p-}{i}
-                                           _@_ t{-aGj-} y_r3g ds_dLF;
+                                       PrelBase.:{-55,w-}{i} _@_ taBn y_r3g ds_dGB;
                                  };
                          };
                    };
-       } in 
-         nodups_aG4
+       } in  nodups_aAN
 end Rec }