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

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

diff --git a/ghc/tests/deSugar/should_compile/ds034.stderr b/ghc/tests/deSugar/should_compile/ds034.stderr
index b8bcc0e..e69de29 100644 (file)
--- a/ghc/tests/deSugar/should_compile/ds034.stderr
+++ b/ghc/tests/deSugar/should_compile/ds034.stderr
@@ -1,78 +0,0 @@
-
-
-================================================================================
-Desugared:
-Rec {
-op2_amz  ::  PrelBase.Int{-3g,W-} -> PrelBase.Int{-3g,W-}
-{-# L #-}
-op2_amz =
-    op2_amB
-op1_amD  ::  PrelBase.Int{-3g,W-} -> PrelBase.Int{-3g,W-}
-{-# L #-}
-op1_amD =
-    op1_amE
-op1_akv  ::  PrelBase.Int{-3g,W-} -> PrelBase.Int{-3g,W-}
-{-# L #-}
-op1_akv =
-    \ x_r3i  ::  PrelBase.Int{-3g,W-}
-      {-# L #-}
-      x_r3i ->
-       op2_amz x_r3i
-op1_amE  ::  PrelBase.Int{-3g,W-} -> PrelBase.Int{-3g,W-}
-{-# L #-}
-op1_amE =
-    op1_akv
-op2_akF  ::  PrelBase.Int{-3g,W-} -> PrelBase.Int{-3g,W-}
-{-# L #-}
-op2_akF =
-    \ y_r3m  ::  PrelBase.Int{-3g,W-}
-      {-# L #-}
-      y_r3m ->
-       op1_amD y_r3m
-op2_amB  ::  PrelBase.Int{-3g,W-} -> PrelBase.Int{-3g,W-}
-{-# L #-}
-op2_amB =
-    op2_akF
-d.Foo_akr  ::  {Foo{-r3q,x-} PrelBase.Int{-3g,W-}}
-{-# L #-}
-d.Foo_akr =
-    PrelTup.(,){-62,w-}{i}
-       {_@_ (PrelBase.Int{-3g,W-} -> PrelBase.Int{-3g,W-})
-        _@_ (PrelBase.Int{-3g,W-} -> PrelBase.Int{-3g,W-})
-        op1_amE
-        op2_amB}
-$d1{-rmC,x-}  ::  {Foo{-r3q,x-} PrelBase.Int{-3g,W-}}
-{-# L #-}
-$d1{-rmC,x-} =
-    d.Foo_akr
-op1{-r3r,x-}  ::  _forall_
-                 [a_tr3p]
-                 =>
-                 {Foo{-r3q,x-} a_tr3p} -> a_tr3p -> a_tr3p
-{-# L #-}
-op1{-r3r,x-} =
-    _/\_ t12 -> \ tpl_B1  ::  {Foo{-r3q,x-} t12}
-                 {-# L #-}
-                 tpl_B1 ->
-       case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2  -> tpl_B1;}
-op2{-r3s,x-}  ::  _forall_
-                 [a_tr3p]
-                 =>
-                 {Foo{-r3q,x-} a_tr3p} -> a_tr3p -> a_tr3p
-{-# L #-}
-op2{-r3s,x-} =
-    _/\_ t12 -> \ tpl_B1  ::  {Foo{-r3q,x-} t12}
-                 {-# L #-}
-                 tpl_B1 ->
-       case tpl_B1 of { PrelTup.(,){-62,w-}{i} tpl_B1 tpl_B2  -> tpl_B2;}
-ds_dnj  ::  _forall_
-           [takP]
-           =>
-           {Foo{-r3q,x-} takP} -> PrelBase.(){-40,W-}
-{-# L #-}
-ds_dnj =
-    _/\_ takP -> \ d.Foo_akO  ::  {Foo{-r3q,x-} takP}
-                  {-# L #-}
-                  d.Foo_akO ->
-       PrelBase.(){-60,w-}{i} {}
-end Rec }