[project @ 1997-07-27 09:27:45 by sof]

[ghc-hetmet.git] / ghc / compiler / tests / deSugar / ds037.stderr

diff --git a/ghc/compiler/tests/deSugar/ds037.stderr b/ghc/compiler/tests/deSugar/ds037.stderr
index e69de29..cb76a7e 100644 (file)
--- a/ghc/compiler/tests/deSugar/ds037.stderr
+++ b/ghc/compiler/tests/deSugar/ds037.stderr
@@ -0,0 +1,189 @@
+
+
+================================================================================
+Desugared:
+Rec {
+d.Num_aXF  :: 
+    {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
+{-# L #-}
+d.Num_aXF =
+    PrelBase.$d3{-rbd,p-}
++_aZO  :: 
+    PrelBase.Int{-3g,p-}
+    -> PrelBase.Int{-3g,p-}
+    -> PrelBase.Int{-3g,p-}
+{-# L #-}
++_aZO =
+    PrelBase.+{-r3m,p-}
+       _@_ PrelBase.Int{-3g,p-} d.Num_aXF
+d.Num_aXJ  :: 
+    {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
+{-# L #-}
+d.Num_aXJ =
+    d.Num_aXF
+fromInt_aZN  :: 
+    PrelBase.Int{-3g,p-} -> PrelBase.Int{-3g,p-}
+{-# L #-}
+fromInt_aZN =
+    PrelBase.fromInt{-8R,p-}
+       _@_ PrelBase.Int{-3g,p-} d.Num_aXJ
+lit_aZM  :: 
+    PrelBase.Int{-3g,p-}
+{-# L #-}
+lit_aZM =
+    let {
+      ds_d123  :: 
+         PrelBase.Int{-3g,p-}
+      {-# L #-}
+      ds_d123 =
+         PrelBase.I#{-5b,p-}{i}
+             1
+    } in 
+      fromInt_aZN
+         ds_d123
+ds_d11F  :: 
+    _forall_
+    [b{-aXa-}]
+    =>
+    (PrelBase.Int{-3g,p-}
+     -> PrelBase.Int{-3g,p-}
+     -> (b{-aXa-}, PrelBase.Int{-3g,p-}), PrelBase.Int{-3g,p-}
+                                         -> PrelBase.Int{-3g,p-}
+                                         -> (b{-aXa-}, PrelBase.Int{-3g,p-}))
+{-# L #-}
+ds_d11F =
+    _/\_ b{-aXa-} ->
+       _letrec_ {
+         +_aZQ  :: 
+             PrelBase.Int{-3g,p-}
+             -> PrelBase.Int{-3g,p-}
+             -> PrelBase.Int{-3g,p-}
+         {-# L #-}
+         +_aZQ =
+             +_aZO;
+         lit_aZP  :: 
+             PrelBase.Int{-3g,p-}
+         {-# L #-}
+         lit_aZP =
+             lit_aZM;
+         f_aWT  :: 
+             PrelBase.Int{-3g,p-}
+             -> PrelBase.Int{-3g,p-}
+             -> (b{-aXa-}, PrelBase.Int{-3g,p-})
+         {-# L #-}
+         f_aWT =
+             \ x_r3e  :: 
+                   PrelBase.Int{-3g,p-}
+               {-# L #-}
+               x_r3e y_r3g  :: 
+                         PrelBase.Int{-3g,p-}
+                     {-# L #-}
+                     y_r3g ->
+                 let { ds_d12N  :: 
+                           b{-aXa-}
+                       {-# L #-}
+                       ds_d12N =
+                   let {
+                     ds_d133  :: 
+                         (b{-aXa-}, PrelBase.Int{-3g,p-})
+                     {-# L #-}
+                     ds_d133 =
+                         g_aWU
+                             y_r3g x_r3e
+                   } in 
+                     PrelTup.fst{-riN,p-}
+                         _@_ PrelBase.Int{-3g,p-} _@_ b{-aXa-} ds_d133
+                 } in
+                 let {
+                   ds_d12R  :: 
+                       PrelBase.Int{-3g,p-}
+                   {-# L #-}
+                   ds_d12R =
+                       +_aZO
+                           x_r3e lit_aZM
+                 } in 
+                   PrelTup.(,){-62,p-}{i}
+                       {_@_ b{-aXa-} _@_ PrelBase.Int{-3g,p-} ds_d12N ds_d12R};
+         g_aWU  :: 
+             PrelBase.Int{-3g,p-}
+             -> PrelBase.Int{-3g,p-}
+             -> (b{-aXa-}, PrelBase.Int{-3g,p-})
+         {-# L #-}
+         g_aWU =
+             \ x_r3j  :: 
+                   PrelBase.Int{-3g,p-}
+               {-# L #-}
+               x_r3j y_r3l  :: 
+                         PrelBase.Int{-3g,p-}
+                     {-# L #-}
+                     y_r3l ->
+                 let { ds_d13B  :: 
+                           b{-aXa-}
+                       {-# L #-}
+                       ds_d13B =
+                   let {
+                     ds_d13R  :: 
+                         (b{-aXa-}, PrelBase.Int{-3g,p-})
+                     {-# L #-}
+                     ds_d13R =
+                         f_aWT
+                             x_r3j y_r3l
+                   } in 
+                     PrelTup.fst{-riN,p-}
+                         _@_ PrelBase.Int{-3g,p-} _@_ b{-aXa-} ds_d13R
+                 } in
+                 let {
+                   ds_d13F  :: 
+                       PrelBase.Int{-3g,p-}
+                   {-# L #-}
+                   ds_d13F =
+                       +_aZQ
+                           y_r3l lit_aZP
+                 } in 
+                   PrelTup.(,){-62,p-}{i}
+                       {_@_ b{-aXa-} _@_ PrelBase.Int{-3g,p-} ds_d13B ds_d13F};
+       } in 
+         PrelTup.(,){-62,p-}{i}
+             {_@_ (PrelBase.Int{-3g,p-}
+                   -> PrelBase.Int{-3g,p-}
+                   -> (b{-aXa-}, PrelBase.Int{-3g,p-}))
+              _@_ (PrelBase.Int{-3g,p-}
+                   -> PrelBase.Int{-3g,p-}
+                   -> (b{-aXa-}, PrelBase.Int{-3g,p-}))
+              f_aWT
+              g_aWU}
+f{-r3o,x-}  :: 
+    _forall_
+    [b{-aXa-}]
+    =>
+    PrelBase.Int{-3g,p-}
+    -> PrelBase.Int{-3g,p-}
+    -> (b{-aXa-}, PrelBase.Int{-3g,p-})
+{-# L #-}
+f{-r3o,x-} =
+    _/\_ b{-aXa-} ->
+       case
+           ds_d11F
+               _@_ b{-aXa-}
+       of {
+       PrelTup.(,){-62,p-}{i} ds_d14B ds_d14C  ->
+       ds_d14B;}
+g{-r3n,x-}  :: 
+    _forall_
+    [b{-aXa-}]
+    =>
+    PrelBase.Int{-3g,p-}
+    -> PrelBase.Int{-3g,p-}
+    -> (b{-aXa-}, PrelBase.Int{-3g,p-})
+{-# L #-}
+g{-r3n,x-} =
+    _/\_ b{-aXa-} ->
+       case
+           ds_d11F
+               _@_ b{-aXa-}
+       of {
+       PrelTup.(,){-62,p-}{i} ds_d14S ds_d14R  ->
+       ds_d14R;}
+end Rec }
+
+NOTE: Simplifier still going after 4 iterations; bailing out.