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

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

diff --git a/ghc/compiler/tests/deSugar/ds021.stderr b/ghc/compiler/tests/deSugar/ds021.stderr
index 364d61b..2d6f67a 100644 (file)
--- a/ghc/compiler/tests/deSugar/ds021.stderr
+++ b/ghc/compiler/tests/deSugar/ds021.stderr
@@ -1,23 +1,81 @@
-Desugared:
-Test.f :: for all d, e. <Eq d> -> d -> d -> d -> [e]
-Test.f =
-    /\ t86 t91 -> \ dict.87 ->
-       let dict.83 = dict.87 in
-       let
-         f.78 =
-             \ x.61 y.62 z.63 ->
-                 let
-                   fail.92 =
-                       (error [t91])
-                           "\"ds021.hs\", line 8: pattern-matching failure [function binding]\n"S
-                 in 
-                   case ((== t86) dict.83 x.61 y.62) of {
-                     True -> Nil! t91
-                     False ->
-                         case ((/= t86) dict.87 x.61 z.63) of {
-                           True -> Nil! t91
-                           False -> Nil! t91
-                         }
-                   }
-       in  f.78
+ds021.hs:8: 
+    Warning: Possibly incomplete patterns
+       in the definition of function `f'
+
 
+================================================================================
+Desugared:
+f{-r3i,x-}  :: 
+    _forall_
+    [rlg{-aG9-} t{-aGm-}]
+    =>
+    {PrelBase.Eq{-23,p-} rlg{-aG9-}}
+    -> rlg{-aG9-}
+    -> rlg{-aG9-}
+    -> rlg{-aG9-}
+    -> [t{-aGm-}]
+{-# L #-}
+f{-r3i,x-} =
+    _/\_ rlg{-aG9-} t{-aGm-} -> \ d.Eq_aGr  :: 
+                                     {PrelBase.Eq{-23,p-} rlg{-aG9-}}
+                                 {-# L #-}
+                                 d.Eq_aGr ->
+       let {
+         ==_aIv  :: 
+             rlg{-aG9-} -> rlg{-aG9-} -> PrelBase.Bool{-34,p-}
+         {-# L #-}
+         ==_aIv =
+             PrelBase.=={-8Y,p-}
+                 _@_ rlg{-aG9-} d.Eq_aGr } in
+       let {
+         d.Eq_aGt  :: 
+             {PrelBase.Eq{-23,p-} rlg{-aG9-}}
+         {-# L #-}
+         d.Eq_aGt =
+             d.Eq_aGr } in
+       let {
+         /=_aIu  :: 
+             rlg{-aG9-} -> rlg{-aG9-} -> PrelBase.Bool{-34,p-}
+         {-# L #-}
+         /=_aIu =
+             PrelBase./={-ray,p-}
+                 _@_ rlg{-aG9-} d.Eq_aGt
+       } in 
+         \ x_r3d  :: 
+               rlg{-aG9-}
+           {-# L #-}
+           x_r3d y_r3f  :: 
+                     rlg{-aG9-}
+                 {-# L #-}
+                 y_r3f z_r3h  :: 
+                           rlg{-aG9-}
+                       {-# L #-}
+                       z_r3h ->
+             let {
+               fail_dJa  :: 
+                   [t{-aGm-}]
+               {-# L #-}
+               fail_dJa =
+                   GHCerr.patError{-8r,p-}
+                       _@_ [t{-aGm-}] _string_ "ds021.hs:5|function `f'"
+             } in 
+               case
+                   ==_aIv
+                       x_r3d y_r3f
+               of {
+                 PrelBase.True{-5E,p-}{i} ->
+                     PrelBase.[]{-5i,p-}{i}
+                         _@_ t{-aGm-};
+                 PrelBase.False{-58,p-}{i} ->
+                     case
+                         /=_aIu
+                             x_r3d z_r3h
+                     of {
+                       PrelBase.True{-5E,p-}{i} ->
+                           PrelBase.[]{-5i,p-}{i}
+                               _@_ t{-aGm-};
+                       PrelBase.False{-58,p-}{i} ->
+                           PrelBase.[]{-5i,p-}{i}
+                               _@_ t{-aGm-};
+                     };
+               }