Test Trac #7645
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 14 Feb 2013 17:42:28 +0000 (17:42 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Thu, 14 Feb 2013 17:42:28 +0000 (17:42 +0000)
testsuite/tests/typecheck/should_fail/T7645.hs [new file with mode: 0644]
testsuite/tests/typecheck/should_fail/T7645.stderr [new file with mode: 0644]
testsuite/tests/typecheck/should_fail/all.T

diff --git a/testsuite/tests/typecheck/should_fail/T7645.hs b/testsuite/tests/typecheck/should_fail/T7645.hs
new file mode 100644 (file)
index 0000000..db086c8
--- /dev/null
@@ -0,0 +1,8 @@
+{-# LANGUAGE TypeOperators, KindSignatures #-}
+module T7645 where
+
+data (+) a b = P
+
+f :: ((+) a (a :: *), Maybe)
+f = undefined
+
diff --git a/testsuite/tests/typecheck/should_fail/T7645.stderr b/testsuite/tests/typecheck/should_fail/T7645.stderr
new file mode 100644 (file)
index 0000000..96bd2e4
--- /dev/null
@@ -0,0 +1,6 @@
+
+T7645.hs:6:23:
+    Expecting one more argument to `Maybe'
+    The second argument of a tuple should have kind `*',
+      but `Maybe' has kind `* -> *'
+    In the type signature for `f': f :: ((+) a (a :: *), Maybe)
index 9cffd3d..de9cbb8 100644 (file)
@@ -295,3 +295,4 @@ test('T7545', normal, compile_fail, [''])
 test('T7279', normal, compile_fail, [''])
 test('T2247', normal, compile_fail, [''])
 test('T7609', normal, compile_fail, [''])
+test('T7645', normal, compile_fail, [''])