Update test results for the 6.10 branch

31 files changed, 309 insertions, 17 deletions

diff --git a/testsuite/tests/ghc-regress/boxy/all.T b/testsuite/tests/ghc-regress/boxy/all.T
index e23e07b967..65ea6a7321 100644
--- a/testsuite/tests/ghc-regress/boxy/all.T
+++ b/testsuite/tests/ghc-regress/boxy/all.T
@@ -1,10 +1,10 @@
 # Boxy-type tests
 
-test('Base1',    normal, compile, [''])
+test('Base1',    if_compiler_lt('ghc', '6.11', expect_fail), compile, [''])
 test('Church1',  normal, compile, [''])
 test('Church2',  expect_broken(1330), compile_fail, [''])
-test('PList1',   normal, compile, [''])
-test('PList2',   normal, compile, [''])
+test('PList1',   if_compiler_lt('ghc', '6.11', expect_fail), compile, [''])
+test('PList2',   if_compiler_lt('ghc', '6.11', expect_fail), compile, [''])
 test('SystemF',  normal, compile, [''])
-test('boxy',     normal, compile, [''])
-test('Compose',     normal, compile, [''])
+test('boxy',     if_compiler_lt('ghc', '6.11', expect_fail), compile, [''])
+test('Compose',  if_compiler_lt('ghc', '6.11', expect_fail), compile, [''])
diff --git a/testsuite/tests/ghc-regress/deriving/should_compile/all.T b/testsuite/tests/ghc-regress/deriving/should_compile/all.T
index db2aa72692..dda91f913d 100644
--- a/testsuite/tests/ghc-regress/deriving/should_compile/all.T
+++ b/testsuite/tests/ghc-regress/deriving/should_compile/all.T
@@ -18,6 +18,12 @@ test('drv021', normal, compile, [''])
 test('deriving-1935', normal, compile, [''])
 test('T2378', normal, compile, [''])
 test('T2856', normal, compile, [''])
-test('drv-functor1', normal, compile, [''])
+test('drv-functor1',
+     if_compiler_lt('ghc', '6.11', expect_fail),
+     compile,
+     [''])
 test('drv-functor2', normal, compile, [''])
-test('drv-foldable-traversable1', normal, compile, [''])
+test('drv-foldable-traversable1',
+     if_compiler_lt('ghc', '6.11', expect_fail),
+     compile,
+     [''])
diff --git a/testsuite/tests/ghc-regress/deriving/should_fail/all.T b/testsuite/tests/ghc-regress/deriving/should_fail/all.T
index 16a4c0ffb7..461fb0b4d8 100644
--- a/testsuite/tests/ghc-regress/deriving/should_fail/all.T
+++ b/testsuite/tests/ghc-regress/deriving/should_fail/all.T
@@ -23,6 +23,14 @@ test('T2604', normal, compile_fail, [''])
 test('T2701', normal, compile_fail, [''])
 test('T2851', normal, compile_fail, [''])
 test('T2721', normal, compile_fail, [''])
-test('drvfail-functor1', normal, compile_fail, [''])
-test('drvfail-functor2', normal, compile_fail, [''])
-test('drvfail-foldable-traversable1', normal, compile_fail, [''])
+test('drvfail-functor1',
+     if_compiler_lt('ghc', '6.11', expect_fail),
+     compile_fail,
+     [''])
+test('drvfail-functor2',
+     if_compiler_lt('ghc', '6.11', expect_fail),
+     compile_fail, [''])
+test('drvfail-foldable-traversable1',
+     if_compiler_lt('ghc', '6.11', expect_fail),
+     compile_fail,
+     [''])
diff --git a/testsuite/tests/ghc-regress/deriving/should_run/all.T b/testsuite/tests/ghc-regress/deriving/should_run/all.T
index bd14b95de7..0ca485b0a5 100644
--- a/testsuite/tests/ghc-regress/deriving/should_run/all.T
+++ b/testsuite/tests/ghc-regress/deriving/should_run/all.T
@@ -26,4 +26,7 @@ test('drvrun020', normal, compile_and_run, [''])
 test('drvrun021', normal, compile_and_run, [''])
 test('drvrun022', normal, compile_and_run, ['-package syb'])
 test('T2529', normal, compile_and_run, [''])
