Opened 3 years ago

Closed 3 years ago

#6148 closed bug (fixed)

63-tuples are not rejected when written using (,,,)

Reported by: guest Owned by:
Priority: normal Milestone:
Component: Compiler Version: 7.4.1
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: GHC accepts invalid program Test Case: rename/should_fail/T6148
Blocked By: Blocking:
Related Tickets: Differential Rev(s):


Corner case with tuples: 'b' should give the same error as 'a'.

Prelude> let a = (0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,

    A 63-tuple is too large for GHC
      (max size is 62)
      Workaround: use nested tuples or define a data type
Prelude> let b = (,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,)

During interactive linking, GHCi couldn't find the following symbol:
  ghczmprim_GHCziTuple_Z63T_con_info or ghczmprim_GHCziTuple_Z63T_static_info
This may be due to you not asking GHCi to load extra object files,
archives or DLLs needed by your current session.  Restart GHCi, specifying...

Change History (2)

comment:1 Changed 3 years ago by simonpj@…

commit fe0ae8d546ec91dab29d1456db269d9e7b010971

Author: Simon Peyton Jones <[email protected]>
Date:   Thu Jun 7 14:04:20 2012 +0100

    Complain if we use a tuple tycon or data-con that is too big
    Previously (Trac #6148) we were only complaining for the
    distfix syntax (a,b,c).

 compiler/rename/RnEnv.lhs |   25 +++++++++++++++++++++++--
 compiler/rename/RnPat.lhs |   10 ----------
 2 files changed, 23 insertions(+), 12 deletions(-)

comment:2 Changed 3 years ago by simonpj

  • difficulty set to Unknown
  • Resolution set to fixed
  • Status changed from new to closed
  • Test Case set to rename/should_fail/T6148


Note: See TracTickets for help on using tickets.