[Git][ghc/ghc][wip/ghc-9.10] 27 commits: Error messages: Improve Error messages for Data constructors in type signatures.

Ben Gamari (@bgamari) gitlab at gitlab.haskell.org
Sat Mar 9 14:41:04 UTC 2024



Ben Gamari pushed to branch wip/ghc-9.10 at Glasgow Haskell Compiler / GHC


Commits:
edb9bf77 by Jade at 2024-03-09T03:39:38-05:00
Error messages: Improve Error messages for Data constructors in type signatures.

This patch improves the error messages from invalid type signatures by
trying to guess what the user did and suggesting an appropriate fix.

Partially fixes: #17879

- - - - -
cfb197e3 by Patrick at 2024-03-09T03:40:15-05:00
HieAst: add module name #24493

The main purpose of this is to tuck the module name `xxx` in `module xxx where` into the hieAst.
It should fix #24493.

The following have been done:
1. Renamed and update the `tcg_doc_hdr :: Maybe (LHsDoc GhcRn)` to `tcg_hdr_info :: (Maybe (LHsDoc GhcRn), Maybe (XRec GhcRn ModuleName))`
   To store the located module name information.
2. update the `RenamedSource` and `RenamedStuff` with extra `Maybe (XRec GhcRn ModuleName)` located module name information.
3. add test `testsuite/tests/hiefile/should_compile/T24493.hs` to ensure the module name is added and update several relevent tests.
4. accompanied submodule haddoc test update MR in https://gitlab.haskell.org/ghc/haddock/-/merge_requests/53

- - - - -
2341d81e by Vaibhav Sagar at 2024-03-09T03:40:54-05:00
GHC.Utils.Binary: fix a couple of typos

- - - - -
5580e1bd by Ben Gamari at 2024-03-09T03:41:30-05:00
rts: Drop .wasm suffix from .prof file names

This replicates the behavior on Windows, where `Hi.exe` will produce
profiling output named `Hi.prof` instead of `Hi.exe.prof`.

While in the area I also fixed the extension-stripping logic, which
incorrectly rewrote `Hi.exefoo` to `Hi.foo`.

Closes #24515.

- - - - -
259495ee by Cheng Shao at 2024-03-09T03:41:30-05:00
testsuite: drop exe extension from .hp & .prof filenames

See #24515 for details.

- - - - -
c477a8d2 by Ben Gamari at 2024-03-09T03:42:05-05:00
rts/linker: Enable GOT support on all platforms

There is nothing platform-dependent about our GOT implementation and
GOT support is needed by `T24171` on i386.

- - - - -
2e592857 by Vladislav Zavialov at 2024-03-09T03:42:41-05:00
Drop outdated comment on TcRnIllformedTypePattern

This should have been done in 0f0c53a501b but I missed it.

- - - - -
0e5ffaba by Ben Gamari at 2024-03-09T09:37:37-05:00
rts/CloneStack: Bounds check array write

- - - - -
8340a88e by Ben Gamari at 2024-03-09T09:37:37-05:00
rts/CloneStack: Don't expose helper functions in header

- - - - -
11790370 by Ben Gamari at 2024-03-09T09:37:37-05:00
base: Move internals of GHC.InfoProv into GHC.InfoProv.Types

Such that we can add new helpers into GHC.InfoProv.Types without
breakage.

- - - - -
0b998ac8 by Ben Gamari at 2024-03-09T09:37:37-05:00
rts: Lazily decode IPE tables

Previously we would eagerly allocate `InfoTableEnt`s for each
info table registered in the info table provenance map. However, this
costs considerable memory and initialization time. Instead we now
lazily decode these tables. This allows us to use one-third the memory
*and* opens the door to taking advantage of sharing opportunities within
a module.

This required considerable reworking since lookupIPE now must be passed
its result buffer.

- - - - -
e369a4eb by Ben Gamari at 2024-03-09T09:37:37-05:00
rts/IPE: Don't expose helper in header

- - - - -
42581aa7 by Ben Gamari at 2024-03-09T09:37:37-05:00
rts/IPE: Share module_name within a Node

This allows us to shave a 64-bit word off of the packed IPE entry size.

- - - - -
1d489ee0 by Ben Gamari at 2024-03-09T09:37:37-05:00
IPE: Expose unit ID in InfoTableProv

