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

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

diff --git a/ghc/tests/deSugar/should_compile/ds023.stderr b/ghc/tests/deSugar/should_compile/ds023.stderr
index 51a7d0a..955d1e1 100644 (file)
--- a/ghc/tests/deSugar/should_compile/ds023.stderr
+++ b/ghc/tests/deSugar/should_compile/ds023.stderr
@@ -1,102 +1,2 @@
 
-
-================================================================================
-Desugared:
-Rec {
-ds_dEJ  ::  _forall_
-           [taC5 taCc]
-           =>
-           {PrelBase.Num{-2c,p-} taCc}
-           -> {PrelBase.Eq{-23,p-} taC5}
-           -> (taC5 -> taCc, PrelBase.Bool{-34,W-} -> taC5 -> taCc)
-{-# L #-}
-ds_dEJ =
-    _/\_ taC5 taCc -> \ d.Num_aCh  ::  {PrelBase.Num{-2c,p-} taCc}
-                       {-# L #-}
-                       d.Num_aCh d.Eq_aCf  ::  {PrelBase.Eq{-23,p-} taC5}
-                                 {-# L #-}
-                                 d.Eq_aCf ->
-       _letrec_ {
-         ==_aEY  ::  taC5 -> taC5 -> PrelBase.Bool{-34,W-}
-         {-# L #-}
-         ==_aEY =
-             PrelBase.=={-8Y,p-} _@_ taC5 d.Eq_aCf;
-         abs_aF5  ::  taCc -> taCc
-         {-# L #-}
-         abs_aF5 =
-             PrelBase.abs{-r3i,p-} _@_ taCc d.Num_aCh;
-         f_aBP  ::  taC5 -> taCc
-         {-# L #-}
-         f_aBP =
-             \ x_r3e  ::  taC5
-               {-# L #-}
-               x_r3e ->
-                 (let {
-                    ds_dFM  ::  PrelBase.Bool{-34,W-}
-                    {-# L #-}
-                    ds_dFM =
-                        ==_aEY x_r3e x_r3e
-                  } in  g_aBQ ds_dFM)
-                     x_r3e;
-         g_aBQ  ::  PrelBase.Bool{-34,W-} -> taC5 -> taCc
-         {-# L #-}
-         g_aBQ =
-             \ b_r3g  ::  PrelBase.Bool{-34,W-}
-               {-# L #-}
-               b_r3g x_r3h  ::  taC5
-                     {-# L #-}
-                     x_r3h ->
-                 let {
-                   ds_dG6  ::  taCc
-                   {-# L #-}
-                   ds_dG6 =
-                       f_aBP x_r3h
-                 } in  abs_aF5 ds_dG6;
-       } in 
-         PrelTup.(,){-62,w-}{i}
-             {_@_ (taC5 -> taCc)
-              _@_ (PrelBase.Bool{-34,W-} -> taC5 -> taCc)
-              f_aBP
-              g_aBQ}
-f{-r3k,x-}  ::  _forall_
-               [taC5 taCc]
-               =>
-               {PrelBase.Num{-2c,p-} taCc}
-               -> {PrelBase.Eq{-23,p-} taC5}
-               -> taC5
-               -> taCc
-{-# L #-}
-f{-r3k,x-} =
-    _/\_ taC5 taCc -> \ d.Num_aCh  ::  {PrelBase.Num{-2c,p-} taCc}
-                       {-# L #-}
-                       d.Num_aCh d.Eq_aCf  ::  {PrelBase.Eq{-23,p-} taC5}
-                                 {-# L #-}
-                                 d.Eq_aCf ->
-       case
-           ds_dEJ _@_ taC5 _@_ taCc d.Num_aCh d.Eq_aCf
-       of {
-       PrelTup.(,){-62,w-}{i} ds_dGP ds_dGQ  ->
-       ds_dGP;}
-g{-r3j,x-}  ::  _forall_
-               [taC5 taCc]
-               =>
-               {PrelBase.Num{-2c,p-} taCc}
-               -> {PrelBase.Eq{-23,p-} taC5}
-               -> PrelBase.Bool{-34,W-}
-               -> taC5
-               -> taCc
-{-# L #-}
-g{-r3j,x-} =
-    _/\_ taC5 taCc -> \ d.Num_aCh  ::  {PrelBase.Num{-2c,p-} taCc}
-                       {-# L #-}
-                       d.Num_aCh d.Eq_aCf  ::  {PrelBase.Eq{-23,p-} taC5}
-                                 {-# L #-}
-                                 d.Eq_aCf ->
-       case
-           ds_dEJ _@_ taC5 _@_ taCc d.Num_aCh d.Eq_aCf
-       of {
-       PrelTup.(,){-62,w-}{i} ds_dHh ds_dHg  ->
-       ds_dHg;}
-end Rec }
-
 NOTE: Simplifier still going after 4 iterations; bailing out.