diff options
Diffstat (limited to 'docs/users_guide/8.12.1-notes.rst')
| -rw-r--r-- | docs/users_guide/8.12.1-notes.rst | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/docs/users_guide/8.12.1-notes.rst b/docs/users_guide/8.12.1-notes.rst index a66ab06514..c729a8ec6c 100644 --- a/docs/users_guide/8.12.1-notes.rst +++ b/docs/users_guide/8.12.1-notes.rst @@ -10,6 +10,15 @@ following sections. Highlights ---------- +* The :extension:`LinearTypes` extension enables linear function syntax + ``a #-> b``, as described in the `Linear Types GHC proposal + <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0111-linear-types.rst>`__. + + The GADT syntax can be used to define data types with linear and nonlinear fields. + + This extension is considered experimental: it doesn't implement the full proposal yet and the details + are subject to change. + * NCG - The linear register allocator saw improvements reducing the number |