From 1eefbbdd8b1a6ae1ed9098001573232f981fa0ea Mon Sep 17 00:00:00 2001
From: sof <unknown>
Date: Mon, 26 May 1997 05:42:36 +0000
Subject: [PATCH] [project @ 1997-05-26 05:42:35 by sof] New test dumps

---
 .../tests/typecheck/should_fail/tcfail069.stderr   |   28 ++++++++++++++++++++
 .../tests/typecheck/should_fail/tcfail070.stderr   |    9 +++++++
 2 files changed, 37 insertions(+)
 create mode 100644 ghc/compiler/tests/typecheck/should_fail/tcfail069.stderr
 create mode 100644 ghc/compiler/tests/typecheck/should_fail/tcfail070.stderr

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 0000000..f539eb1
--- /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 0000000..f5acaae
--- /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
-- 
1.7.10.4