From ccf7c437d27af8a56d356cb424d1c251eae6589e Mon Sep 17 00:00:00 2001 From: Gautier DI FOLCO Date: Mon, 24 Jun 2024 19:25:29 +0200 Subject: [PATCH] Add documentation for GHC-89347 --- .../messages/GHC-89347/eq/after/Eq.hs | 22 +++++++++++++++++++ .../messages/GHC-89347/eq/before/Eq.hs | 19 ++++++++++++++++ message-index/messages/GHC-89347/eq/index.md | 21 ++++++++++++++++++ message-index/messages/GHC-89347/index.md | 8 +++++++ 4 files changed, 70 insertions(+) create mode 100644 message-index/messages/GHC-89347/eq/after/Eq.hs create mode 100644 message-index/messages/GHC-89347/eq/before/Eq.hs create mode 100644 message-index/messages/GHC-89347/eq/index.md create mode 100644 message-index/messages/GHC-89347/index.md diff --git a/message-index/messages/GHC-89347/eq/after/Eq.hs b/message-index/messages/GHC-89347/eq/after/Eq.hs new file mode 100644 index 0000000..11bc329 --- /dev/null +++ b/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) + ) diff --git a/message-index/messages/GHC-89347/eq/before/Eq.hs b/message-index/messages/GHC-89347/eq/before/Eq.hs new file mode 100644 index 0000000..c35be30 --- /dev/null +++ b/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) diff --git a/message-index/messages/GHC-89347/eq/index.md b/message-index/messages/GHC-89347/eq/index.md new file mode 100644 index 0000000..c8253e3 --- /dev/null +++ b/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’ +``` diff --git a/message-index/messages/GHC-89347/index.md b/message-index/messages/GHC-89347/index.md new file mode 100644 index 0000000..65ebe77 --- /dev/null +++ b/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.