[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 12 commits: Do absence analysis on stable unfoldings

[Marge Bot]

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


Commits:
7cf09ab0 by Simon Peyton Jones at 2020-09-17T01:27:25-04:00
Do absence analysis on stable unfoldings

Ticket #18638 showed that Very Bad Things happen if we fail
to do absence analysis on stable unfoldings.  It's all described
in Note [Absence analysis for stable unfoldings and RULES].

I'm a bit surprised this hasn't bitten us before. Fortunately
the fix is pretty simple.

- - - - -
76d3bcbc by Leif Metcalf at 2020-09-17T01:28:01-04:00
Replace deprecated git --recursive

The --recursive flag of git-clone has been replaced by the
--recurse-submodules flag since git 1.7.4, released in 2011.
- - - - -
da8f4ddd by Richard Eisenberg at 2020-09-17T01:28:38-04:00
Document IfaceTupleTy

- - - - -
e5b378cd by HaskellMouse at 2020-09-17T01:59:32-04:00
Added explicit fixity to (~).

Solves #18252

- - - - -
8181777e by Cary Robbins at 2020-09-17T01:59:35-04:00
Make the 'IsString (Const a b)' instance polykinded on 'b'

- - - - -
5f4208db by Ben Gamari at 2020-09-17T01:59:36-04:00
rts/win32: Fix missing #include's

These slipped through CI.

- - - - -
5f4c5530 by Ben Gamari at 2020-09-17T01:59:36-04:00
Bump Win32 submodule to 2.9.0.0

Also bumps Cabal, directory

- - - - -
3ccdc45b by Ben Gamari at 2020-09-17T01:59:36-04:00
Bump version to 9.0

Bumps haskeline and haddock submodules.

(cherry picked from commit f218cfc92f7b1a1e01190851972bb9a0e0f3c682)

- - - - -
b17d2cb9 by Leif Metcalf at 2020-09-17T01:59:36-04:00
Make Z-encoding comment into a note

- - - - -
980dba09 by Leif Metcalf at 2020-09-17T01:59:36-04:00
Cosmetic

- - - - -
29fcb9db by Vladislav Zavialov at 2020-09-17T01:59:37-04:00
Parser.y: clarify treatment of @{-# UNPACK #-}

Before this patch, we had this parser production:

	ftype : ...
	      | ftype PREFIX_AT tyarg  { ... }

And 'tyarg' is defined as follows:

	tyarg : atype              { ... }
	      | unpackedness atype { ... }

So one might get the (false) impression that that parser production is
intended to parse things like:

	F @{-# UNPACK #-} X

However, the lexer wouldn't produce PREFIX_AT followed by 'unpackedness',
as the '@' operator followed by '{-' is not considered prefix.

Thus there's no point using 'tyarg' after PREFIX_AT,
and a simple 'atype' will suffice:

	ftype : ...
	      | ftype PREFIX_AT atype  { ... }

This change has no user-facing consequences. It just makes the grammar a
bit more clear.

- - - - -
ffa2045c by Benjamin Maurer at 2020-09-17T01:59:38-04:00
Documented '-m' flags for machine specific instruction extensions.
See #18641 'Documenting the Expected Undocumented Flags'

- - - - -


30 changed files:

- README.md
- compiler/GHC/Core/FVs.hs
- compiler/GHC/Core/Opt/DmdAnal.hs
- compiler/GHC/Data/FastString.hs
- compiler/GHC/Iface/Type.hs
- compiler/GHC/Parser.y
- compiler/GHC/Types/Demand.hs
- compiler/GHC/Utils/Encoding.hs
- compiler/ghc.cabal.in
- configure.ac
- docs/users_guide/expected-undocumented-flags.txt
- docs/users_guide/using.rst
- ghc/ghc-bin.cabal.in
- libraries/Cabal
- libraries/base/Data/String.hs
- libraries/directory
- libraries/ghc-prim/GHC/Types.hs
- libraries/ghc-prim/changelog.md
- libraries/haskeline
- rts/win32/IOManager.c
- rts/win32/WorkQueue.c
- testsuite/tests/ghci/T18060/T18060.stdout
- testsuite/tests/ghci/scripts/T10059.stdout
- + testsuite/tests/simplCore/should_run/T18638.hs
- + testsuite/tests/simplCore/should_run/T18638.stdout
- testsuite/tests/simplCore/should_run/all.T
- + testsuite/tests/typecheck/should_compile/T18252.hs
- + testsuite/tests/typecheck/should_fail/T18252a.hs
- + testsuite/tests/typecheck/should_fail/T18252a.stderr
- utils/check-api-annotations/check-api-annotations.cabal


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/f101b540c6edd462f508f91bc5f888f63fde7140...ffa2045c5b08014dab04ccbdd94dd82aecfd0552

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/f101b540c6edd462f508f91bc5f888f63fde7140...ffa2045c5b08014dab04ccbdd94dd82aecfd0552
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/20200917/23062f68/attachment-0001.html>