diff options
-rw-r--r-- | testsuite/tests/typecheck/should_compile/T11506.hs | 13 | ||||
-rw-r--r-- | testsuite/tests/typecheck/should_compile/all.T | 1 |
2 files changed, 14 insertions, 0 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T11506.hs b/testsuite/tests/typecheck/should_compile/T11506.hs new file mode 100644 index 0000000000..a5db195e38 --- /dev/null +++ b/testsuite/tests/typecheck/should_compile/T11506.hs @@ -0,0 +1,13 @@ +{-# LANGUAGE PolyKinds, ExistentialQuantification, ScopedTypeVariables, + TypeFamilies, TypeInType #-} + +module T11506 where + +import Data.Proxy +import Data.Kind + +type family ProxyType where ProxyType = (Proxy :: Type -> Type) + +data T = forall a. MkT (ProxyType a) + +foo (MkT (_ :: Proxy a)) = const True (undefined :: a) diff --git a/testsuite/tests/typecheck/should_compile/all.T b/testsuite/tests/typecheck/should_compile/all.T index 56eecc0374..7fca87cca4 100644 --- a/testsuite/tests/typecheck/should_compile/all.T +++ b/testsuite/tests/typecheck/should_compile/all.T @@ -497,6 +497,7 @@ test('RebindNegate', normal, compile, ['']) test('T11319', normal, compile, ['']) test('T11397', normal, compile, ['']) test('T11458', normal, compile, ['']) +test('T11506', normal, compile, ['']) test('T11524', normal, compile, ['']) test('T11552', normal, compile, ['']) test('T11246', normal, compile, ['']) |