[commit: ghc] master: Test Trac #10041 (0f75a3f)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/0f75a3f0a15ac26e52dc3477fd6e5bc3cd5c6eca/ghc

>---------------------------------------------------------------

commit 0f75a3f0a15ac26e52dc3477fd6e5bc3cd5c6eca
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Fri Feb 6 15:16:51 2015 +0000

    Test Trac #10041


>---------------------------------------------------------------

0f75a3f0a15ac26e52dc3477fd6e5bc3cd5c6eca
 testsuite/tests/polykinds/T10041.hs | 10 ++++++++++
 testsuite/tests/polykinds/all.T     |  2 ++
 2 files changed, 12 insertions(+)

diff --git a/testsuite/tests/polykinds/T10041.hs b/testsuite/tests/polykinds/T10041.hs
new file mode 100644
index 0000000..920252f
--- /dev/null
+++ b/testsuite/tests/polykinds/T10041.hs
@@ -0,0 +1,10 @@
+{-# LANGUAGE PolyKinds, TypeFamilies, DataKinds #-}
+{-# LANGUAGE TypeOperators, GADTs, InstanceSigs #-}
+
+module T10041 where
+
+data family Sing (a :: k)
+data instance Sing (xs :: [k]) where
+  SNil :: Sing '[]
+
+class SingI (a :: ĸ) where
\ No newline at end of file
diff --git a/testsuite/tests/polykinds/all.T b/testsuite/tests/polykinds/all.T
index c86e317..7321387 100644
--- a/testsuite/tests/polykinds/all.T
+++ b/testsuite/tests/polykinds/all.T
@@ -114,3 +114,5 @@ test('T9838', normal, multimod_compile, ['T9838.hs','-v0'])
 test('T9574', normal, compile_fail, [''])
 test('T9833', normal, compile, [''])
 test('T7908', normal, compile, [''])
+test('T10041', normal, compile, [''])
+