diff options
author | GHC GitLab CI <ghc-ci@gitlab-haskell.org> | 2020-09-26 12:56:01 +0000 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-10-15 21:57:50 -0400 |
commit | 6b14c4185ca944295d5cfa60ebc6f7ab2a257fc9 (patch) | |
tree | 98cca4a3717174bd0b66d06a5cbf08362ec6b206 /compiler | |
parent | 998803dc4dbceb36074644483e11e6183fa5355a (diff) | |
download | haskell-6b14c4185ca944295d5cfa60ebc6f7ab2a257fc9.tar.gz |
Extend mAX_TUPLE_SIZE to 64
As well a ctuples and sums.
Diffstat (limited to 'compiler')
-rw-r--r-- | compiler/GHC/Builtin/Types.hs | 2 | ||||
-rw-r--r-- | compiler/GHC/Settings/Constants.hs | 8 | ||||
-rw-r--r-- | compiler/GHC/Tc/Gen/HsType.hs | 2 |
3 files changed, 6 insertions, 6 deletions
diff --git a/compiler/GHC/Builtin/Types.hs b/compiler/GHC/Builtin/Types.hs index abc8e90bcb..771db90d85 100644 --- a/compiler/GHC/Builtin/Types.hs +++ b/compiler/GHC/Builtin/Types.hs @@ -726,7 +726,7 @@ Note [How tuples work] See also Note [Known-key names] in GHC.Builtin.Names - Wanted constraints: there is a built-in instance instance (c1,c2) => (c1,c2) See GHC.Tc.Instance.Class.matchCTuple - - Currently just go up to 62; beyond that + - Currently just go up to 64; beyond that you have to use manual nesting - Their OccNames look like (%,,,%), so they can easily be distinguished from term tuples. But (following Haskell) we diff --git a/compiler/GHC/Settings/Constants.hs b/compiler/GHC/Settings/Constants.hs index 6eeaab84df..95dfe6a177 100644 --- a/compiler/GHC/Settings/Constants.hs +++ b/compiler/GHC/Settings/Constants.hs @@ -11,14 +11,14 @@ hiVersion = read (cProjectVersionInt ++ cProjectPatchLevel) :: Integer -- All pretty arbitrary: mAX_TUPLE_SIZE :: Int -mAX_TUPLE_SIZE = 62 -- Should really match the number - -- of decls in Data.Tuple +mAX_TUPLE_SIZE = 64 -- Should really match the number + -- of decls in GHC.Tuple mAX_CTUPLE_SIZE :: Int -- Constraint tuples -mAX_CTUPLE_SIZE = 62 -- Should match the number of decls in GHC.Classes +mAX_CTUPLE_SIZE = 64 -- Should match the number of decls in GHC.Classes mAX_SUM_SIZE :: Int -mAX_SUM_SIZE = 62 +mAX_SUM_SIZE = 64 -- | Default maximum depth for both class instance search and type family -- reduction. See also #5395. diff --git a/compiler/GHC/Tc/Gen/HsType.hs b/compiler/GHC/Tc/Gen/HsType.hs index d0b841b41b..eb1f4f6a7c 100644 --- a/compiler/GHC/Tc/Gen/HsType.hs +++ b/compiler/GHC/Tc/Gen/HsType.hs @@ -3742,7 +3742,7 @@ Consider * GHC.Tc.Errors.mkHoleError finally reports the error. -An annoying difficulty happens if there are more than 62 inferred +An annoying difficulty happens if there are more than 64 inferred constraints. Then we need to fill in the TcTyVar with (say) a 70-tuple. Where do we find the TyCon? For good reasons we only have constraint tuples up to 62 (see Note [How tuples work] in GHC.Builtin.Types). So how |