diff options
| author | Richard Eisenberg <rae@cs.brynmawr.edu> | 2017-08-15 17:22:50 -0400 |
|---|---|---|
| committer | Richard Eisenberg <rae@cs.brynmawr.edu> | 2017-09-28 21:02:38 -0400 |
| commit | 7aa000b625c677534c87da43de31c27a2b969183 (patch) | |
| tree | a8f0f64ff2160ec187e1052433b7c5a75768d718 /testsuite/tests/overloadedrecflds | |
| parent | 5935acdb1302263011c2023d5e7f4ec496c972c0 (diff) | |
| download | haskell-7aa000b625c677534c87da43de31c27a2b969183.tar.gz | |
Fix #13391 by checking for kind-GADTs
The check is a bit gnarly, but I couldn't think of a better way.
See the new code in TcTyClsDecls.
test case: polykinds/T13391
Diffstat (limited to 'testsuite/tests/overloadedrecflds')
| -rw-r--r-- | testsuite/tests/overloadedrecflds/should_run/overloadedrecfldsrun07.hs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/testsuite/tests/overloadedrecflds/should_run/overloadedrecfldsrun07.hs b/testsuite/tests/overloadedrecflds/should_run/overloadedrecfldsrun07.hs index 25da616583..c492ac87a1 100644 --- a/testsuite/tests/overloadedrecflds/should_run/overloadedrecfldsrun07.hs +++ b/testsuite/tests/overloadedrecflds/should_run/overloadedrecfldsrun07.hs @@ -4,7 +4,7 @@ , GADTs , MultiParamTypeClasses , OverloadedLabels - , PolyKinds + , TypeInType , ScopedTypeVariables , TypeApplications , TypeOperators @@ -13,12 +13,13 @@ import GHC.OverloadedLabels import GHC.Records -import GHC.TypeLits +import GHC.TypeLits hiding (type (*)) +import Data.Kind data Label (x :: Symbol) = Label data Labelled x a = Label x := a -data Rec :: [(k, *)] -> * where +data Rec :: forall k. [(k, *)] -> * where Nil :: Rec '[] (:>) :: Labelled x a -> Rec xs -> Rec ('(x, a) ': xs) infixr 5 :> |