[project @ 1997-09-05 14:11:05 by simonm]

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

diff --git a/ghc/tests/deSugar/should_compile/ds002.stderr b/ghc/tests/deSugar/should_compile/ds002.stderr
index 5e6aeeb..a2a91d0 100644 (file)
--- a/ghc/tests/deSugar/should_compile/ds002.stderr
+++ b/ghc/tests/deSugar/should_compile/ds002.stderr
@@ -1,74 +1,74 @@
+ds002.hs:13: 
+    Warning: Possibly incomplete patterns
+       in the definition of function `g'
 ds002.hs:8: 
     Warning: Pattern match(es) completely overlapped
        in the definition of function `f'
 ds002.hs:9: 
     Warning: Pattern match(es) completely overlapped
        in the definition of function `f'
-ds002.hs:13: 
-    Warning: Possibly incomplete patterns
-       in the definition of function `g'
 
 
 ================================================================================
 Desugared:
-f{-r3w,x-}  :: 
-    _forall_ [t{-an6-}] => t{-an6-} -> t{-an6-}
+Rec {
+f{-r3s,x-}  ::  _forall_ [takv] => takv -> takv
 {-# L #-}
-f{-r3w,x-} =
-    _/\_ t{-an6-} -> \ x_r3e  :: 
-                          t{-an6-}
-                      {-# L #-}
-                      x_r3e ->
-       x_r3e
-g{-r3v,x-}  :: 
-    _forall_
-    [t{-anr-} t{-anA-} t{-anC-}]
-    =>
-    t{-anA-} -> t{-anC-} -> t{-anr-} -> t{-anr-}
+f{-r3s,x-} =
+    _/\_ takv ->
+       _letrec_ {
+         f_aki  ::  takv -> takv
+         {-# L #-}
+         f_aki =
+             \ x_r3e  ::  takv
+               {-# L #-}
+               x_r3e ->
+                 x_r3e;
+       } in  f_aki
+g{-r3r,x-}  ::  _forall_
+               [tale talg talc]
+               =>
+               tale -> talg -> talc -> talc
 {-# L #-}
-g{-r3v,x-} =
-    _/\_ t{-anr-} t{-anA-} t{-anC-} -> \ x_r3k  :: 
-                                            t{-anA-}
-                                        {-# L #-}
-                                        x_r3k y_r3m  :: 
-                                                  t{-anC-}
-                                              {-# L #-}
-                                              y_r3m z_r3o  :: 
-                                                        t{-anr-}
-                                                    {-# L #-}
-                                                    z_r3o ->
-       let {
-         fail_drB  :: 
-             t{-anr-}
+g{-r3r,x-} =
+    _/\_ tale talg talc ->
+       _letrec_ {
+         g_akx  ::  tale -> talg -> talc -> talc
          {-# L #-}
-         fail_drB =
-             GHCerr.patError{-8r,p-}
-                 _@_ t{-anr-} _string_ "ds002.hs:11|function `g'" } in
-       let { fail_drG  :: 
-                 t{-anr-}
-             {-# L #-}
-             fail_drG =
-         let {
-           z_r3u  :: 
-               t{-anr-}
-           {-# L #-}
-           z_r3u =
-               z_r3o } in
-         let {
-           y_r3s  :: 
-               t{-anC-}
-           {-# L #-}
-           y_r3s =
-               y_r3m } in
-         let {
-           x_r3q  :: 
-               t{-anA-}
-           {-# L #-}
-           x_r3q =
-               x_r3k
-         } in 
-           f{-r3w,x-}
-               _@_ t{-anr-} z_r3u
-       } in
-       f{-r3w,x-}
-           _@_ t{-anr-} z_r3o
+         g_akx =
+             \ x_r3k  ::  tale
+               {-# L #-}
+               x_r3k y_r3l  ::  talg
+                     {-# L #-}
+                     y_r3l z_r3m  ::  talc
+                           {-# L #-}
+                           z_r3m ->
+                 let {
+                   fail_dpC  ::  talc
+                   {-# L #-}
+                   fail_dpC =
+                       GHCerr.patError{-8r,w-}
+                           _@_ talc _string_ "ds002.hs:11|function `g'" } in
+                 let { fail_dpH  ::  talc
+                       {-# L #-}
+                       fail_dpH =
+                   let {
+                     z_r3q  ::  talc
+                     {-# L #-}
+                     z_r3q =
+                         z_r3m } in
+                   let {
+                     y_r3p  ::  talg
+                     {-# L #-}
+                     y_r3p =
+                         y_r3l } in
+                   let {
+                     x_r3o  ::  tale
+                     {-# L #-}
+                     x_r3o =
+                         x_r3k
+                   } in  f{-r3s,x-} _@_ talc z_r3q
+                 } in
+                 f{-r3s,x-} _@_ talc z_r3m;
+       } in  g_akx
+end Rec }