Here we add the unit ID to the info table provenance structure.

- - - - -
8d60d39c by Ben Gamari at 2024-03-09T09:40:48-05:00
rts: Refactor GHC.Stack.CloneStack.decode

Don't allocate a Ptr constructor per frame.

- - - - -
783b8e27 by Ben Gamari at 2024-03-09T09:40:48-05:00
base: Do not expose whereFrom# from GHC.Exts

- - - - -
55ad2cee by Ben Gamari at 2024-03-09T09:40:48-05:00
ci-images: Bump Alpine image to bootstrap with 9.8.2

- - - - -
9280b252 by Ben Gamari at 2024-03-09T09:40:48-05:00
testsuite: Mark T24171 as fragile due to #24512

I will fix this but not in time for 9.10.1-alpha1

- - - - -
2849f53d by Ben Gamari at 2024-03-09T09:40:48-05:00
testsuite: Mark linker_unload_native as fragile

In particular this fails on platforms without `dlinfo`. I plan to
address this but not before 9.10.1-alpha1.

- - - - -
e4eb4a0b by Ben Gamari at 2024-03-09T09:40:48-05:00
configure: Bump version to 9.10

- - - - -
d11dd298 by Ben Gamari at 2024-03-09T09:40:48-05:00
Bump transformers submodule to 0.6.1.1

- - - - -
04feee4d by Ben Gamari at 2024-03-09T09:40:48-05:00
testsuite: Increase ulimit for T18623

1 MByte was just too tight and failed intermittently on some platforms
(e.g. CentOS 7). Bumping the limit to 8 MByte should provide sufficient
headroom.

Fixes #23139.

- - - - -
59889436 by Ben Gamari at 2024-03-09T09:40:48-05:00
base: Bump version to 4.20.0.0

- - - - -
c27bdcad by Ben Gamari at 2024-03-09T09:40:48-05:00
ghc-internal: Set initial version at 9.1001.0

This provides PVP compliance while maintaining a clear correspondence
between GHC releases and `ghc-internal` versions.

- - - - -
1689700b by Ben Gamari at 2024-03-09T09:40:48-05:00
ghc-prim: Bump version to 0.11.0

- - - - -
b1c7d8ad by Ben Gamari at 2024-03-09T09:40:48-05:00
template-haskell: Bump version to 2.22.0.0

- - - - -
5772336b by Ben Gamari at 2024-03-09T09:40:48-05:00
base-exports: Accommodate spurious whitespace changes in 32-bit output

It appears that this was

- - - - -


30 changed files:

- .gitlab-ci.yml
- compiler/GHC.hs
- compiler/GHC/Builtin/primops.txt.pp
- compiler/GHC/HsToCore/Docs.hs
- compiler/GHC/Iface/Ext/Ast.hs
- compiler/GHC/Parser/Errors/Ppr.hs
- compiler/GHC/Parser/Errors/Types.hs
- compiler/GHC/Parser/PostProcess.hs
- compiler/GHC/StgToCmm/InfoTableProv.hs
- compiler/GHC/Tc/Errors/Types.hs
- compiler/GHC/Tc/Module.hs
- compiler/GHC/Tc/Types.hs
- compiler/GHC/Tc/Utils/Backpack.hs
- compiler/GHC/Tc/Utils/Monad.hs
- compiler/GHC/Types/Hint.hs
- compiler/GHC/Types/Hint/Ppr.hs
- compiler/GHC/Utils/Binary.hs
- compiler/ghc.cabal.in
- configure.ac
- ghc/ghc-bin.cabal.in
- libraries/array
- libraries/base/base.cabal
- libraries/base/changelog.md
- libraries/base/src/GHC/Base.hs
- libraries/base/src/GHC/Exts.hs
- libraries/deepseq
- libraries/directory
- libraries/exceptions
- libraries/filepath
- libraries/ghc-bignum/ghc-bignum.cabal


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/0ef1f84b5381e189a92a8b0dd1c63796dac1cee1...5772336bad8480459a6a8fe2e7d5d9e340738bd4

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/0ef1f84b5381e189a92a8b0dd1c63796dac1cee1...5772336bad8480459a6a8fe2e7d5d9e340738bd4
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/20240309/e5009b73/attachment-0001.html>


More information about the ghc-commits mailing list