-test('drvrun-functor1', normal, compile_and_run, [''])
+test('drvrun-functor1',
+     if_compiler_lt('ghc', '6.11', expect_fail),
+     compile_and_run,
+     [''])
diff --git a/testsuite/tests/ghc-regress/gadt/gadt10.stderr-6.10 b/testsuite/tests/ghc-regress/gadt/gadt10.stderr-6.10
new file mode 100644
index 0000000000..b27bce7536
--- /dev/null
+++ b/testsuite/tests/ghc-regress/gadt/gadt10.stderr-6.10
@@ -0,0 +1,5 @@
+
+gadt10.hs:6:23:
+    `RInt' is not applied to enough type arguments
+    Expected kind `?', but `RInt' has kind `k -> *'
+    In the data type declaration for `RInt'
diff --git a/testsuite/tests/ghc-regress/ghci.debugger/scripts/all.T b/testsuite/tests/ghc-regress/ghci.debugger/scripts/all.T
index 5d73477cce..3bc382fa3b 100644
--- a/testsuite/tests/ghc-regress/ghci.debugger/scripts/all.T
+++ b/testsuite/tests/ghc-regress/ghci.debugger/scripts/all.T
@@ -31,7 +31,10 @@ test('print029', normal, ghci_script, ['print029.script'])
 test('print030', normal, ghci_script, ['print030.script'])
 test('print031', normal, ghci_script, ['print031.script'])
 test('print032', expect_broken(1995), ghci_script, ['print032.script'])
-test('print033', normal, ghci_script, ['print033.script'])
+test('print033',
+     if_compiler_lt('ghc', '6.11', expect_fail),
+     ghci_script,
+     ['print033.script'])
 test('print034', normal, ghci_script, ['print034.script'])
 
 test('break001', normal, ghci_script, ['break001.script'])
