diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/T6018.hs-boot')
| -rw-r--r-- | testsuite/tests/typecheck/should_compile/T6018.hs-boot | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T6018.hs-boot b/testsuite/tests/typecheck/should_compile/T6018.hs-boot index 43641b5996..e12db97b6e 100644 --- a/testsuite/tests/typecheck/should_compile/T6018.hs-boot +++ b/testsuite/tests/typecheck/should_compile/T6018.hs-boot @@ -2,9 +2,12 @@ module T6018 where +import Data.Kind (Type) + -- these declarations use different type variables than the ones in the source -- file but they should be accepted nevertheless type family F d e f = (r :: k) | r -> d e f -type family FClosed (d :: *) (e :: *) (f :: *) = (r :: *) | r -> d e f where .. +type family FClosed (d :: Type) (e :: Type) (f :: Type) + = (r :: Type) | r -> d e f where .. |