[project @ 1997-05-26 05:42:35 by sof]

New test dumps

2 files changed, 37 insertions, 0 deletions

diff --git a/ghc/compiler/tests/typecheck/should_fail/tcfail069.stderr b/ghc/compiler/tests/typecheck/should_fail/tcfail069.stderr
new file mode 100644
index 0000000000..f539eb137f
--- /dev/null
+++ b/ghc/compiler/tests/typecheck/should_fail/tcfail069.stderr
@@ -0,0 +1,28 @@
+ 
+tcfail069.hs:21: Couldn't match the type
+		     `PrelBase.[]' against `PrelTup.(,) [PrelBase.Int]'
+    Expected: `[t{-aF1-}]'
+    Inferred: `([PrelBase.Int], [PrelBase.Int])'
+    In a "case" branch:
+	`PrelBase.[]'
+		->  `IOBase.error
+			 "foo"'
+    In a case expression:
+	`case (list1, (list2)) of
+	   PrelBase.[]
+		   ->  IOBase.error
+			   "foo"'
+    In an equation for function `too_much':
+	`too_much ds ((k, m) PrelBase.: q1) s0
+			  =   case (list1, (list2)) of
+				PrelBase.[]
+					->  IOBase.error
+						"foo"
+			  where
+			      list2
+				  =   ds
+			      list1
+				  =   ds'
+
+
+Compilation had errors
diff --git a/ghc/compiler/tests/typecheck/should_fail/tcfail070.stderr b/ghc/compiler/tests/typecheck/should_fail/tcfail070.stderr
new file mode 100644
index 0000000000..f5acaae2dc
--- /dev/null
+++ b/ghc/compiler/tests/typecheck/should_fail/tcfail070.stderr
@@ -0,0 +1,9 @@
+ 
+tcfail070.hs:13: Couldn't match the kind
+		     * against * -> ka2141
+    When unifying two kinds
+	* and * -> ka2141
+    In the type declaration for `State'
+
+
+Compilation had errors