Ticket #6148 (closed bug: fixed)

Opened 12 months ago

Last modified 12 months ago

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

Changed 12 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(-)

Changed 12 months ago by simonpj

  • status changed from new to closed
  • difficulty set to Unknown
  • resolution set to fixed
  • testcase set to rename/should_fail/T6148

Thanks!

Note: See TracTickets for help on using tickets.