diff --git a/testsuite/tests/ghc-regress/indexed-types/should_fail/Simple14.stderr-6.10 b/testsuite/tests/ghc-regress/indexed-types/should_fail/Simple14.stderr-6.10
new file mode 100644
index 0000000000..6675b0dcd4
--- /dev/null
+++ b/testsuite/tests/ghc-regress/indexed-types/should_fail/Simple14.stderr-6.10
@@ -0,0 +1,5 @@
+
+Simple14.hs:5:14:
+    Equality predicate used as a type
+    In the type `a ~ a'
+    In the data type declaration for `T'
diff --git a/testsuite/tests/ghc-regress/rename/should_fail/rnfail026.stderr-6.10 b/testsuite/tests/ghc-regress/rename/should_fail/rnfail026.stderr-6.10
new file mode 100644
index 0000000000..0f1c71928c
--- /dev/null
+++ b/testsuite/tests/ghc-regress/rename/should_fail/rnfail026.stderr-6.10
@@ -0,0 +1,9 @@
+
+rnfail026.hs:16:15:
+    Kind mis-match
+    Expected kind `* -> *', but `Set a' has kind `*'
+    In the instance declaration for `Monad (forall a. (Eq a) => Set a)'
+
+rnfail026.hs:19:0:
+    Illegal polymorphic or qualified type: forall a. [a]
+    In the instance declaration for `Eq (forall a. [a])'
diff --git a/testsuite/tests/ghc-regress/rename/should_fail/rnfail054.stderr-6.10 b/testsuite/tests/ghc-regress/rename/should_fail/rnfail054.stderr-6.10
new file mode 100644
index 0000000000..958230da28
--- /dev/null
+++ b/testsuite/tests/ghc-regress/rename/should_fail/rnfail054.stderr-6.10
@@ -0,0 +1,5 @@
+
+rnfail054.hs:6:8:
+    Local identifier `foo' used as a field name
+    In the expression: x {foo = 1}
+    In the definition of `foo': foo x = x {foo = 1}
diff --git a/testsuite/tests/ghc-regress/rename/should_fail/rnfail055.stderr-6.10 b/testsuite/tests/ghc-regress/rename/should_fail/rnfail055.stderr-6.10
new file mode 100644
index 0000000000..b9d93152fa
--- /dev/null
+++ b/testsuite/tests/ghc-regress/rename/should_fail/rnfail055.stderr-6.10
@@ -0,0 +1,111 @@
+
+RnFail055.hs-boot:4:0:
+    Identifier `f1' has conflicting definitions in the module and its hs-boot file
+    Main module: f1 :: Int -> Float
+    Boot file:   f1 :: Float -> Int
+
+RnFail055.hs-boot:6:5:
+    Type constructor `S1' has conflicting definitions in the module and its hs-boot file
+    Main module: type S1 a b
+                     = (a, b)
+                     FamilyInstance: none
+    Boot file:   type S1 a b c
+                     = (a, b)
+                     FamilyInstance: none
+
+RnFail055.hs-boot:8:5:
+    Type constructor `S2' has conflicting definitions in the module and its hs-boot file
+    Main module: type S2 a b
+                     = forall a. (a, b)
+                     FamilyInstance: none
+    Boot file:   type S2 a b
+                     = forall b. (a, b)
+                     FamilyInstance: none
+
+RnFail055.hs-boot:12:5:
+    Type constructor `T1' has conflicting definitions in the module and its hs-boot file
+    Main module: data T1 a b
+                     RecFlag Recursive
+                     Generics: no
+                     = T1 :: forall a b. [b] -> [a] -> T1 a b Stricts: _ _
+                     FamilyInstance: none
+    Boot file:   data T1 a b
+                     RecFlag NonRecursive
+                     Generics: no
+                     = T1 :: forall a b. [a] -> [b] -> T1 a b Stricts: _ _
+                     FamilyInstance: none
+
+RnFail055.hs-boot:14:15:
+    Type constructor `T2' has conflicting definitions in the module and its hs-boot file
+    Main module: data Eq b => T2 a b
+                     RecFlag Recursive
+                     Generics: no
+                     = T2 :: forall a b. a -> T2 a b Stricts: _
+                     FamilyInstance: none
+    Boot file:   data Eq a => T2 a b
+                     RecFlag NonRecursive
+                     Generics: no
+                     = T2 :: forall a b. a -> T2 a b Stricts: _
+                     FamilyInstance: none
+
+RnFail055.hs-boot:16:10:
+    T3 is exported by the hs-boot file, but not exported by the module
+
+RnFail055.hs-boot:17:11:
+    T3' is exported by the hs-boot file, but not exported by the module
+
+RnFail055.hs-boot:21:5:
+    Type constructor `T5' has conflicting definitions in the module and its hs-boot file
+    Main module: data T5 a
+                     RecFlag Recursive
+                     Generics: no
+                     = T5 :: forall a. a -> T5 a Stricts: _ Fields: field5
+                     FamilyInstance: none
+    Boot file:   data T5 a
+                     RecFlag NonRecursive
+                     Generics: no
+                     = T5 :: forall a. a -> T5 a Stricts: _
+                     FamilyInstance: none
+
+RnFail055.hs-boot:23:5:
+    Type constructor `T6' has conflicting definitions in the module and its hs-boot file
+    Main module: data T6
+                     RecFlag Recursive
+                     Generics: no
+                     = T6 :: Int -> T6 Stricts: _
+                     FamilyInstance: none
+    Boot file:   data T6
+                     RecFlag NonRecursive
+                     Generics: no
+                     = T6 :: Int -> T6 Stricts: !
+                     FamilyInstance: none
+
+RnFail055.hs-boot:25:5:
+    Type constructor `T7' has conflicting definitions in the module and its hs-boot file
+    Main module: data T7 a
+                     RecFlag Recursive
+                     Generics: no
+                     = T7 :: forall a a. a -> T7 a Stricts: _
+                     FamilyInstance: none
+    Boot file:   data T7 a
+                     RecFlag NonRecursive
+                     Generics: no
+                     = T7 :: forall a b. a -> T7 a Stricts: _
+                     FamilyInstance: none
+
+RnFail055.hs-boot:27:21:
+    RnFail055.m1 is exported by the hs-boot file, but not exported by the module
+
+RnFail055.hs-boot:28:6:
+    Class `C2' has conflicting definitions in the module and its hs-boot file
+    Main module: class C2 a b
+                     RecFlag NonRecursive
+                     m2 :: a -> b m2' :: a -> b
+    Boot file:   class C2 a b
+                     RecFlag NonRecursive
+                     m2 :: a -> b
+
+RnFail055.hs-boot:29:23:
+    Class `C3' has conflicting definitions in the module and its hs-boot file
+    Main module: class (Eq a, Ord a) => C3 a RecFlag NonRecursive
+    Boot file:   class (Ord a, Eq a) => C3 a RecFlag NonRecursive
diff --git a/testsuite/tests/ghc-regress/typecheck/should_compile/all.T b/testsuite/tests/ghc-regress/typecheck/should_compile/all.T
index b7f2ec77f7..acee384261 100644
--- a/testsuite/tests/ghc-regress/typecheck/should_compile/all.T
+++ b/testsuite/tests/ghc-regress/typecheck/should_compile/all.T
@@ -222,10 +222,10 @@ test('tc207', normal, compile, [''])
 test('tc208', normal, compile, [''])
 test('tc209', normal, compile, [''])
 test('tc210', normal, compile, [''])
