[commit: ghc] wip/rae: Test #9151 in typecheck/should_compile/T9151. (12c1c99)

[git at git.haskell.org]

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

On branch  : wip/rae
Link       : http://ghc.haskell.org/trac/ghc/changeset/12c1c9979424f9f89ae35fa4a690c2221c1f25f6/ghc

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

commit 12c1c9979424f9f89ae35fa4a690c2221c1f25f6
Author: Richard Eisenberg <eir at cis.upenn.edu>
Date:   Wed Nov 12 14:48:25 2014 -0500

    Test #9151 in typecheck/should_compile/T9151.
    
    This test case should pass right now -- the bug is fixed,
    presumably by #9200.


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

12c1c9979424f9f89ae35fa4a690c2221c1f25f6
 testsuite/tests/typecheck/should_compile/T9151.hs | 11 +++++++++++
 testsuite/tests/typecheck/should_compile/all.T    |  1 +
 2 files changed, 12 insertions(+)

diff --git a/testsuite/tests/typecheck/should_compile/T9151.hs b/testsuite/tests/typecheck/should_compile/T9151.hs
new file mode 100644
index 0000000..351c563
--- /dev/null
+++ b/testsuite/tests/typecheck/should_compile/T9151.hs
@@ -0,0 +1,11 @@
+{-# LANGUAGE PolyKinds, DataKinds, TypeFamilies, UndecidableInstances #-}
+
+module T9151 where
+
+import Data.Proxy
+
+class PEnum (kproxy :: KProxy a) where
+  type ToEnum (x :: a) :: Bool
+  type ToEnum x = TEHelper
+
+type TEHelper = ToEnum Int
diff --git a/testsuite/tests/typecheck/should_compile/all.T b/testsuite/tests/typecheck/should_compile/all.T
index ef830d1..ea7d343 100644
--- a/testsuite/tests/typecheck/should_compile/all.T
+++ b/testsuite/tests/typecheck/should_compile/all.T
@@ -425,3 +425,4 @@ test('T9708', normal, compile_fail, [''])
 test('T9404', normal, compile, [''])
 test('T9404b', normal, compile, [''])
 test('T7220', normal, compile, [''])
+test('T9151', normal, compile, [''])