diff options
| author | Ross Paterson <R.Paterson@city.ac.uk> | 2022-09-25 15:33:25 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-09-27 14:12:01 -0400 |
| commit | 9b1595c87f0c2406bb340c5e27a4a45dfcde0e2c (patch) | |
| tree | 5058b79fa0484c7bb55bfc5515094dff50ae93b2 /testsuite/tests/type-data/should_fail/TDBadConsConstraint.hs | |
| parent | aeafdba5503b8d26a62dc7bc7078caef170d4154 (diff) | |
| download | haskell-9b1595c87f0c2406bb340c5e27a4a45dfcde0e2c.tar.gz | |
implement proposal 106 (Define Kinds Without Promotion) (fixes #6024)
includes corresponding changes to haddock submodule
Diffstat (limited to 'testsuite/tests/type-data/should_fail/TDBadConsConstraint.hs')
| -rw-r--r-- | testsuite/tests/type-data/should_fail/TDBadConsConstraint.hs | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/testsuite/tests/type-data/should_fail/TDBadConsConstraint.hs b/testsuite/tests/type-data/should_fail/TDBadConsConstraint.hs new file mode 100644 index 0000000000..43a709f516 --- /dev/null +++ b/testsuite/tests/type-data/should_fail/TDBadConsConstraint.hs @@ -0,0 +1,8 @@ +{-# LANGUAGE TypeData #-} +{-# LANGUAGE GADTs #-} +module TDConsConstraints where + +import Data.Kind (Type) + +type data Foo :: Type -> Type where + MkFoo3 :: Show a => Foo a |