From: sof <unknown>
Date: Mon, 26 May 1997 05:42:36 +0000 (+0000)
Subject: [project @ 1997-05-26 05:42:35 by sof]
X-Git-Tag: Approximately_1000_patches_recorded~461
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=1eefbbdd8b1a6ae1ed9098001573232f981fa0ea;p=ghc-hetmet.git

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

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