Marge Bot pushed to branch wip/marge_bot_batch_merge_job at Glasgow Haskell Compiler / GHC Commits: 95231c8e by Teo Camarasu at 2025-08-06T08:35:58-04:00 CODEOWNERS: add CLC as codeowner of base We also remove hvr, since I think he is no longer active - - - - - 77df0ded by Andrew Lelechenko at 2025-08-06T08:36:39-04:00 Bump submodule text to 2.1.3 - - - - - 8af260d0 by Nikolaos Chatzikonstantinou at 2025-08-06T08:37:23-04:00 docs: fix internal import in getopt examples This external-facing doc example shouldn't mention GHC internals when using 'fromMaybe'. - - - - - f4abadd4 by Marc Scholten at 2025-08-06T10:40:52-04:00 README: Add note on ghc.nix - - - - - 70ea20a7 by Daniel Díaz at 2025-08-06T10:40:56-04:00 Link to the "Strict Bindings" docs from the linear types docs Strict Bidings are relevant for the kinds of multiplicity annotations linear lets support. - - - - - 6 changed files: - CODEOWNERS - README.md - docs/users_guide/exts/linear_types.rst - docs/users_guide/exts/strict.rst - libraries/base/src/System/Console/GetOpt.hs - libraries/text Changes: ===================================== CODEOWNERS ===================================== @@ -59,7 +59,7 @@ /compiler/GHC/Runtime/Interpreter/Wasm.hs @TerrorJack [Core libraries] -/libraries/base/ @hvr +/libraries/base/ @core-libraries /libraries/ghci/ @simonmar /libraries/template-haskell/ @rae /testsuite/tests/interface-stability/ @core-libraries ===================================== README.md ===================================== @@ -81,6 +81,10 @@ These steps give you the default build, which includes everything optimised and built in various ways (eg. profiling libs are built). It can take a long time. To customise the build, see the file `HACKING.md`. +## Nix + +If you are looking to use nix to develop on GHC, [check out the wiki for instructions](https://gitlab.haskell.org/ghc/ghc/-/wikis/building/preparation). + Filing bugs and feature requests ================================ ===================================== docs/users_guide/exts/linear_types.rst ===================================== @@ -213,6 +213,8 @@ With ``-XStrict``:: -- inferred unrestricted let ~(x, y) = u in … +(See :ref:`strict-bindings`). + Data types ---------- By default, all fields in algebraic data types are linear (even if ===================================== docs/users_guide/exts/strict.rst ===================================== @@ -103,6 +103,9 @@ Note the following points: See `GHC Proposal #229 https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0229-wh...`__ for the precise rules. + +.. _strict-bindings: + Strict bindings ~~~~~~~~~~~~~~~ ===================================== libraries/base/src/System/Console/GetOpt.hs ===================================== @@ -315,7 +315,7 @@ arguments:

module Opts1 where

import System.Console.GetOpt -> import GHC.Internal.Data.Maybe ( fromMaybe ) +> import Data.Maybe ( fromMaybe )

data Flag = Verbose | Version @@ -356,7 +356,7 @@ A different approach is to group the option values in a record of type module Opts2 where

import System.Console.GetOpt -> import GHC.Internal.Data.Maybe ( fromMaybe ) +> import Data.Maybe ( fromMaybe )

data Options = Options { optVerbose :: Bool

===================================== libraries/text ===================================== @@ -1 +1 @@ -Subproject commit f1a05704a153ecc6a9bd45f6df8dd99820e74a2d +Subproject commit 5f343f668f421bfb30cead594e52d0ac6206ff67 View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/a16f63dde034c57338baa7951393cb0... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/a16f63dde034c57338baa7951393cb0... You're receiving this email because of your account on gitlab.haskell.org.