[Git][ghc/ghc][wip/linear-types-caret] 4 commits: Make 'undefined x' linear in 'x' (#18731)

[Vladislav Zavialov]

Vladislav Zavialov pushed to branch wip/linear-types-caret at Glasgow Haskell Compiler / GHC


Commits:
bda55fa0 by Krzysztof Gogolewski at 2020-09-26T13:18:22-04:00
Make 'undefined x' linear in 'x' (#18731)

- - - - -
160fba4a by Krzysztof Gogolewski at 2020-09-26T13:19:00-04:00
Disallow linear types in FFI (#18472)

- - - - -
e124f2a7 by Krzysztof Gogolewski at 2020-09-26T13:19:36-04:00
Fix handling of function coercions (#18747)

This was broken when we added multiplicity to the function type.

- - - - -
8dbaa00e by Vladislav Zavialov at 2020-09-26T21:49:52+03:00
New linear types syntax: a %p -> b

Implements GHC Proposal 356

- - - - -


30 changed files:

- compiler/GHC/Core/Coercion.hs
- 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/Tc/Gen/App.hs
- compiler/GHC/Tc/Gen/Foreign.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/LinearHole.hs
- testsuite/tests/linear/should_compile/LinearTH2.hs
- testsuite/tests/linear/should_compile/MultConstructor.hs
- testsuite/tests/linear/should_compile/OldList.hs


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/4779d0ea5be60e271715d0b302b16039729eb425...8dbaa00e640c2d9f1ab274d44640f1d193895fd0

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/4779d0ea5be60e271715d0b302b16039729eb425...8dbaa00e640c2d9f1ab274d44640f1d193895fd0
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/20200926/852890db/attachment.html>