From 9b1595c87f0c2406bb340c5e27a4a45dfcde0e2c Mon Sep 17 00:00:00 2001 From: Ross Paterson Date: Sun, 25 Sep 2022 15:33:25 +0100 Subject: implement proposal 106 (Define Kinds Without Promotion) (fixes #6024) includes corresponding changes to haddock submodule --- testsuite/tests/type-data/should_fail/TDBadConsConstraint.hs | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 testsuite/tests/type-data/should_fail/TDBadConsConstraint.hs (limited to 'testsuite/tests/type-data/should_fail/TDBadConsConstraint.hs') 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 -- cgit v1.2.1