[project @ 2002-05-17 09:28:18 by simonmar]

Add test for correct 'negate' handling (currently an expected failure).

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

@@ -13,3 +13,5 @@ test "dsrun005" { vtr("", "", "1") }
 test "dsrun006" { vtr("", "", "") }
 test "dsrun007" { vtr("", "", "1") }
 test "dsrun008" { vtr("", "", "1") }
+test "dsrun009" { $expect = "fail" 
+		  vtr("", "", "") }

testsuite/tests/ghc-regress/deSugar/should_run/dsrun009.hs

+-- !!! Test that 'negate' is used properly to construct negative literals
+
+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/deSugar/should_run/dsrun009.stdout

+(Negate (FromInteger 2),True)