[project @ 1999-01-24 13:45:05 by sof]

Updated desugaring reg. tests

ghc/tests/deSugar/should_compile/ds002.stderr

-ds002.hs:11: 
-    Pattern match(es) are overlapped in the definition of function `g'
-	    x y z = ...
-ds002.hs:7: 
-    Pattern match(es) are overlapped in the definition of function `f'
-	    y = ...
-	    z = ...
+ds002.hs:7: Pattern match(es) are overlapped in the definition of function `f':
+	    f y = ...
+	    f z = ...
+
+ds002.hs:11: Pattern match(es) are overlapped in the definition of function `g':
+	    g x y z = ...
+
 

ghc/tests/deSugar/should_compile/ds003.stderr

-ds003.hs:5: 
-    Pattern match(es) are overlapped in the definition of function `f'
-	    (: x (: x1 (: x2 x3))) ~(y, ys) z = ...
-	    x y True = ...
+ds003.hs:5: Pattern match(es) are overlapped in the definition of function `f':
+	    f (x : (x1 : (x2 : x3))) ~(y, ys) z = ...
+	    f x y True = ...
+
 

ghc/tests/deSugar/should_compile/ds019.stderr

-ds019.hs:5: 
-    Pattern match(es) are overlapped in the definition of function `f'
-	    d (j, k) p = ...
-	    (e, f, g) l q = ...
-	    h (m, n) r = ...
+ds019.hs:5: Pattern match(es) are overlapped in the definition of function `f':
+	    f d (j, k) p = ...
+	    f (e, f, g) l q = ...
+	    f h (m, n) r = ...
+
 

ghc/tests/deSugar/should_compile/ds020.stderr

-ds020.hs:5: 
-    Pattern match(es) are overlapped in the definition of function `a'
-	    ~(~[], ~[], ~[]) = ...
-ds020.hs:8: 
-    Pattern match(es) are overlapped in the definition of function `b'
-	    ~(: ~x (: ~xs ~ys)) = ...
-ds020.hs:13: 
-    Pattern match(es) are overlapped in the definition of function `d'
-	    ~(n+43) = ...
-	    ~(n+999) = ...
-ds020.hs:19: 
-    Pattern match(es) are overlapped in the definition of function `f'
-	    (x@~[]) = ...
+ds020.hs:5: Pattern match(es) are overlapped in the definition of function `a':
+	    a ~(~[], ~[], ~[]) = ...
+
+ds020.hs:8: Pattern match(es) are overlapped in the definition of function `b':
+	    b ~(~x : (~xs : ~ys)) = ...
+
+ds020.hs:13: Pattern match(es) are overlapped in the definition of function `d':
+	    d ~(n+43) = ...
+	    d ~(n+999) = ...
+
+ds020.hs:19: Pattern match(es) are overlapped in the definition of function `f':
+	    f (x@~[]) = ...
+
 

ghc/tests/deSugar/should_compile/ds022.stderr

-ds022.hs:20: 
-    Pattern match(es) are overlapped in the definition of function `i'
-	    1 1.1 = ...
-	    2 2.2 = ...
+ds022.hs:20: Pattern match(es) are overlapped in the definition of function `i':
+	    i 1 1.1 = ...
+	    i 2 2.2 = ...
+
 

ghc/tests/deSugar/should_compile/ds033.stderr

-
-NOTE: Simplifier still going after 4 iterations; bailing out.

ghc/tests/deSugar/should_compile/ds034.stderr

-NOTE: Simplifier still going after 4 iterations; baling out.

ghc/tests/deSugar/should_compile/ds040.stderr

-ds040.hs:7: 
-    Pattern match(es) are overlapped
-	in the definition of function `^^^^'
-	    _ _ = ...
+ds040.hs:7: Pattern match(es) are overlapped in the definition of function `^^^^':
+	    ^^^^ _ _ = ...
+
 

ghc/tests/deSugar/should_compile/ds042.hs

+-- !!! Guard on a tuple pattern, broke 4.01 due to the
+-- !!! special handling of unboxed tuples in desugarer.
+module ShouldCompile where
+
+f :: Int -> (Int,Int)
+f x = 
+  case f x of
+    (a,b) | a > 0 -> f (x-1)