[Git][ghc/ghc][ghc-9.0] 12 commits: Document -Wderiving-typeable

[Ben Gamari]

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


Commits:
b936c542 by MaxGabriel at 2020-10-12T14:19:41+02:00
Document -Wderiving-typeable

Tracking: #18641
(cherry picked from commit 73d2521688bd1da4b6bd1202e5325a00cb410a44)

- - - - -
c073a4ab by Hécate at 2020-10-12T14:20:47+02:00
Remove the list of loaded modules from the ghci prompt

(cherry picked from commit 086ef01813069fad84cafe81cab37527d41c8568)

- - - - -
aff164bc by Benjamin Maurer at 2020-10-12T14:21:51+02:00
Workaround for #18623: GHC crashes bc. under rlimit for vmem it will reserve
_all_ of it, leaving nothing for, e.g., thread stacks.
Fix will only allocate 2/3rds and check whether remainder is at least large
enough for minimum amount of thread stacks.

(cherry picked from commit 74c797f6b72c4d01f5e0092dfac1461f3f3dd7a2)

- - - - -
44779899 by Krzysztof Gogolewski at 2020-10-12T14:22:35+02:00
Add a flag to indicate that gcc supports -no-pie

Fixes #17919.

(cherry picked from commit e48cab2a57f2342891f985bcb44817e17e985275)

- - - - -
ba446875 by Krzysztof Gogolewski at 2020-10-12T14:23:25+02:00
Fix linear types in TH splices (#18465)

(cherry picked from commit 802b5e6fdd6dfc58396a9dca1903dc5a1d6634ca)

- - - - -
b10154d6 by Icelandjack at 2020-10-12T14:25:47+02:00
Replaced MkT1 with T1 in type signatures.

(cherry picked from commit b81350bb925f8cb309355ee46238dbc11b796faf)

- - - - -
baa55369 by Krzysztof Gogolewski at 2020-10-12T14:26:12+02:00
Linear types: fix quantification in GADTs (#18790)

(cherry picked from commit 22f218b729a751bc5e5965624a716fc542f502a5)

- - - - -
146cff70 by Alan Zimmerman at 2020-10-12T14:27:02+02:00
Preserve as-parsed arrow type for HsUnrestrictedArrow

When linear types are disabled, HsUnrestrictedArrow is treated as
HslinearArrow.

Move this adjustment into the type checking phase, so that the parsed
source accurately represents the source as parsed.

Closes #18791

(cherry picked from commit d6dff830754a97220eacf032c32cd54b18654917)

- - - - -
8c370e11 by Alan Zimmerman at 2020-10-12T14:27:30+02:00
ApiAnnotations : preserve parens in GADTs

A cleanup in 7f418acf61e accidentally discarded some parens in
ConDeclGADT.

Make sure these stay in the AST in a usable format.

Also ensure the AnnLolly does not get lost in a GADT.

(cherry picked from commit 36787bba78ae5acbb857c84b85b8feb7c83e54a5)

- - - - -
15c4eb1f by Krzysztof Gogolewski at 2020-10-12T14:28:15+02:00
Linear types: fix roles in GADTs (#18799)

(cherry picked from commit 8fafb304cacae69f8dbbdcf22ab858a5b28b6818)

- - - - -
a740aa0b by Sylvain Henry at 2020-10-12T15:10:13+02:00
Bignum: match on small Integer/Natural

Previously we only matched on *variables* whose unfoldings were a ConApp
of the form `IS lit#` or `NS lit##`. But we forgot to match on the
ConApp directly... As a consequence, constant folding only worked after
the FloatOut pass which creates bindings for most sub-expressions. With
this patch, matching on bignums works even with -O0 (see bignumMatch
test).

- - - - -
d09e7e41 by Sylvain Henry at 2020-10-12T15:10:30+02:00
Bignum: fix bigNatCompareWord# bug (#18813)

(cherry picked from commit 74ee1237bf243dd7d8b758a53695575c364c3088)

- - - - -


30 changed files:

- compiler/GHC/Core/SimpleOpt.hs
- compiler/GHC/Driver/Session.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/Rename/Module.hs
- compiler/GHC/Tc/Gen/Splice.hs
- compiler/GHC/Tc/TyCl.hs
- compiler/GHC/Tc/TyCl/Utils.hs
- docs/users_guide/expected-undocumented-flags.txt
- docs/users_guide/exts/linear_types.rst
- docs/users_guide/ghci.rst
- docs/users_guide/phases.rst
- docs/users_guide/using-warnings.rst
- ghc/GHCi/UI.hs
- libraries/ghc-bignum/src/GHC/Num/BigNat.hs
- rts/posix/OSMem.c
- testsuite/tests/haddock/should_compile_flag_haddock/T17544_kw.stderr
- + testsuite/tests/lib/integer/T18813.hs
- + testsuite/tests/lib/integer/T18813.stdout
- testsuite/tests/lib/integer/all.T
- + testsuite/tests/lib/integer/bignumMatch.hs
- + testsuite/tests/lib/integer/bignumMatch.stderr
- testsuite/tests/linear/should_compile/MultConstructor.hs
- + testsuite/tests/linear/should_fail/LinearRole.hs
- + testsuite/tests/linear/should_fail/LinearRole.stderr
- + testsuite/tests/linear/should_fail/LinearTHFail.hs


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/5d414fdc01a370db6d7e1b3526d80ca53345ca8a...d09e7e41cf79fe981a61eae46a93d8881859ff1f

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/5d414fdc01a370db6d7e1b3526d80ca53345ca8a...d09e7e41cf79fe981a61eae46a93d8881859ff1f
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/20201012/e617624f/attachment.html>