[project @ 2002-05-27 15:56:11 by simonpj]

Add pattern-match negation test

testsuite/tests/ghc-regress/typecheck/should_run/all.T

@@ -26,3 +26,4 @@ test "tcrun018" { vtr("", "", "") }
 test "tcrun019" { vtr("", "", "") }
 test "tcrun020" { vtr("", "", "") }
 test "tcrun021" { vtr("-package data", "", "") }
+test "tcrun022" { vtr("", "", "") }

testsuite/tests/ghc-regress/typecheck/should_run/tcrun022.hs

+-- Test the implementation of negative patterns.
+-- We should get a call to 'negate'.
+
+module Main where
+
+main = print (minusTwo,trueOrFalse)
+
+minusTwo = -2::N
+
+trueOrFalse =
+    case minusTwo of
+      -2 -> True
+      _ -> False
+
+data N = Negate N | FromInteger Integer deriving (Eq,Show)
+
+instance Num N where
+  negate = Negate
+  fromInteger = FromInteger

testsuite/tests/ghc-regress/typecheck/should_run/tcrun022.stdout

+ 
\ No newline at end of file