Add documentation for GHC-89347

message-index/messages/GHC-89347/eq/after/Eq.hs

@@ -0,0 +1,22 @@
+module Eq where
+
+type T a = (
+               ( Eq a, Eq a, Eq a, Eq a
+               , Eq a, Eq a, Eq a, Eq a
+               , Eq a, Eq a, Eq a, Eq a
+               , Eq a, Eq a, Eq a, Eq a
+               , Eq a, Eq a, Eq a, Eq a
+               , Eq a, Eq a, Eq a, Eq a
+               , Eq a, Eq a, Eq a, Eq a
+               , Eq a, Eq a, Eq a, Eq a
+               , Eq a, Eq a, Eq a, Eq a
+               )
+           ,   ( Eq a, Eq a, Eq a, Eq a
+               , Eq a, Eq a, Eq a, Eq a
+               , Eq a, Eq a, Eq a, Eq a
+               , Eq a, Eq a, Eq a, Eq a
+               , Eq a, Eq a, Eq a, Eq a
+               , Eq a, Eq a, Eq a, Eq a
+               , Eq a, Eq a, Eq a, Eq a
+               , Eq a, Eq a)
+           )

message-index/messages/GHC-89347/eq/before/Eq.hs

@@ -0,0 +1,19 @@
+module Eq where
+
+type T a = ( Eq a, Eq a, Eq a, Eq a
+           , Eq a, Eq a, Eq a, Eq a
+           , Eq a, Eq a, Eq a, Eq a
+           , Eq a, Eq a, Eq a, Eq a
+           , Eq a, Eq a, Eq a, Eq a
+           , Eq a, Eq a, Eq a, Eq a
+           , Eq a, Eq a, Eq a, Eq a
+           , Eq a, Eq a, Eq a, Eq a
+           , Eq a, Eq a, Eq a, Eq a
+           , Eq a, Eq a, Eq a, Eq a
+           , Eq a, Eq a, Eq a, Eq a
+           , Eq a, Eq a, Eq a, Eq a
+           , Eq a, Eq a, Eq a, Eq a
+           , Eq a, Eq a, Eq a, Eq a
+           , Eq a, Eq a, Eq a, Eq a
+           , Eq a, Eq a, Eq a, Eq a
+           , Eq a, Eq a)

message-index/messages/GHC-89347/eq/index.md

@@ -0,0 +1,21 @@
+---
+title: Type alias constraint
+---
+
+GHC limits tuples to 64 elements, you cannot define constraints on bigger arity.
+
+## Error Message
+
+```haskell
+Eq.hs:3:12: error: [GHC-89347]
+    • Constraint tuple arity too large: 66 (max arity = 64)
+        Instead, use a nested tuple
+    • In the type ‘(Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a,
+                    Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a,
+                    Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a,
+                    Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a,
+                    Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a,
+                    Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a, Eq a,
+                    Eq a, Eq a, Eq a)’
+      In the type declaration for ‘T’
+```

message-index/messages/GHC-89347/index.md

@@ -0,0 +1,8 @@
+---
+title: Constraint tuple arity too large
+summary: A constraint cannot be defined on a tuple with a big arity
+severity: error
+introduced: 9.6.1
+---
+
+GHC limits tuples to 64 elements, you cannot define constraints on bigger arity.