diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2020-05-15 15:27:34 +0200 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-05-21 12:22:35 -0400 |
| commit | a127508137ba69d2fe1e563d2bbb9fdd9120ae85 (patch) | |
| tree | 73e60d4e2e5279627b0aa67d6b4cd2696e05330b | |
| parent | 4ca0c8a17b9d3a7e8ff8a93cc9e83be5173f8e14 (diff) | |
| download | haskell-a127508137ba69d2fe1e563d2bbb9fdd9120ae85.tar.gz | |
Add a regression test for #11506
The testcase works now.
See explanation in https://gitlab.haskell.org/ghc/ghc/issues/11506#note_273202
| -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 c4028d6e25..9e19ba6d9b 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, ['']) |