[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 12 commits: Tag inference: Fix #21954 by retaining tagsigs of vars in function position.

[Marge Bot (@marge-bot)]

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


Commits:
d6ea8356 by Andreas Klebinger at 2022-09-15T10:12:41+02:00
Tag inference: Fix #21954 by retaining tagsigs of vars in function position.

For an expression like:

    case x of y
      Con z -> z

If we also retain the tag sig for z we can generate code to immediately return
it rather than calling out to stg_ap_0_fast.

- - - - -
7cce7007 by Andreas Klebinger at 2022-09-15T10:12:42+02:00
Stg.InferTags.Rewrite - Avoid some thunks.

- - - - -
a08c2b93 by Matthew Pickering at 2022-09-15T16:43:56-04:00
-Wunused-pattern-binds: Recurse into patterns to check whether there's a splice

See the examples in #22057 which show we have to traverse deeply into a
pattern to determine whether it contains a splice or not. The original
implementation pointed this out but deemed this very shallow traversal
"too expensive".

Fixes #22057

I also fixed an oversight in !7821 which meant we lost a warning which
was present in 9.2.2.

Fixes #22067

- - - - -
fc16444b by M Farkas-Dyck at 2022-09-15T16:44:00-04:00
Scrub partiality about `NewOrData`.

Rather than a list of constructors and a `NewOrData` flag, we define `data DataDefnCons a = NewTypeCon a | DataTypeCons [a]`, which enforces a newtype to have exactly one constructor.

Closes #22070.

- - - - -
7f2bc3f9 by M Farkas-Dyck at 2022-09-15T16:44:00-04:00
Make GADT constructor names `NonEmpty`.

Closes #22070.

- - - - -
fa614c58 by Cheng Shao at 2022-09-15T16:44:02-04:00
hadrian: enable -fprof-late only for profiling ways

- - - - -
496c1fbf by Cheng Shao at 2022-09-15T16:44:02-04:00
hadrian: add late_ccs flavour transformer

- - - - -
8d2bdc68 by Cheng Shao at 2022-09-15T16:44:05-04:00
configure: remove unused program checks

- - - - -
7c7b66e7 by Pierre Le Marre at 2022-09-15T16:44:08-04:00
Update to Unicode 15.0

- - - - -
5bcdd573 by Bodigrim at 2022-09-15T16:44:11-04:00
Avoid partial head and tail in ghc-heap; replace with total pattern-matching

- - - - -
b301c7ce by Cheng Shao at 2022-09-15T16:44:13-04:00
hadrian: relax Cabal upper bound to allow building with Cabal-3.8

A follow up of !8910.

- - - - -
3567157a by Alexis King at 2022-09-15T16:44:22-04:00
Add links to the continuations haddocks in the docs for each primop

fixes #22176

- - - - -


30 changed files:

- compiler/GHC/Builtin/primops.txt.pp
- compiler/GHC/Hs/Decls.hs
- compiler/GHC/Hs/Utils.hs
- compiler/GHC/HsToCore/Docs.hs
- compiler/GHC/HsToCore/Errors/Ppr.hs
- compiler/GHC/HsToCore/Errors/Types.hs
- compiler/GHC/HsToCore/Quote.hs
- compiler/GHC/Iface/Ext/Ast.hs
- compiler/GHC/Parser.y
- compiler/GHC/Parser/Errors/Ppr.hs
- compiler/GHC/Parser/Errors/Types.hs
- compiler/GHC/Parser/PostProcess.hs
- compiler/GHC/Parser/PostProcess/Haddock.hs
- compiler/GHC/Rename/Bind.hs
- compiler/GHC/Rename/Module.hs
- compiler/GHC/Rename/Names.hs
- compiler/GHC/Rename/Utils.hs
- compiler/GHC/Stg/InferTags/Rewrite.hs
- compiler/GHC/Tc/TyCl.hs
- compiler/GHC/Tc/TyCl/Instance.hs
- compiler/GHC/ThToHs.hs
- compiler/GHC/Types/Error/Codes.hs
- compiler/GHC/Utils/Monad.hs
- compiler/Language/Haskell/Syntax/Decls.hs
- configure.ac
- docs/users_guide/9.6.1-notes.rst
- hadrian/hadrian.cabal
- hadrian/src/Flavour.hs
- libraries/base/GHC/Unicode/Internal/Char/UnicodeData/GeneralCategory.hs
- libraries/base/GHC/Unicode/Internal/Char/UnicodeData/SimpleLowerCaseMapping.hs


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/ead19a53bcb051ad39e99846c53e418b7a4b816e...3567157a507ed243f8c12b0395be36f5c62f5929

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/ead19a53bcb051ad39e99846c53e418b7a4b816e...3567157a507ed243f8c12b0395be36f5c62f5929
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/20220915/1d83cbf8/attachment-0001.html>