[Git][ghc/ghc][wip/andreask/9.10-backports] 2 commits: Add missing entires to the release notes (#24970, #24830)

[Andreas Klebinger (@AndreasK)]

Andreas Klebinger pushed to branch wip/andreask/9.10-backports at Glasgow Haskell Compiler / GHC


Commits:
1f0035f6 by Andrei Borzenkov at 2025-02-17T17:07:04+01:00
Add missing entires to the release notes (#24970, #24830)

(cherry picked from commit 2bb21ba8c6a1b66e17b27a3e6ace338c1f38a46d)

- - - - -
388573b2 by Andreas Klebinger at 2025-02-19T15:07:57+01:00
Small fixes for CI/testsuite

- - - - -


3 changed files:

- docs/users_guide/9.10.1-notes.rst
- hadrian/stack.yaml
- testsuite/tests/polykinds/T14172.stderr


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 bound 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
 ~~~~~~~~
 


=====================================
hadrian/stack.yaml
=====================================
@@ -23,8 +23,8 @@ extra-deps:
    - Cabal-syntax-3.10.1.0
 
 # needed due to Hadrian's lower bound on directory
-- directory-1.3.9.0
-- file-io-0.1.4
-- filepath-1.4.300.2
-- process-1.6.25.0
-- unix-2.8.5.1
\ No newline at end of file
+   - directory-1.3.9.0
+   - file-io-0.1.4
+   - filepath-1.4.300.2
+   - process-1.6.25.0
+   - unix-2.8.5.1
\ No newline at end of file


=====================================
testsuite/tests/polykinds/T14172.stderr
=====================================
@@ -1,6 +1,6 @@
 T14172.hs:7:46: error: [GHC-88464]
-    • Found type wildcard ‘_’ standing for ‘a'1 :: k0’
-      Where: ‘k0’ is an ambiguous type variable
+    • Found type wildcard ‘_’ standing for ‘a'1 :: k30’
+      Where: ‘k30’ is an ambiguous type variable
              ‘a'1’ is an ambiguous type variable
       To use the inferred type, enable PartialTypeSignatures
     • In the first argument of ‘h’, namely ‘_’



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/9d3dcef2cc680482799be19ad505133ec9a117a0...388573b21848d7777f5f053132449f61b94d0068

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/compare/9d3dcef2cc680482799be19ad505133ec9a117a0...388573b21848d7777f5f053132449f61b94d0068
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/20250219/e044cbef/attachment-0001.html>