diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/SimpleFail9.hs')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/SimpleFail9.hs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/SimpleFail9.hs b/testsuite/tests/indexed-types/should_fail/SimpleFail9.hs index 9c1c4a82d2..0f20f78e95 100644 --- a/testsuite/tests/indexed-types/should_fail/SimpleFail9.hs +++ b/testsuite/tests/indexed-types/should_fail/SimpleFail9.hs @@ -2,8 +2,10 @@ module ShouldFail where +import Data.Kind + class C7 a b where - data S7 b :: * + data S7 b :: Type instance C7 Char (a, Bool) where data S7 (a, Bool) = S7_1 |