[Git][ghc/ghc][wip/marge_bot_batch_merge_job] 3 commits: Bump submodule text to 2.0.2

[Marge Bot (@marge-bot)]

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


Commits:
8e765aff by Bodigrim at 2023-02-21T12:03:24-05:00
Bump submodule text to 2.0.2

- - - - -
1f82fcd0 by Georgi Lyubenov at 2023-02-21T16:05:43-05:00
GHC proposal 496 - Nullary record wildcards

This patch implements GHC proposal 496, which allows record wildcards
to be used for nullary constructors, e.g.

  data A = MkA1 | MkA2 { fld1 :: Int }
  f :: A -> Int
  f (MkA1 {..}) = 0
  f (MkA2 {..}) = fld1

To achieve this, we add arity information to the record field
environment, so that we can accept a constructor which has no fields
while continuing to reject non-record constructors with more than 1
field. See Note [Nullary constructors and empty record wildcards],
as well as the more general overview in Note [Local constructor info in the renamer],
both in the newly introduced GHC.Types.ConInfo module.

Fixes #22161

- - - - -
6763d046 by sheaf at 2023-02-21T16:05:46-05:00
ghc-prim: levity-polymorphic array equality ops

This patch changes the pointer-equality comparison operations in
GHC.Prim.PtrEq to work with arrays of unlifted values, e.g.

  sameArray# :: forall {l} (a :: TYPE (BoxedRep l)). Array# a -> Array# a -> Int#

Fixes #22976

- - - - -


30 changed files:

- compiler/GHC/Rename/Env.hs
- compiler/GHC/Rename/Module.hs
- compiler/GHC/Rename/Names.hs
- compiler/GHC/Rename/Pat.hs
- compiler/GHC/Tc/Errors/Ppr.hs
- compiler/GHC/Tc/Errors/Types.hs
- compiler/GHC/Tc/Module.hs
- compiler/GHC/Tc/Types.hs
- compiler/GHC/Tc/Utils/Monad.hs
- + compiler/GHC/Types/ConInfo.hs
- compiler/Language/Haskell/Syntax/Type.hs
- compiler/ghc.cabal.in
- docs/users_guide/9.8.1-notes.rst
- libraries/ghc-prim/GHC/Prim/PtrEq.hs
- libraries/ghc-prim/changelog.md
- libraries/text
- testsuite/tests/count-deps/CountDepsAst.stdout
- testsuite/tests/count-deps/CountDepsParser.stdout
- + testsuite/tests/rename/should_compile/GADTNullaryRecordRecordWildcard.hs
- + testsuite/tests/rename/should_compile/GADTNullaryRecordWildcard.hs
- + testsuite/tests/rename/should_compile/GADTSymbolicRecordRecordWildcard.hs
- + testsuite/tests/rename/should_compile/GHCIImplicitImportNullaryRecordWildcard.script
- + testsuite/tests/rename/should_compile/GHCINullaryRecordWildcard.script
- + testsuite/tests/rename/should_compile/ImportNullaryRecordWildcard.hs
- + testsuite/tests/rename/should_compile/NullaryRecordRecordWildcard.hs
- + testsuite/tests/rename/should_compile/NullaryRecordWildcard.hs
- testsuite/tests/rename/should_compile/all.T
- testsuite/tests/rename/should_fail/T9815.stderr
- + testsuite/tests/rename/should_fail/T9815b.hs
- + testsuite/tests/rename/should_fail/T9815b.stderr


The diff was not included because it is too large.


View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/47b7d10571774b05e815e0a522d0dca729755992...6763d04653113fbe0c9eceb8321c0710af9a111c

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/47b7d10571774b05e815e0a522d0dca729755992...6763d04653113fbe0c9eceb8321c0710af9a111c
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/20230221/a0cb5ef2/attachment.html>