diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-10-02 17:14:42 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-10-02 17:14:42 +0100 |
| commit | cc9a8c7bbebb641e29e79ea4cd62345b3912cda7 (patch) | |
| tree | b9d69be4e3200383ec24f053cf182d88282b3a00 /testsuite/tests/polykinds/T7278.hs | |
| parent | 31894278d88bc6d84321694dff27b84be381aaff (diff) | |
| download | haskell-cc9a8c7bbebb641e29e79ea4cd62345b3912cda7.tar.gz | |
Test Trac #7278
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 |