[Git][ghc/ghc][wip/sand-witch/9.10-fix-notes] Add missing entires to the release notes (#24970, #24830)

[Andrei Borzenkov (@sand-witch)]

Andrei Borzenkov pushed to branch wip/sand-witch/9.10-fix-notes at Glasgow Haskell Compiler / GHC


Commits:
c54aaeee by Andrei Borzenkov at 2024-08-01T13:47:12+04:00
Add missing entires to the release notes (#24970, #24830)

- - - - -


1 changed file:

- docs/users_guide/9.10.1-notes.rst


Changes:

=====================================
docs/users_guide/9.10.1-notes.rst
=====================================
@@ -148,6 +148,31 @@ Language
   This feature is an experimental alternative to :extension:`ScopedTypeVariables`,
   see the :ref:`type-abstractions-in-functions` section.
 
+- In accordance with GHC Proposal `#425 <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0425-decl-invis-binders.rst>`_,
+  arity inference for type families and type synonyms was removed. Previously
+  GHC performed attempts to figure out how many trailing invisible ``forall``'s
+  should be implicitly bounded on the LHS. Consider this example: ::
+
+    type P :: forall k. k -> Proxy k
+    type P = Proxy
+
+  Before this change, GHC used to add an invisible binder for the kind, like this: ::
+
+    type P @k = Proxy @k
+
+  This meant that such ``P`` did not work in higher-ranked contexts, as type synonyms
+  must always appear fully saturated.
+
+  After this change, GHC no longer tries to guess the arity. Instead, the arity
+  is directly specified via the :extension:`TypeAbstractions` extension.
+
+- It is now possible to use untyped quotes in typed splices and vice versa: ::
+
+    $$(const [|| 'x' ||] ([| 'y' |]  :: IO Exp))
+
+  This is useful, e.g. for quoting patterns in typed splices.
+
+
 Compiler
 ~~~~~~~~
 



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/c54aaeee8786016b4d22fbe1632f59623713591f

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/c54aaeee8786016b4d22fbe1632f59623713591f
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/20240801/adbf2e85/attachment-0001.html>