diff options
| author | Richard Eisenberg <rae@richarde.dev> | 2021-05-25 09:03:21 -0400 |
|---|---|---|
| committer | Richard Eisenberg <rae@richarde.dev> | 2021-05-25 09:08:36 -0400 |
| commit | 2023b344a7567492881745609c494a9427dc8c30 (patch) | |
| tree | 71566ba9901bed9f729502765d5a961a57bcc641 | |
| parent | 11bdf3cdd6efb406839a0ebe33455908a66df805 (diff) | |
| download | haskell-2023b344a7567492881745609c494a9427dc8c30.tar.gz | |
Add 9.2 release note about linear case
This is part of #18738
[skip ci]
| -rw-r--r-- | docs/users_guide/9.2.1-notes.rst | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/users_guide/9.2.1-notes.rst b/docs/users_guide/9.2.1-notes.rst index db38a53df5..9578779361 100644 --- a/docs/users_guide/9.2.1-notes.rst +++ b/docs/users_guide/9.2.1-notes.rst @@ -120,6 +120,12 @@ Language ``\x -> x `f` "hello"``. For more information, see :ref:`simple-subsumption`. +* :extension:`LinearTypes` can now infer multiplicity for ``case`` + expressions. Previously, the scrutinee of a ``case`` (the bit between ``case`` + and ``of``) was always assumed to have a multiplicity of ``Many``. Now, GHC + will allow the scrutinee to have a multiplicity of ``One``, using its best-effort + inference algorithm. + Compiler ~~~~~~~~ |