Update release notes about #16512 / #17405.
authorRichard Eisenberg <rae@richarde.dev>
Thu, 7 Nov 2019 16:06:10 +0000 (16:06 +0000)
committerMarge Bot <ben+marge-bot@smart-cactus.org>
Sun, 10 Nov 2019 06:06:48 +0000 (01:06 -0500)
docs/users_guide/8.10.1-notes.rst

index 5e7356a..d9b48d9 100644 (file)
@@ -141,6 +141,18 @@ Language
   inferred type is higher-rank. GHC 8.10 will now reject this, as one must now
   enable :ghc-flag:`-XRankNTypes` in ``B`` to accept the inferred type signature.
 
+- Type family dependencies (also known as injective type families)
+  sometimes now need ``-XUndecidableInstances`` in order to be
+  accepted. Here is an example::
+
+    type family F1 a = r | r -> a
+    type family F2 a = r | r -> a
+    type instance F2 [a] = Maybe (F1 a)
+
+  Because GHC needs to look under a type family to see that ``a`` is determined
+  by the right-hand side of ``F2``\'s equation, this now needs ``-XUndecidableInstances``.
+  The problem is very much akin to its need to detect some functional dependencies.
+    
 Compiler
 ~~~~~~~~