#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 Difficulty: Unknown
Test Case: rename/should_fail/T6148 Blocked By:
Blocking: Related Tickets:

Description

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,
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,0,0,0,0,0,0,0)

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

ByteCodeLink.lookupIE
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 23 months ago by simonpj@…

commit fe0ae8d546ec91dab29d1456db269d9e7b010971

Author: Simon Peyton Jones <simonpj@microsoft.com>
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 23 months 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

Thanks!

Note: See TracTickets for help on using tickets.