-test('tc211', normal, compile, [''])
+test('tc211', if_compiler_lt('ghc', '6.11', expect_fail), compile, [''])
 test('tc212', normal, compile, [''])
 test('tc213', normal, compile, [''])
-test('tc214', normal, compile, [''])
+test('tc214', if_compiler_lt('ghc', '6.11', expect_fail), compile, [''])
 test('tc215', expect_broken(366), compile, [''])
 test('tc216', normal, compile, [''])
 test('tc217', reqlib('mtl'), compile, [''])
@@ -260,7 +260,8 @@ test('tc242', normal, compile, [''])
 test('tc243', normal, compile, [''])
 test('tc244', if_compiler_lt('ghc', '6.11', expect_fail), compile, [''])
 test('tc245',
-     extra_clean(['Tc245_A.hi', 'Tc245_A.o', 'tc245.hi', 'tc245.o']),
+     [extra_clean(['Tc245_A.hi', 'Tc245_A.o', 'tc245.hi', 'tc245.o']),
+      if_compiler_lt('ghc', '6.11', expect_fail)],
      run_command,
      ['$MAKE -s --no-print-directory tc245'])
 
diff --git a/testsuite/tests/ghc-regress/typecheck/should_fail/T2994.stderr-6.10 b/testsuite/tests/ghc-regress/typecheck/should_fail/T2994.stderr-6.10
new file mode 100644
index 0000000000..b87673d3f7
--- /dev/null
+++ b/testsuite/tests/ghc-regress/typecheck/should_fail/T2994.stderr-6.10
@@ -0,0 +1,9 @@
+
+T2994.hs:11:21:
+    `Reader' r' is not applied to enough type arguments
+    Expected kind `*', but `Reader' r' has kind `* -> *'
+    In the instance declaration for `MonadReader (Reader' r)'
+
+T2994.hs:13:9:
+    Kind error: `MonadReader' is applied to too many type arguments
+    In the instance declaration for `MonadReader r r (Reader' r)'
diff --git a/testsuite/tests/ghc-regress/typecheck/should_fail/all.T b/testsuite/tests/ghc-regress/typecheck/should_fail/all.T
index df78bdec37..acbcf1622d 100644
--- a/testsuite/tests/ghc-regress/typecheck/should_fail/all.T
+++ b/testsuite/tests/ghc-regress/typecheck/should_fail/all.T
@@ -152,7 +152,10 @@ test('tcfail161', normal, compile_fail, [''])
 test('tcfail162', normal, compile_fail, [''])
 test('tcfail163', normal, compile_fail, [''])
 test('tcfail164', normal, compile_fail, [''])
-test('tcfail165', normal, compile, [''])	  # Succeeds now!
+test('tcfail165',
+     if_compiler_lt('ghc', '6.11', expect_fail),
+     compile,
+     [''])	  # Succeeds now!
 test('tcfail166', normal, compile_fail, [''])
 test('tcfail167', normal, compile_fail, [''])
 test('tcfail168', normal, compile_fail, [''])
@@ -161,7 +164,10 @@ test('tcfail170', normal, compile_fail, [''])
 test('tcfail171', normal, compile_fail, [''])
 test('tcfail172', normal, compile_fail, [''])
 test('tcfail173', normal, compile_fail, [''])
-test('tcfail174', normal, compile_fail, [''])
+test('tcfail174',
+     if_compiler_lt('ghc', '6.11', expect_fail),
+     compile_fail,
+     [''])
 test('tcfail175', normal, compile_fail, [''])
 test('tcfail176', normal, compile_fail, [''])
 test('tcfail177', expect_broken(1176), compile_fail, [''])
diff --git a/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail028.stderr-6.10 b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail028.stderr-6.10
new file mode 100644
index 0000000000..67394f7b92
--- /dev/null
+++ b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail028.stderr-6.10
@@ -0,0 +1,5 @@
+
+tcfail028.hs:4:15:
+    `A a' is not applied to enough type arguments
+    Expected kind `?', but `A a' has kind `k -> *'
+    In the data type declaration for `A'
diff --git a/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail036.stderr-6.10 b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail036.stderr-6.10
new file mode 100644
index 0000000000..496d861905
--- /dev/null
+++ b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail036.stderr-6.10
@@ -0,0 +1,10 @@
+
+tcfail036.hs:6:9:
+    Duplicate instance declarations:
+      instance Num NUM -- Defined at tcfail036.hs:6:9-15
+      instance Num NUM -- Defined at tcfail036.hs:8:9-15
+
+tcfail036.hs:9:12:
+    Class `Num' used as a type
+    In the type `Num'
+    In the instance declaration for `Eq Num'
diff --git a/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail057.stderr-6.10 b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail057.stderr-6.10
new file mode 100644
index 0000000000..8bd8e953a0
--- /dev/null
+++ b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail057.stderr-6.10
@@ -0,0 +1,7 @@
+
+tcfail057.hs:5:6:
+    Class `RealFrac' used as a type
+    In the type `RealFrac a'
+    In the type `(RealFrac a) -> a -> a'
+    In the type signature for `f':
+      f :: (RealFrac a) -> a -> a
diff --git a/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail058.stderr-6.10 b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail058.stderr-6.10
new file mode 100644
index 0000000000..5d70ac9e76
--- /dev/null
+++ b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail058.stderr-6.10
@@ -0,0 +1,6 @@
+
+tcfail058.hs:6:5:
+    Type constructor `Array' used as a class
+    In the type `(Array a) => a -> b'
+    In the type signature for `f':
+      f :: (Array a) => a -> b
diff --git a/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail063.stderr-6.10 b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail063.stderr-6.10
new file mode 100644
index 0000000000..6a424bf9f3
--- /dev/null
+++ b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail063.stderr-6.10
@@ -0,0 +1,7 @@
+
+tcfail063.hs:6:8:
+    `Num' is not applied to enough type arguments
+    Expected kind `*', but `Num' has kind `* -> *'
+    In the type `(Num) => Int -> a -> Int'
+    In the type signature for `moby':
+      moby :: (Num) => Int -> a -> Int
diff --git a/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail070.stderr-6.10 b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail070.stderr-6.10
new file mode 100644
index 0000000000..8b608aa31c
--- /dev/null
+++ b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail070.stderr-6.10
@@ -0,0 +1,4 @@
+
+tcfail070.hs:15:14:
+    Kind error: `[Int]' is applied to too many type arguments
+    In the type synonym declaration for `State'
diff --git a/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail078.stderr-6.10 b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail078.stderr-6.10
new file mode 100644
index 0000000000..bc20f2d073
--- /dev/null
+++ b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail078.stderr-6.10
@@ -0,0 +1,6 @@
+
+tcfail078.hs:5:5:
+    Type constructor `Integer' used as a class
+    In the type `(Integer i) => i'
+    In the type signature for `f':
+      f :: (Integer i) => i
diff --git a/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail079.stderr-6.10 b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail079.stderr-6.10
new file mode 100644
index 0000000000..98279962a7
--- /dev/null
+++ b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail079.stderr-6.10
@@ -0,0 +1,5 @@
+
+tcfail079.hs:9:26:
+    Expecting a lifted type, but `Int#' is unlifted
+    Expected kind `*', but `Int#' has kind `#'
+    In the newtype declaration for `Unboxed'
diff --git a/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail094.stderr-6.10 b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail094.stderr-6.10
new file mode 100644
index 0000000000..b575587f0a
--- /dev/null
+++ b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail094.stderr-6.10
@@ -0,0 +1,4 @@
+
+tcfail094.hs:7:9:
+    Kind error: `Int' is applied to too many type arguments
+    In the type synonym declaration for `A'
diff --git a/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail110.stderr-6.10 b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail110.stderr-6.10
new file mode 100644
index 0000000000..9c9620b74b
--- /dev/null
+++ b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail110.stderr-6.10
@@ -0,0 +1,7 @@
+
+tcfail110.hs:8:29:
+    `Foo a' is not applied to enough type arguments
+    Expected kind `*', but `Foo a' has kind `* -> *'
+    In the type `forall a. Foo a'
+    In the type `(forall a. Foo a) -> IO ()'
+    In the type `String -> (forall a. Foo a) -> IO ()'
diff --git a/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail113.stderr-6.10 b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail113.stderr-6.10
new file mode 100644
index 0000000000..3cbb794d68
--- /dev/null
+++ b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail113.stderr-6.10
@@ -0,0 +1,20 @@
+
+tcfail113.hs:12:6:
+    `Maybe' is not applied to enough type arguments
+    Expected kind `*', but `Maybe' has kind `* -> *'
+    In the type `[Maybe]'
+    In the type signature for `f':
+      f :: [Maybe]
+
+tcfail113.hs:15:7:
+    Kind mis-match
+    Expected kind `* -> *', but `Int' has kind `*'
+    In the type `T Int'
+    In the type signature for `g':
+      g :: T Int
+
+tcfail113.hs:18:5:
+    Kind error: `Int' is applied to too many type arguments
+    In the type `Int Int'
+    In the type signature for `h':
+      h :: Int Int
diff --git a/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail132.stderr-6.10 b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail132.stderr-6.10
new file mode 100644
index 0000000000..d505b04fb1
--- /dev/null
+++ b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail132.stderr-6.10
@@ -0,0 +1,6 @@
+
+tcfail132.hs:17:35:
+    Kind mis-match
+    Expected kind `k -> k1 -> k2 -> *',
+    but `Object f' f t' has kind `k -> k1 -> *'
+    In the type synonym declaration for `LiftObject'
diff --git a/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail136.stderr-6.10 b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail136.stderr-6.10
new file mode 100644
index 0000000000..793355661b
--- /dev/null
+++ b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail136.stderr-6.10
@@ -0,0 +1,5 @@
+
+tcfail136.hs:9:34:
+    `SymDict' is not applied to enough type arguments
+    Expected kind `?', but `SymDict' has kind `k -> *'
+    In the data type declaration for `SymTable'
diff --git a/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail147.stderr-6.10 b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail147.stderr-6.10
new file mode 100644
index 0000000000..ca7b5ae53f
--- /dev/null
+++ b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail147.stderr-6.10
@@ -0,0 +1,5 @@
+
+tcfail147.hs:7:18:
+    `XClass' is not applied to enough type arguments
+    Expected kind `?', but `XClass' has kind `k -> *'
+    In the data type declaration for `XData'
diff --git a/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail148.stderr-6.10 b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail148.stderr-6.10
new file mode 100644
index 0000000000..20147de24d
--- /dev/null
+++ b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail148.stderr-6.10
@@ -0,0 +1,5 @@
+
+tcfail148.hs:5:27:
+    `List' is not applied to enough type arguments
+    Expected kind `?', but `List' has kind `* -> *'
+    In the data type declaration for `List'
diff --git a/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail160.stderr-6.10 b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail160.stderr-6.10
new file mode 100644
index 0000000000..5fa5557740
--- /dev/null
+++ b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail160.stderr-6.10
@@ -0,0 +1,7 @@
+
+tcfail160.hs:7:7:
+    Kind mis-match
+    Expected kind `* -> *', but `Int' has kind `*'
+    In the type `T Int'
+    In the type signature for `g':
+      g :: T Int
diff --git a/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail161.stderr-6.10 b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail161.stderr-6.10
new file mode 100644
index 0000000000..2db637f860
--- /dev/null
+++ b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail161.stderr-6.10
@@ -0,0 +1,7 @@
+
+tcfail161.hs:5:6:
+    `Maybe' is not applied to enough type arguments
+    Expected kind `*', but `Maybe' has kind `* -> *'
+    In the type `[Maybe]'
+    In the type signature for `f':
+      f :: [Maybe]
diff --git a/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail162.stderr-6.10 b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail162.stderr-6.10
new file mode 100644
index 0000000000..b7d4f31abc
--- /dev/null
+++ b/testsuite/tests/ghc-regress/typecheck/should_fail/tcfail162.stderr-6.10
@@ -0,0 +1,5 @@
+
+tcfail162.hs:10:15:
+    `ForeignPtr' is not applied to enough type arguments
+    Expected kind `?', but `ForeignPtr' has kind `* -> *'
+    In the data type declaration for `Foo'