[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 9 commits: Make the parser module less dependent on DynFlags

[Marge Bot]

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


Commits:
8e3f00dd by Sylvain Henry at 2020-09-29T17:24:03+02:00
Make the parser module less dependent on DynFlags

Bump haddock submodule

- - - - -
76a89aa4 by Sebastian Graf at 2020-09-29T20:27:39-04:00
PmCheck: Long-distance information for LocalBinds (#18626)

Now `desugarLocalBind` (formerly `desugarLet`) reasons about

  * `FunBind`s that
    * Have no pattern matches (so which aren't functions)
    * Have a singleton match group with a single GRHS
    * (which may have guards)
  * and looks through trivial post-typechecking `AbsBinds` in doing so
    to pick up the introduced renamings.

And desugars to `PmLet` LYG-style guards. Since GRHSs are no longer
denoted simply by `NonEmpty PmGRHS`, but also need to carry a `[PmGrd]`
for the `PmLet`s from `LocalBind`s, I added `PmGRHSs` to capture that.

Since we call out to the desugarer more often, I found that there were
superfluous warnings emitted when desugaring e.g. case expressions.
Thus, I made sure that we deactivate any warnings in the LYG desugaring
steps by the new wrapper function `noCheckDs`.

There's a regression test in `T18626`. Fixes #18626.

- - - - -
50ec6ae3 by Ben Gamari at 2020-09-29T20:27:40-04:00
testsuite: Mark T12971 as broken on Windows

Due to #17945.

- - - - -
60c9f8f9 by Ben Gamari at 2020-09-29T20:27:40-04:00
Bump Cabal, hsc2hs, directory, process submodules

Necessary for recent Win32 bump.

- - - - -
d715c4a9 by Sylvain Henry at 2020-09-29T20:27:41-04:00
Remove unsafeGlobalDynFlags (#17957, #14597)

There are still global variables but only 3 booleans instead of a single
DynFlags.

- - - - -
eaab32ed by Sylvain Henry at 2020-09-29T20:27:41-04:00
Remove unused global variables

Some removed globals variables were still declared in the RTS.

They were removed in the following commits:

* 4fc6524a2a4a0003495a96c8b84783286f65c198
* 0dc7985663efa1739aafb480759e2e2e7fca2a36
* bbd3c399939311ec3e308721ab87ca6b9443f358

- - - - -
7011deab by Richard Eisenberg at 2020-09-29T20:27:41-04:00
Omit redundant kind equality check in solver

See updated Note [Use loose types in inert set] in
GHC.Tc.Solver.Monad.

Close #18753.

- - - - -
f6ce34b1 by Sebastian Graf at 2020-09-29T20:27:42-04:00
Pmc: Don't call exprType on type arguments (#18767)

Fixes #18767.

- - - - -
b39d9555 by Richard Eisenberg at 2020-09-29T20:27:42-04:00
Regression test for #10709.

Close #10709

- - - - -


30 changed files:

- compiler/GHC.hs
- compiler/GHC/Cmm/Parser.y
- compiler/GHC/Core/Unfold.hs
- compiler/GHC/Driver/Backpack.hs
- compiler/GHC/Driver/Config.hs
- compiler/GHC/Driver/Main.hs
- compiler/GHC/Driver/Ppr.hs
- compiler/GHC/Driver/Session.hs
- compiler/GHC/Driver/Session.hs-boot
- compiler/GHC/HsToCore/Pmc.hs
- compiler/GHC/HsToCore/Pmc/Check.hs
- compiler/GHC/HsToCore/Pmc/Desugar.hs
- compiler/GHC/HsToCore/Pmc/Solver/Types.hs
- compiler/GHC/HsToCore/Pmc/Types.hs
- compiler/GHC/Parser.y
- compiler/GHC/Parser/Header.hs
- compiler/GHC/Parser/Lexer.x
- compiler/GHC/Parser/PostProcess.hs
- compiler/GHC/Runtime/Eval.hs
- compiler/GHC/StgToCmm/Bind.hs
- compiler/GHC/Tc/Solver/Monad.hs
- compiler/GHC/Types/Id.hs
- compiler/GHC/Utils/Error.hs
- + compiler/GHC/Utils/GlobalVars.hs
- compiler/GHC/Utils/Misc.hs
- compiler/GHC/Utils/Panic.hs
- compiler/HsVersions.h
- compiler/ghc.cabal.in
- ghc/GHCi/UI.hs
- ghc/ghc-bin.cabal.in


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/e38a599220c11566b9efa043b0d4b60f5eb1d30b...b39d9555b0b4df45baae05f72b4f7fd4141dcaaa

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/e38a599220c11566b9efa043b0d4b60f5eb1d30b...b39d9555b0b4df45baae05f72b4f7fd4141dcaaa
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/20200929/5b3ab713/attachment.html>