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

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

diff --git a/ghc/compiler/tests/deSugar/ds016.stderr b/ghc/compiler/tests/deSugar/ds016.stderr
index 31f7e7d..7cddfe4 100644 (file)
--- a/ghc/compiler/tests/deSugar/ds016.stderr
+++ b/ghc/compiler/tests/deSugar/ds016.stderr
@@ -1,47 +1,202 @@
-Desugared:
-Tests.f :: for all a, d, e. [a] -> d -> [e] -> [e]
-Tests.f =
-    /\ a o86 t97 -> \ x.119 y.120 z.121 ->
-       let
-         ds.122 =
-             (++ a) x.119 ((++ a) x.119 ((++ a) x.119 ((++ a) x.119 x.119))) in
-       let
-         fail.123 =
-             (error [t97])
-                 "\"ds016.hs\", line 17: pattern-matching failed in case\n"S
-       in 
-         case ds.122 of {
-           Nil -> Nil! t97
-           (:) a.124 ds.125 ->
-               let
-                 fail.128 =
-                     let bs.126 = ds.125 in
-                     let a.127 = a.124 in  (error [t97]) "4"S
-               in 
-                 case ds.125 of {
-                   Nil -> (error [t97]) "2"S
-                   (:) b.129 ds.130 ->
-                       case ds.130 of {
-                         (:) c.131 ds.132 ->
-                             case ds.132 of {
-                               Nil ->
-                                   let a.133 = a.124 in
-                                   let
-                                     ds.134 =
-                                         MkTuple4!
-                                             o86
-                                             [t97]
-                                             o86
-                                             [t97]
-                                             y.120
-                                             z.121
-                                             y.120
-                                             z.121
-                                   in  z.121
-                               _ ->  fail.128
-                             }
-                         _ ->  fail.128
-                       }
-                 }
-         }
 
