[project @ 1997-05-26 05:58:06 by sof]

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

diff --git a/ghc/compiler/tests/deSugar/ds028.stderr b/ghc/compiler/tests/deSugar/ds028.stderr
index 450f82f..99e83c8 100644 (file)
--- a/ghc/compiler/tests/deSugar/ds028.stderr
+++ b/ghc/compiler/tests/deSugar/ds028.stderr
@@ -1,30 +1,83 @@
-Desugared:
-{- plain CoRec -}
-Main.map :: for all d, e. (d -> e) -> [d] -> [e]
-Main.map =
-    /\ t88 t84 -> \ f.100 ds.101 ->
-       let
-         fail.102 =
-             (error [t84])
-                 "\"ds028.hs\", line 7: pattern-matching failure [function binding]\n"S
-       in 
-         case ds.101 of {
-           Nil -> Nil! t84
-           (:) x.103 xs.104 ->
-               let f.105 = f.100
-               in  (: t84) (f.105 x.103) (((Main.map t88) t84) f.105 xs.104)
-         }
-{- end plain CoRec -}
-Main.|| :: Bool -> Bool -> Bool
-Main.|| =
-    \ ds.109 ds.110 ->
-       let
-         fail.111 =
-             (error Bool)
-                 "\"ds028.hs\", line 10: pattern-matching failure [function binding]\n"S
-       in 
-         case ds.109 of {
-           True -> True
-           False -> let x.112 = ds.110 in  x.112
-         }
 
+
+================================================================================
+Desugared:
+||||_amR  :: 
+    PrelBase.Bool{-34,p-}
+    -> PrelBase.Bool{-34,p-}
+    -> PrelBase.Bool{-34,p-}
+{-# L #-}
+||||_amR =
+    \ ds_dq6  :: 
+         PrelBase.Bool{-34,p-}
+      {-# L #-}
+      ds_dq6 ds_dq7  :: 
+                PrelBase.Bool{-34,p-}
+            {-# L #-}
+            ds_dq7 ->
+       case ds_dq6 of {
+         PrelBase.True{-5E,p-}{i} ->
+             PrelBase.True{-5E,p-}{i};
+         PrelBase.False{-58,p-}{i} ->
+             ds_dq7;
+       }
+||||{-r3q,x-}  :: 
+    PrelBase.Bool{-34,p-}
+    -> PrelBase.Bool{-34,p-}
+    -> PrelBase.Bool{-34,p-}
+{-# L #-}
+||||{-r3q,x-} =
+    ||||_amR
+Rec {
+mAp{-r3r,x-}  :: 
+    _forall_
+    [t{-an5-} t{-an7-}]
+    =>
+    (t{-an5-} -> t{-an7-}) -> [t{-an5-}] -> [t{-an7-}]
+{-# L #-}
+mAp{-r3r,x-} =
+    _/\_ t{-an5-} t{-an7-} ->
+       _letrec_ {
+         mAp_amZ  :: 
+             (t{-an5-} -> t{-an7-}) -> [t{-an5-}] -> [t{-an7-}]
+         {-# L #-}
+         mAp_amZ =
+             \ f_r3e  :: 
+                   t{-an5-} -> t{-an7-}
+               {-# L #-}
+               f_r3e ds_dqV  :: 
+                         [t{-an5-}]
+                     {-# L #-}
+                     ds_dqV ->
+                 case ds_dqV of {
+                   PrelBase.[]{-5i,p-}{i} ->
+                       PrelBase.[]{-5i,p-}{i}
+                           _@_ t{-an7-};
+                   PrelBase.:{-55,p-}{i} x_r3j xs_r3k ->
+                       let {
+                         f_r3h  :: 
+                             t{-an5-} -> t{-an7-}
+                         {-# L #-}
+                         f_r3h =
+                             f_r3e } in
+                       let {
+                         ds_drl  :: 
+                             t{-an7-}
+                         {-# L #-}
+                         ds_drl =
+                             f_r3h
+                                 x_r3j } in
+                       let {
+                         ds_drp  :: 
+                             [t{-an7-}]
+                         {-# L #-}
+                         ds_drp =
+                             mAp_amZ
+                                 f_r3h xs_r3k
+                       } in 
+                         PrelBase.:{-55,p-}{i}
+                             _@_ t{-an7-} ds_drl ds_drp;
+                 };
+       } in 
+         mAp_amZ
+end Rec }