diff options
author | GHC GitLab CI <ghc-ci@gitlab-haskell.org> | 2020-09-26 12:56:01 +0000 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2020-10-13 10:27:04 -0400 |
commit | 6e5a83bb6052f9e251a54026294c87a5bd650c93 (patch) | |
tree | fa6e74cdeaf8afd104b36be6a48fcb036cfdf0ad /compiler/GHC/Tc | |
parent | 6a243e9daaa6c17c0859f47ae3a098e680aa28cf (diff) | |
download | haskell-wip/tuple-width.tar.gz |
Extend mAX_TUPLE_SIZE to 64wip/tuple-width
As well a ctuples and sums.
Diffstat (limited to 'compiler/GHC/Tc')
-rw-r--r-- | compiler/GHC/Tc/Gen/HsType.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Tc/Gen/HsType.hs b/compiler/GHC/Tc/Gen/HsType.hs index d23c09fd09..f53eccc222 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 |