diff options
Diffstat (limited to 'testsuite/tests/polykinds/T9200.hs')
| -rw-r--r-- | testsuite/tests/polykinds/T9200.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/testsuite/tests/polykinds/T9200.hs b/testsuite/tests/polykinds/T9200.hs index ca050661a2..740536a516 100644 --- a/testsuite/tests/polykinds/T9200.hs +++ b/testsuite/tests/polykinds/T9200.hs @@ -2,12 +2,13 @@ TypeFamilies #-} module T9200 where +import Data.Proxy ------ -- test CUSK on classes class C (f :: k) (a :: k2) where - c_meth :: D a => () + c_meth :: D a => Proxy f -> Proxy a -> () class C () a => D a |