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

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

diff --git a/ghc/tests/deSugar/should_compile/ds026.stderr b/ghc/tests/deSugar/should_compile/ds026.stderr
index 5565a15..e69de29 100644 (file)
--- a/ghc/tests/deSugar/should_compile/ds026.stderr
+++ b/ghc/tests/deSugar/should_compile/ds026.stderr
@@ -1,144 +0,0 @@
-
-
-================================================================================
-Desugared:
-Rec {
-f{-r3w,x-}  ::  _forall_
-               [taBw taBB]
-               =>
-               {Noo{-r3x,x-} taBw}
-               -> {PrelBase.Eq{-23,p-} taBB}
-               -> taBw
-               -> taBB
-               -> taBw
-{-# L #-}
-f{-r3w,x-} =
-    _/\_ taBw taBB -> \ d.Noo_aBH  ::  {Noo{-r3x,x-} taBw}
-                       {-# L #-}
-                       d.Noo_aBH d.Eq_aBJ  ::  {PrelBase.Eq{-23,p-} taBB}
-                                 {-# L #-}
-                                 d.Eq_aBJ ->
-       _letrec_ {
-         d.Boo_aBL  ::  {Boo{-r3n,x-} taBw}
-         {-# L #-}
-         d.Boo_aBL =
-             scsel_NooShouldSucceedBoo{-aEv,x-} _@_ taBw d.Noo_aBH;
-         d.Foo_aBF  ::  {Foo{-r3s,x-} taBw}
-         {-# L #-}
-         d.Foo_aBF =
-             scsel_BooShouldSucceedFoo{-aEw,x-} _@_ taBw d.Boo_aBL;
-         op_aEx  ::  taBw -> taBw
-         {-# L #-}
-         op_aEx =
-             op{-r3y,x-} _@_ taBw d.Foo_aBF;
-         op2_aBC  ::  _forall_
-                      [taBy]
-                      =>
-                      {PrelBase.Eq{-23,p-} taBy} -> taBw -> taBy -> taBw
-         {-# L #-}
-         op2_aBC =
-             op2{-r3A,x-} _@_ taBw d.Noo_aBH;
-         op2_aEy  ::  taBw -> taBB -> taBw
-         {-# L #-}
-         op2_aEy =
-             op2_aBC _@_ taBB d.Eq_aBJ;
-         f_aBf  ::  taBw -> taBB -> taBw
-         {-# L #-}
-         f_aBf =
-             \ x_r3j  ::  taBw
-               {-# L #-}
-               x_r3j y_r3k  ::  taBB
-                     {-# L #-}
-                     y_r3k ->
-                 let {
-                   ds_dG8  ::  taBw
-                   {-# L #-}
-                   ds_dG8 =
-                       op2_aEy x_r3j y_r3k
-                 } in  op_aEx ds_dG8;
-       } in  f_aBf
-scsel_NooShouldSucceedBoo{-aEv,x-}  ::  _forall_
-                                       [a_tr3m]
-                                       =>
-                                       {Noo{-r3x,x-} a_tr3m} -> {Boo{-r3n,x-} a_tr3m}
-{-# L #-}
-scsel_NooShouldSucceedBoo{-aEv,x-} =
-    _/\_ t12 -> \ tpl_B1  ::  {Noo{-r3x,x-} t12}
-                 {-# L #-}
-                 tpl_B1 ->
-       case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
-op2{-r3A,x-}  ::  _forall_
-                 [a_tr3m]
-                 =>
-                 {Noo{-r3x,x-} a_tr3m}
-                 -> (_forall_
-                     [b_tr3p]
-                     =>
-                     {PrelBase.Eq{-23,p-} b_tr3p} -> a_tr3m -> b_tr3p -> a_tr3m)
-{-# L #-}
-op2{-r3A,x-} =
-    _/\_ t12 -> \ tpl_B1  ::  {Noo{-r3x,x-} t12}
-                 {-# L #-}
-                 tpl_B1 ->
-       case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
-ds_dEN  ::  _forall_
-           [taBV]
-           =>
-           {Noo{-r3x,x-} taBV} -> PrelBase.(){-40,W-}
-{-# L #-}
-ds_dEN =
-    _/\_ taBV -> \ d.Noo_aBO  ::  {Noo{-r3x,x-} taBV}
-                  {-# L #-}
-                  d.Noo_aBO ->
-       PrelBase.(){-60,w-}{i} {}
-scsel_BooShouldSucceedFoo{-aEw,x-}  ::  _forall_
-                                       [a_tr3r]
-                                       =>
-                                       {Boo{-r3n,x-} a_tr3r} -> {Foo{-r3s,x-} a_tr3r}
-{-# L #-}
-scsel_BooShouldSucceedFoo{-aEw,x-} =
-    _/\_ t12 -> \ tpl_B1  ::  {Boo{-r3n,x-} t12}
-                 {-# L #-}
-                 tpl_B1 ->
-       case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
-op1{-r3z,x-}  ::  _forall_
-                 [a_tr3r]
-                 =>
-                 {Boo{-r3n,x-} a_tr3r} -> a_tr3r -> a_tr3r
-{-# L #-}
-op1{-r3z,x-} =
-    _/\_ t12 -> \ tpl_B1  ::  {Boo{-r3n,x-} t12}
-                 {-# L #-}
-                 tpl_B1 ->
-       case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
-ds_dF0  ::  _forall_
-           [taBW]
-           =>
-           {Boo{-r3n,x-} taBW} -> PrelBase.(){-40,W-}
-{-# L #-}
-ds_dF0 =
-    _/\_ taBW -> \ d.Boo_aBR  ::  {Boo{-r3n,x-} taBW}
-                  {-# L #-}
-                  d.Boo_aBR ->
-       PrelBase.(){-60,w-}{i} {}
-op{-r3y,x-}  ::  _forall_
-                [a_tr3v]
-                =>
-                {Foo{-r3s,x-} a_tr3v} -> a_tr3v -> a_tr3v
-{-# L #-}
-op{-r3y,x-} =
-    _/\_ t12 -> \ tpl_B1  ::  {Foo{-r3s,x-} t12}
-                 {-# L #-}
-                 tpl_B1 ->
-       tpl_B1
-ds_dF9  ::  _forall_
-           [taBX]
-           =>
-           {Foo{-r3s,x-} taBX} -> PrelBase.(){-40,W-}
-{-# L #-}
-ds_dF9 =
-    _/\_ taBX -> \ d.Foo_aBU  ::  {Foo{-r3s,x-} taBX}
-                  {-# L #-}
-                  d.Foo_aBU ->
-       PrelBase.(){-60,w-}{i} {}
-end Rec }