[Git][ghc/ghc][master] Fix #17021 by checking more return kinds

[Marge Bot]

 Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC


Commits:
53ff2cd0 by Richard Eisenberg at 2020-03-17T13:46:57Z
Fix #17021 by checking more return kinds

All the details are in new Note [Datatype return kinds] in
TcTyClsDecls.

Test case: typecheck/should_fail/T17021{,b}
           typecheck/should_compile/T17021a

Updates haddock submodule

- - - - -


30 changed files:

- compiler/GHC/Core/Coercion/Axiom.hs
- compiler/GHC/Core/FamInstEnv.hs
- compiler/GHC/Core/Lint.hs
- compiler/GHC/Core/Unify.hs
- compiler/GHC/Hs/Utils.hs
- compiler/GHC/HsToCore/Expr.hs
- compiler/typecheck/FamInst.hs
- compiler/typecheck/TcHsType.hs
- compiler/typecheck/TcInstDcls.hs
- compiler/typecheck/TcTyClsDecls.hs
- docs/users_guide/exts/poly_kinds.rst
- testsuite/tests/polykinds/T15787.stderr
- testsuite/tests/polykinds/T7230.stderr
- testsuite/tests/polykinds/T9222.stderr
- + testsuite/tests/typecheck/should_compile/T17021a.hs
- testsuite/tests/typecheck/should_compile/all.T
- testsuite/tests/typecheck/should_fail/T12729.hs
- testsuite/tests/typecheck/should_fail/T12729.stderr
- testsuite/tests/typecheck/should_fail/T14048a.stderr
- testsuite/tests/typecheck/should_fail/T14048b.stderr
- testsuite/tests/typecheck/should_fail/T14048c.stderr
- testsuite/tests/typecheck/should_fail/T15807.stderr
- testsuite/tests/typecheck/should_fail/T15883.stderr
- testsuite/tests/typecheck/should_fail/T16821.stderr
- testsuite/tests/typecheck/should_fail/T16829a.stderr
- testsuite/tests/typecheck/should_fail/T16829b.stderr
- + testsuite/tests/typecheck/should_fail/T17021.hs
- + testsuite/tests/typecheck/should_fail/T17021.stderr
- + testsuite/tests/typecheck/should_fail/T17021b.hs
- + testsuite/tests/typecheck/should_fail/T17021b.stderr


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/commit/53ff2cd0c49735e8f709ac8a5ceab68483eb89df

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/commit/53ff2cd0c49735e8f709ac8a5ceab68483eb89df
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20200318/8e71f0bd/attachment.html>