+
+================================================================================
+Desugared:
+Rec {
+d.MonadPlus_aXs  :: 
+    {PrelBase.MonadPlus{-2a,p-} PrelBase.[]{-3j,p-}}
+{-# L #-}
+d.MonadPlus_aXs =
+    PrelBase.$d22{-rp7,p-}
+++_aYK  :: 
+    _forall_
+    [rjy{-aWo-}]
+    =>
+    [rjy{-aWo-}] -> [rjy{-aWo-}] -> [rjy{-aWo-}]
+{-# L #-}
+++_aYK =
+    PrelBase.++{-roG,p-}
+       _@_ PrelBase.[]{-3j,p-} d.MonadPlus_aXs
+f{-r3t,x-}  :: 
+    _forall_
+    [rjy{-aWN-} t{-aWT-} t{-aXo-}]
+    =>
+    [rjy{-aWN-}] -> t{-aXo-} -> [t{-aWT-}] -> [t{-aWT-}]
+{-# L #-}
+f{-r3t,x-} =
+    _/\_ rjy{-aWN-} t{-aWT-} t{-aXo-} ->
+       let {
+         ++_aYM  :: 
+             _forall_
+             [rjy{-aWw-}]
+             =>
+             [rjy{-aWw-}] -> [rjy{-aWw-}] -> [rjy{-aWw-}]
+         {-# L #-}
+         ++_aYM =
+             ++_aYK } in
+       let {
+         ++_aYL  :: 
+             _forall_
+             [rjy{-aWD-}]
+             =>
+             [rjy{-aWD-}] -> [rjy{-aWD-}] -> [rjy{-aWD-}]
+         {-# L #-}
+         ++_aYL =
+             ++_aYK } in
+       let {
+         ++_aYJ  :: 
+             _forall_
+             [rjy{-aWK-}]
+             =>
+             [rjy{-aWK-}] -> [rjy{-aWK-}] -> [rjy{-aWK-}]
+         {-# L #-}
+         ++_aYJ =
+             ++_aYK
+       } in 
+         \ x_r3d  :: 
+               [rjy{-aWN-}]
+           {-# L #-}
+           x_r3d y_r3f  :: 
+                     t{-aXo-}
+                 {-# L #-}
+                 y_r3f z_r3h  :: 
+                           [t{-aWT-}]
+                       {-# L #-}
+                       z_r3h ->
+             let { ds_d13I  :: 
+                       [rjy{-aWN-}]
+                   {-# L #-}
+                   ds_d13I =
+               let { ds_d131  :: 
+                         [rjy{-aWN-}]
+                     {-# L #-}
+                     ds_d131 =
+                 let { ds_d13e  :: 
+                           [rjy{-aWN-}]
+                       {-# L #-}
+                       ds_d13e =
+                   let {
+                     ds_d13r  :: 
+                         [rjy{-aWN-}]
+                     {-# L #-}
+                     ds_d13r =
+                         ++_aYJ
+                             _@_ rjy{-aWN-} x_r3d x_r3d
+                   } in 
+                     ++_aYL
+                         _@_ rjy{-aWN-} x_r3d ds_d13r
+                 } in
+                 ++_aYM
+                     _@_ rjy{-aWN-} x_r3d ds_d13e
+               } in
+               ++_aYK
+                   _@_ rjy{-aWN-} x_r3d ds_d131
+             } in
+             case ds_d13I of {
+               PrelBase.[]{-5i,p-}{i} ->
+                   PrelBase.[]{-5i,p-}{i}
+                       _@_ t{-aWT-};
+               PrelBase.:{-55,p-}{i} a_r3k ds_d140 ->
+                   let { fail_d14E  :: 
+                             [t{-aWT-}]
+                         {-# L #-}
+                         fail_d14E =
+                     let {
+                       bs_r3s  :: 
+                           [rjy{-aWN-}]
+                       {-# L #-}
+                       bs_r3s =
+                           ds_d140 } in
+                     let {
+                       a_r3r  :: 
+                           rjy{-aWN-}
+                       {-# L #-}
+                       a_r3r =
+                           a_r3k } in
+                     let { ds_d14d  :: 
+                               [PrelBase.Char{-38,p-}]
+                           {-# L #-}
+                           ds_d14d =
+                       let {
+                         ds_d14q  :: 
+                             PrelBase.Char{-38,p-}
+                         {-# L #-}
+                         ds_d14q =
+                             PrelBase.C#{-54,p-}{i}
+                                 {'4'} } in
+                       let {
+                         ds_d14u  :: 
+                             [PrelBase.Char{-38,p-}]
+                         {-# L #-}
+                         ds_d14u =
+                             PrelBase.[]{-5i,p-}{i}
+                                 {_@_ PrelBase.Char{-38,p-}}
+                       } in 
+                         PrelBase.:{-55,p-}{i}
+                             {_@_ PrelBase.Char{-38,p-} ds_d14q ds_d14u}
+                     } in
+                     IOBase.error{-87,p-}
+                         _@_ [t{-aWT-}] ds_d14d
+                   } in
+                   case ds_d140 of {
+                     PrelBase.[]{-5i,p-}{i} ->
+                         let { ds_d14S  :: 
+                                   [PrelBase.Char{-38,p-}]
+                               {-# L #-}
+                               ds_d14S =
+                           let {
+                             ds_d153  :: 
+                                 PrelBase.Char{-38,p-}
+                             {-# L #-}
+                             ds_d153 =
+                                 PrelBase.C#{-54,p-}{i}
+                                     {'2'} } in
+                           let {
+                             ds_d157  :: 
+                                 [PrelBase.Char{-38,p-}]
+                             {-# L #-}
+                             ds_d157 =
+                                 PrelBase.[]{-5i,p-}{i}
+                                     {_@_ PrelBase.Char{-38,p-}}
+                           } in 
+                             PrelBase.:{-55,p-}{i}
+                                 {_@_ PrelBase.Char{-38,p-} ds_d153 ds_d157}
+                         } in
+                         IOBase.error{-87,p-}
+                             _@_ [t{-aWT-}] ds_d14S;
+                     PrelBase.:{-55,p-}{i} b_r3n ds_d15m ->
+                         case ds_d15m of {
+                           PrelBase.[]{-5i,p-}{i} ->
+                               fail_d14E;
+                           PrelBase.:{-55,p-}{i} c_r3o ds_d15z ->
+                               case ds_d15z of {
+                                 PrelBase.:{-55,p-}{i} ds_d15H ds_d15G ->
+                                     fail_d14E;
+                                 PrelBase.[]{-5i,p-}{i} ->
+                                     let {
+                                       a_r3m  :: 
+                                           rjy{-aWN-}
+                                       {-# L #-}
+                                       a_r3m =
+                                           a_r3k } in
+                                     let {
+                                       ds_d15Q  :: 
+                                           (t{-aXo-}, [t{-aWT-}], t{-aXo-}, [t{-aWT-}])
+                                       {-# L #-}
+                                       ds_d15Q =
+                                           PrelTup.(,,,){-64,p-}{i}
+                                               {_@_ t{-aXo-}
+                                                _@_ [t{-aWT-}]
+                                                _@_ t{-aXo-}
+                                                _@_ [t{-aWT-}]
+                                                y_r3f
+                                                z_r3h
+                                                y_r3f
+                                                z_r3h}
+                                     } in 
+                                       z_r3h;
+                               };
+                         };
+                   };
+             }
+end Rec }