[project @ 1997-07-30 23:52:45 by sof]

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

diff --git a/ghc/compiler/tests/deSugar/ds002.stderr b/ghc/compiler/tests/deSugar/ds002.stderr
deleted file mode 100644 (file)
index 5e6aeeb..0000000
--- a/ghc/compiler/tests/deSugar/ds002.stderr
+++ /dev/null
@@ -1,74 +0,0 @@
-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-}
-{-# 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-}
-{-# 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-}
-         {-# 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