[project @ 2001-08-24 15:56:54 by simonmar]

Add tests for the warning problems reported by Marcin earlier this week.

testsuite/tests/ghc-regress/deSugar/should_compile/all.T

@@ -61,3 +61,5 @@ test "ds048" { vtc("") }
 test "ds049" { vtc("-fvia-C -package lang") }
 test "ds050" { vtc("-fglasgow-exts") }
 test "ds051" { vtc("") }
+test "ds052" { $expect = "fail" vtc("") }
+test "ds053" { $expect = "fail" vtc("") }

testsuite/tests/ghc-regress/deSugar/should_compile/ds052.hs

+{-# OPTIONS -fwarn-incomplete-patterns #-}
+module ShouldCompile where
+
+-- should *not* produce a warning about non-exhaustive patterns
+lazyZip:: [a] -> [b] -> [(a, b)]
+lazyZip []     _       = []
+lazyZip (x:xs) ~(y:ys) = (x, y):lazyZip xs ys

testsuite/tests/ghc-regress/deSugar/should_compile/ds053.hs

+{-# OPTIONS -fwarn-unused-binds #-}
+module ShouldCompile() where
+
+-- should warn about unused f, even though f is used in itself
+f = f

testsuite/tests/ghc-regress/deSugar/should_compile/ds053.stderr

+should produce a warning!