diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/ClosedFam3.hs-boot')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/ClosedFam3.hs-boot | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/ClosedFam3.hs-boot b/testsuite/tests/indexed-types/should_fail/ClosedFam3.hs-boot index 5a10841ba4..5b603e8cd7 100644 --- a/testsuite/tests/indexed-types/should_fail/ClosedFam3.hs-boot +++ b/testsuite/tests/indexed-types/should_fail/ClosedFam3.hs-boot @@ -1,4 +1,4 @@ -{-# LANGUAGE TypeFamilies, PolyKinds #-} +{-# LANGUAGE TypeFamilies, PolyKinds, StandaloneKindSignatures #-} module ClosedFam3 where @@ -11,5 +11,6 @@ type family Bar a where Bar Int = Bool Bar Double = Char -type family Baz (a :: k) :: Type where +type Baz :: k -> Type +type family Baz a where Baz Int = Bool |