[Git][ghc/ghc][ghc-9.0] 3 commits: Linear types: fix kind inference when checking datacons

[Ben Gamari]

Ben Gamari pushed to branch ghc-9.0 at Glasgow Haskell Compiler / GHC


Commits:
93df442a by Krzysztof Gogolewski at 2020-09-30T01:05:27+03:00
Linear types: fix kind inference when checking datacons

(cherry picked from b31a3360e2ef12f3ec7eaf66b3600247c1eb36c3)

- - - - -
7c7bd94d by Vladislav Zavialov at 2020-09-30T01:06:07+03:00
New linear types syntax: a %p -> b (#18459)

Implements GHC Proposal #356

Updates the haddock submodule.

(cherry-picked from 5830a12c46e7227c276a8a71213057595ee4fc04)

- - - - -
d5e13ceb by Vladislav Zavialov at 2020-10-02T01:39:25+03:00
Fix pretty-printing of the mult-polymorphic arrow

(cherry-picked from a8018c17747342444c67eeec21a506c89c1110e8)

- - - - -


30 changed files:

- compiler/GHC/Core/DataCon.hs
- compiler/GHC/Core/Multiplicity.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/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/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/LinearTH2.hs
- testsuite/tests/linear/should_compile/MultConstructor.hs
- testsuite/tests/linear/should_compile/OldList.hs
- testsuite/tests/linear/should_compile/Pr110.hs
- testsuite/tests/linear/should_compile/all.T
- testsuite/tests/linear/should_fail/Linear13.hs
- testsuite/tests/linear/should_fail/LinearAsPat.hs


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/90fe5cffb0b0ba1ff86b8b9bf5299d0ed8437ad7...d5e13cebc969f9820b6b9437afe0699e15bbc2ff

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/90fe5cffb0b0ba1ff86b8b9bf5299d0ed8437ad7...d5e13cebc969f9820b6b9437afe0699e15bbc2ff
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/20201002/6087c69b/attachment.html>