diff options
Diffstat (limited to 'testsuite/tests/polykinds/T7278.hs')
| -rw-r--r-- | testsuite/tests/polykinds/T7278.hs | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T7278.hs b/testsuite/tests/polykinds/T7278.hs new file mode 100644 index 0000000000..d43e60c7a7 --- /dev/null +++ b/testsuite/tests/polykinds/T7278.hs @@ -0,0 +1,9 @@ +{-# LANGUAGE TypeFamilies, PolyKinds, MultiParamTypeClasses #-} +module T7278 where + +type family TF (t :: k) :: * -> * -> * + +class C (t :: k) (dcs :: * -> * -> *) + +f :: (C (t :: k) (TF t)) => TF t p1 p0 -> t p1 p0 +f = undefined -- panic caused by (t :: k) in the signature's context |