diff options
Diffstat (limited to 'testsuite/tests/polykinds/T7404.hs')
| -rw-r--r-- | testsuite/tests/polykinds/T7404.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/testsuite/tests/polykinds/T7404.hs b/testsuite/tests/polykinds/T7404.hs index e16c7d2c6a..653789c6fe 100644 --- a/testsuite/tests/polykinds/T7404.hs +++ b/testsuite/tests/polykinds/T7404.hs @@ -1,4 +1,6 @@ {-# LANGUAGE TypeFamilies, PolyKinds, ScopedTypeVariables #-} module T7404 where -type family Foo (x :: *) (y :: x) +import Data.Kind (Type) + +type family Foo (x :: Type) (y :: x) |