[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 (file)
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 (file)
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