[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 6 commits: Don't rearrange (->) in the renamer

[Marge Bot]

 Marge Bot pushed to branch wip/marge_bot_batch_merge_job at Glasgow Haskell Compiler / GHC


Commits:
4edf5527 by Vladislav Zavialov at 2020-09-27T10:04:12-04:00
Don't rearrange (->) in the renamer

The parser produces an AST where the (->)
is already associated correctly:

  1. (->) has the least possible precedence
  2. (->) is right-associative

Thus we don't need to handle it in mkHsOpTyRn.

- - - - -
a9ce159b by Vladislav Zavialov at 2020-09-27T10:04:12-04:00
Remove outdated comment in rnHsTyKi

This comment dates back to 3df40b7b78044206bbcffe3e2c0a57d901baf5e8
and does not seem relevant anymore.

- - - - -
d839486f by Krzysztof Gogolewski at 2020-09-27T23:53:27+03:00
Linear types: fix kind inference when checking datacons

- - - - -
2149a7bf by Vladislav Zavialov at 2020-09-28T14:02:31+03:00
New linear types syntax: a %p -> b (#18459)

Implements GHC Proposal #356

Updates the haddock submodule.

- - - - -
04cf0a5a by Vladislav Zavialov at 2020-09-28T14:02:41+03:00
Improve error messages for (a %m) without LinearTypes

Detect when the user forgets to enable the LinearTypes
extension and produce a better error message.

Steals the (a %m) syntax from TypeOperators, the workaround
is to write (a % m) instead.

- - - - -
79803a00 by Ryan Scott at 2020-09-28T13:41:04-04:00
Add regression test #18501

ghc/ghc!3220 ended up fixing #18501. This patch adds a regression
test for #18501 to ensure that it stays fixed.

- - - - -


30 changed files:

- compiler/GHC/Core/DataCon.hs
- compiler/GHC/Core/Multiplicity.hs
- compiler/GHC/Core/Opt/Arity.hs
- compiler/GHC/Core/Opt/Monad.hs
- compiler/GHC/Core/Opt/Simplify.hs
- compiler/GHC/Core/Opt/Simplify/Env.hs
- compiler/GHC/Core/SimpleOpt.hs
- compiler/GHC/Hs/Decls.hs
- compiler/GHC/Hs/Type.hs
- compiler/GHC/Parser.y
- compiler/GHC/Parser/Annotation.hs
- compiler/GHC/Parser/Lexer.x
- compiler/GHC/Parser/PostProcess.hs
- compiler/GHC/Rename/HsType.hs
- compiler/GHC/Tc/TyCl.hs
- compiler/GHC/Types/Id/Make.hs
- compiler/GHC/Utils/Outputable.hs
- docs/users_guide/9.0.1-notes.rst
- docs/users_guide/exts/linear_types.rst
- libraries/base/Data/Typeable/Internal.hs
- libraries/template-haskell/Language/Haskell/TH/Ppr.hs
- + testsuite/tests/ghci/scripts/T18501.script
- + testsuite/tests/ghci/scripts/T18501.stdout
- testsuite/tests/ghci/scripts/all.T
- testsuite/tests/linear/should_compile/Linear1Rule.hs
- testsuite/tests/linear/should_compile/LinearConstructors.hs
- testsuite/tests/linear/should_compile/LinearEmptyCase.hs
- testsuite/tests/linear/should_compile/LinearGuards.hs
- testsuite/tests/linear/should_compile/LinearHole.hs
- testsuite/tests/linear/should_compile/LinearTH2.hs


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/340e69a751dd1d329ae16a9f50c58b9183535edc...79803a001d4dfbec71368aa475763c14b9f8fe9e

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/340e69a751dd1d329ae16a9f50c58b9183535edc...79803a001d4dfbec71368aa475763c14b9f8fe9e
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/20200928/3b0cf69a/attachment.html>