diff options
Diffstat (limited to 'testsuite/tests/polykinds/PolyInstances.hs')
| -rw-r--r-- | testsuite/tests/polykinds/PolyInstances.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/polykinds/PolyInstances.hs b/testsuite/tests/polykinds/PolyInstances.hs index cc15126142..858e1b5233 100644 --- a/testsuite/tests/polykinds/PolyInstances.hs +++ b/testsuite/tests/polykinds/PolyInstances.hs @@ -4,14 +4,14 @@ module PolyInstances where -import GHC.Exts +import Data.Kind import Data.Proxy class C (a :: k) instance (C a, C b) => C (a b) -data Dict :: Constraint -> * +data Dict :: Constraint -> Type instance C Dict |