[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 10 commits: Extend documentation for Data.List, mostly wrt infinite lists

[Marge Bot (@marge-bot)]

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


Commits:
da679f2e by Bodigrim at 2022-10-11T18:02:59-04:00
Extend documentation for Data.List, mostly wrt infinite lists

- - - - -
9c099387 by jwaldmann at 2022-10-11T18:02:59-04:00
Expand comment for Data.List.permutations
- - - - -
d3863cb7 by Bodigrim at 2022-10-11T18:03:37-04:00
ByteArray# is unlifted, not unboxed

- - - - -
09182e7b by Ben Gamari at 2022-10-11T21:35:05-04:00
rts: Add missing declaration of stg_noDuplicate

- - - - -
ffed413d by Ben Gamari at 2022-10-11T21:35:05-04:00
base: Move CString, CStringLen to GHC.Foreign

- - - - -
1cee3dc1 by Ben Gamari at 2022-10-11T21:35:05-04:00
base: Move IPE helpers to GHC.InfoProv

- - - - -
ee99db81 by Ben Gamari at 2022-10-11T21:35:05-04:00
rts: Refactor IPE tracing support

- - - - -
d6f382b0 by Ben Gamari at 2022-10-11T21:35:05-04:00
Refactor IPE initialization

Here we refactor the representation of info table provenance information
in object code to significantly reduce its size and link-time impact.
Specifically, we deduplicate strings and represent them as 32-bit
offsets into a common string table.

In addition, we rework the registration logic to eliminate allocation
from the registration path, which is run from a static initializer where
things like allocation are technically undefined behavior (although it
did previously seem to work). For similar reasons we eliminate lock
usage from registration path, instead relying on atomic CAS.

Closes #22077.

- - - - -
89c7f86a by Ben Gamari at 2022-10-11T21:35:05-04:00
Separate IPE source file from span

The source file name can very often be shared across many IPE entries
whereas the source coordinates are generally unique. Separate the two to
exploit sharing of the former.

- - - - -
3fc25b6b by Krzysztof Gogolewski at 2022-10-11T21:35:05-04:00
Make Cmm Lint messages use dump style

Lint errors indicate an internal error in GHC, so it makes sense to use
it instead of the user style. This is consistent with Core Lint and STG Lint:

https://gitlab.haskell.org/ghc/ghc/-/blob/22096652/compiler/GHC/Core/Lint.hs#L429

https://gitlab.haskell.org/ghc/ghc/-/blob/22096652/compiler/GHC/Stg/Lint.hs#L144

Fixes #22218.

- - - - -


30 changed files:

- compiler/GHC/Cmm/CLabel.hs
- compiler/GHC/Cmm/Lint.hs
- compiler/GHC/Cmm/Parser.y
- compiler/GHC/Driver/CodeOutput.hs
- compiler/GHC/Driver/Main.hs
- + compiler/GHC/StgToCmm/InfoTableProv.hs
- compiler/GHC/StgToCmm/Prof.hs
- compiler/ghc.cabal.in
- libraries/base/Data/Array/Byte.hs
- libraries/base/Data/List.hs
- libraries/base/Data/OldList.hs
- libraries/base/Foreign/C/String.hs
- libraries/base/GHC/Foreign.hs
- + libraries/base/GHC/InfoProv.hsc
- libraries/base/GHC/List.hs
- libraries/base/GHC/Stack/CCS.hsc
- libraries/base/GHC/Stack/CloneStack.hs
- libraries/base/base.cabal
- rts/IPE.c
- rts/IPE.h
- rts/RtsStartup.c
- rts/Trace.c
- rts/Trace.h
- rts/eventlog/EventLog.c
- rts/eventlog/EventLog.h
- rts/include/Cmm.h
- rts/include/Rts.h
- rts/include/rts/IPE.h
- rts/include/stg/MiscClosures.h
- rts/include/stg/SMP.h


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/c480bd0a37d192e59b8483cd3eee9b51481cb7ea...3fc25b6bb8688d2e1eddaadad168af2e34860ee6

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/c480bd0a37d192e59b8483cd3eee9b51481cb7ea...3fc25b6bb8688d2e1eddaadad168af2e34860ee6
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/20221011/d62e5ed1/attachment.html>