Test #9097.
authorRichard Eisenberg <eir@cis.upenn.edu>
Tue, 10 Jun 2014 20:06:00 +0000 (16:06 -0400)
committerRichard Eisenberg <eir@cis.upenn.edu>
Wed, 11 Jun 2014 13:27:42 +0000 (09:27 -0400)
testsuite/tests/indexed-types/should_fail/T9097.hs [new file with mode: 0644]
testsuite/tests/indexed-types/should_fail/T9097.stderr [new file with mode: 0644]
testsuite/tests/indexed-types/should_fail/all.T

diff --git a/testsuite/tests/indexed-types/should_fail/T9097.hs b/testsuite/tests/indexed-types/should_fail/T9097.hs
new file mode 100644 (file)
index 0000000..b18b90b
--- /dev/null
@@ -0,0 +1,10 @@
+{-# LANGUAGE TypeFamilies, DataKinds #-}
+
+module T9097 where
+
+import GHC.Exts
+
+type family Foo x where
+  Foo True = False
+  Foo False = False
+  Foo Any = True
diff --git a/testsuite/tests/indexed-types/should_fail/T9097.stderr b/testsuite/tests/indexed-types/should_fail/T9097.stderr
new file mode 100644 (file)
index 0000000..02dfc33
--- /dev/null
@@ -0,0 +1,5 @@
+
+T9097.hs:10:3:
+    Illegal type synonym family application in instance: Any
+    In the equations for closed type family ‘Foo’
+    In the type family declaration for ‘Foo’
index a5adfaa..9d3f851 100644 (file)
@@ -122,4 +122,4 @@ test('T8518', normal, compile_fail, [''])
 test('T9036', normal, compile_fail, [''])
 test('T9167', normal, compile_fail, [''])
 test('T9171', normal, compile_fail, [''])
-
+test('T9097', normal, compile_fail, [''])