diff options
| author | HaskellMouse <rinat.stryungis@serokell.io> | 2022-04-27 06:19:45 +0300 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-06-06 09:50:00 -0400 |
| commit | 9ce9ea5071af5c7a5b6fcef11ac6e19c14480901 (patch) | |
| tree | 7d6113e6e2eef0cefebf4302dda8ff4bec157b73 /testsuite/tests/polykinds/T18451a.stderr | |
| parent | 5a3fdcfd615b502f123bb31f42d22577d44748ac (diff) | |
| download | haskell-9ce9ea5071af5c7a5b6fcef11ac6e19c14480901.tar.gz | |
Deprecate TypeInType extension
This commit fixes #20312
It deprecates "TypeInType" extension
according to the following proposal:
https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0083-no-type-in-type.rst
It has been already implemented.
The migration strategy:
1. Disable TypeInType
2. Enable both DataKinds and PolyKinds extensions
Metric Decrease:
T16875
Diffstat (limited to 'testsuite/tests/polykinds/T18451a.stderr')
| -rw-r--r-- | testsuite/tests/polykinds/T18451a.stderr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/polykinds/T18451a.stderr b/testsuite/tests/polykinds/T18451a.stderr index b7ad0ee898..7a53c03d22 100644 --- a/testsuite/tests/polykinds/T18451a.stderr +++ b/testsuite/tests/polykinds/T18451a.stderr @@ -1,5 +1,5 @@ -T18451a.hs:10:15: error: +T18451a.hs:11:15: error: • These kind and type variables: a b (c :: Const Type b) are out of dependency order. Perhaps try this ordering: (b :: k) (a :: Const (*) b) (c :: Const (*) b) |