diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2021-01-27 11:35:45 +0000 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2021-01-28 23:38:34 +0000 |
commit | 3537e25346bd1a1093201e12d1d9aeb547a14787 (patch) | |
tree | 2596c14cc281840ece4aabbc6e32e6264437d75b /testsuite/tests | |
parent | 0249974e7622e35927060da21f9231cb1e6357b9 (diff) | |
download | haskell-3537e25346bd1a1093201e12d1d9aeb547a14787.tar.gz |
Zonk the returned kind in tcFamTyPatswip/T19250
The motivation is given in Note [tcFamTyPats: zonking the result kind].
Fixes #19250 -- the fix is easy.
Diffstat (limited to 'testsuite/tests')
-rw-r--r-- | testsuite/tests/polykinds/T19250.hs | 12 | ||||
-rw-r--r-- | testsuite/tests/polykinds/all.T | 1 |
2 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/polykinds/T19250.hs b/testsuite/tests/polykinds/T19250.hs new file mode 100644 index 0000000000..6781e4bd39 --- /dev/null +++ b/testsuite/tests/polykinds/T19250.hs @@ -0,0 +1,12 @@ +{-# LANGUAGE TypeOperators, TypeFamilies, ConstraintKinds, PolyKinds, DataKinds, EmptyDataDecls #-} + +module T19250 where + +import Data.Kind + +type Exp a = a -> Type + +type family Eval (e :: Exp a) :: a + +data Collapse :: [Constraint] -> Exp Constraint +type instance Eval (Collapse '[]) = () diff --git a/testsuite/tests/polykinds/all.T b/testsuite/tests/polykinds/all.T index c82f275f65..1be9bb11b5 100644 --- a/testsuite/tests/polykinds/all.T +++ b/testsuite/tests/polykinds/all.T @@ -234,3 +234,4 @@ test('T18855', normal, compile, ['']) test('T19092', normal, compile, ['']) test('T19093', normal, compile, ['']) test('T19094', normal, compile, ['']) +test('T19250', normal, compile, ['']) |