[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 15 commits: winio: restore console cp on exit

[Marge Bot]

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


Commits:
cdd0ff16 by Tamar Christina at 2020-07-24T18:12:23-04:00
winio: restore console cp on exit

- - - - -
c1f4f81d by Tamar Christina at 2020-07-24T18:13:00-04:00
winio: change memory allocation strategy and fix double free errors.

- - - - -
ba205046 by Simon Peyton Jones at 2020-07-24T18:13:35-04:00
Care with occCheckExpand in kind of occurrences

Issue #18451 showed that we could get an infinite type, through
over-use of occCheckExpand in the kind of an /occurrence/ of a
type variable.

See Note [Occurrence checking: look inside kinds] in GHC.Core.Type

This patch fixes the problem by making occCheckExpand less eager
to expand synonyms in kinds.

It also improves pretty printing of kinds, by *not* suppressing
the kind on a tyvar-binder like
    (a :: Const Type b)
where type Const p q = p.  Even though the kind of 'a' is Type,
we don't want to suppress the kind ascription.  Example: the
error message for polykinds/T18451{a,b}. See GHC.Core.TyCo.Ppr
Note [Suppressing * kinds].

- - - - -
6c2f864a by Zubin Duggal at 2020-07-24T18:44:18-04:00
Simplify XRec definition
Change `Located X` usage to `XRec pass X`
This increases the scope of the LPat experiment to almost all of GHC.
Introduce UnXRec and MapXRec classes

Fixes #17587 and #18408

Updates haddock submodule

Co-authored-by: Philipp Krüger <philipp.krueger1 at gmail.com>

- - - - -
cd6da974 by Sylvain Henry at 2020-07-24T18:44:22-04:00
DynFlags: store printer in TraceBinIfaceReading

We don't need to pass the whole DynFlags, just pass the logging
function, if any.

- - - - -
e0e78b11 by Sylvain Henry at 2020-07-24T18:44:22-04:00
Rename GHC.Driver.Ways into GHC.Platform.Ways

- - - - -
a93f4533 by Sylvain Henry at 2020-07-24T18:44:22-04:00
Add GHC.Platform.Profile

- - - - -
bb8c809e by Sylvain Henry at 2020-07-24T18:44:22-04:00
Put PlatformConstants into Platform

- - - - -
f89a0649 by Sylvain Henry at 2020-07-24T18:44:22-04:00
Remove platform constant wrappers

Platform constant wrappers took a DynFlags parameter, hence implicitly
used the target platform constants. We removed them to allow support
for several platforms at once (#14335) and to avoid having to pass
the full DynFlags to every function (#17957).

Metric Decrease:
   T4801

- - - - -
546a0ec9 by Sylvain Henry at 2020-07-24T18:44:22-04:00
Remove dead code in utils/derivConstants

- - - - -
eda19fd5 by Sylvain Henry at 2020-07-24T18:44:22-04:00
Move GHC.Platform into the compiler

Previously it was in ghc-boot so that ghc-pkg could use it. However it
wasn't necessary because ghc-pkg only uses a subset of it: reading
target arch and OS from the settings file. This is now done via
GHC.Platform.ArchOS (was called PlatformMini before).

- - - - -
387d060e by Sylvain Henry at 2020-07-24T18:44:22-04:00
Fix build systems

- - - - -
6a0f0401 by Sylvain Henry at 2020-07-24T18:44:22-04:00
Bump CountParserDeps

- - - - -
7dc8bd99 by Sylvain Henry at 2020-07-24T18:44:22-04:00
Add accessors to ArchOS

- - - - -
a69b4a76 by Stefan Schulze Frielinghaus at 2020-07-24T18:44:23-04:00
Require SMP support in order to build a threaded stage1

Fixes 18266

- - - - -


30 changed files:

- compiler/GHC.hs
- compiler/GHC/ByteCode/InfoTable.hs
- compiler/GHC/Cmm/CLabel.hs
- compiler/GHC/Cmm/CallConv.hs
- compiler/GHC/Cmm/Graph.hs
- compiler/GHC/Cmm/Info.hs
- compiler/GHC/Cmm/Info/Build.hs
- compiler/GHC/Cmm/LayoutStack.hs
- compiler/GHC/Cmm/Monad.hs
- compiler/GHC/Cmm/Parser.y
- compiler/GHC/Cmm/Type.hs
- compiler/GHC/Cmm/Utils.hs
- compiler/GHC/CmmToAsm.hs
- compiler/GHC/CmmToAsm/Config.hs
- compiler/GHC/CmmToAsm/Monad.hs
- compiler/GHC/CmmToC.hs
- compiler/GHC/CmmToLlvm.hs
- compiler/GHC/Core/TyCo/Ppr.hs
- compiler/GHC/Core/Type.hs
- compiler/GHC/CoreToByteCode.hs
- compiler/GHC/CoreToStg.hs
- compiler/GHC/CoreToStg/Prep.hs
- compiler/GHC/Driver/CodeOutput.hs
- compiler/GHC/Driver/Finder.hs
- compiler/GHC/Driver/Pipeline.hs
- compiler/GHC/Driver/Plugins.hs
- compiler/GHC/Driver/Session.hs
- compiler/GHC/Hs/Binds.hs
- compiler/GHC/Hs/Decls.hs
- compiler/GHC/Hs/Expr.hs


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/0ed582676566f5d8ef6edff4a0ee5517f5c90d4a...a69b4a761ec9fee8babc4cb6307330c772fbeb1a

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/0ed582676566f5d8ef6edff4a0ee5517f5c90d4a...a69b4a761ec9fee8babc4cb6307330c772fbeb1a
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/20200724/4bac856e/attachment.html>