Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC Commits: 93a2f450 by Daniel Díaz at 2025-08-06T15:52:14-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. - - - - - 2 changed files: - docs/users_guide/exts/linear_types.rst - docs/users_guide/exts/strict.rst Changes: ===================================== 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 ~~~~~~~~~~~~~~~ View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/93a2f450d48622c492e4fded47ddaf13... -- View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/93a2f450d48622c492e4fded47ddaf13... You're receiving this email because of your account on gitlab.haskell.org.