http://d.puremagic.com/issues/show_bug.cgi?id=854

           Summary: TypeTuple in anonymous delegate causes ice in glue.c
           Product: D
           Version: 1.00
          Platform: PC
        OS/Version: Windows
            Status: NEW
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: bugzilla@digitalmars.com
        ReportedBy: daniel.keep+d.puremagic.com@gmail.com


If you try to create an anonymous delegate with a TypeTuple in the argument list, you get an ICE.

Steps to reproduce:

1) Attempt to compile code below with "dmd glue_gd_ice.d".

Actual result:

The compiler crashes with the following message:
"Assertion failure: '0' on line 700 in file 'glue.c'"

Expected result:

The code to compile, or at least display a meaningful error message.

Compiler: Digital Mars D Compiler v1.0, WinXP SP2.

Code to reproduce: (glue_dg_ice.d)

import std.typetuple;

void main()
{
    auto x = (uint a, uint b) { return a*b; };
    auto y = (TypeTuple!(uint,uint) ab) { return ab[0] * ab[1]; };
}


-- 

http://d.puremagic.com/issues/show_bug.cgi?id=854





------- Comment #1 from thomas-dloop@kuehne.cn  2007-02-23 16:36 -------
The same message is triggered by http://d.puremagic.com/issues/show_bug.cgi?id=639

Added to DStress as http://dstress.kuehne.cn/run/t/tuple_15_A.d http://dstress.kuehne.cn/run/t/tuple_15_B.d


-- 

http://d.puremagic.com/issues/show_bug.cgi?id=854


dhasenan@gmail.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |jrs7561@louisiana.edu




------- Comment #2 from dhasenan@gmail.com  2007-09-09 16:26 -------
*** Bug 1214 has been marked as a duplicate of this bug. ***


-- 

http://d.puremagic.com/issues/show_bug.cgi?id=854


fvbommel@wxs.nl changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |fvbommel@wxs.nl
           Keywords|                            |patch




------- Comment #3 from fvbommel@wxs.nl  2009-03-29 17:49 -------
I just fixed this bug in LDC, and I'm attaching a patch that makes the same
change to DMD.
I haven't been able to test this version because some files seem to be
missing...

(See the FIXME in the patch for something I'm not sure about)


-- 

http://d.puremagic.com/issues/show_bug.cgi?id=854





------- Comment #4 from fvbommel@wxs.nl  2009-03-29 17:49 -------
Created an attachment (id=300)
 --> (http://d.puremagic.com/issues/attachment.cgi?id=300&action=view)
Patch which fixes this for LDC.


-- 

http://d.puremagic.com/issues/show_bug.cgi?id=854





------- Comment #5 from fvbommel@wxs.nl  2009-03-30 07:29 -------
After some changes to DMD 1.041 to get it to compile on my machine, I managed to verify that the attached patch fixes both the original example and the dstress tests.


-- 

http://d.puremagic.com/issues/show_bug.cgi?id=854





--- Comment #6 from Walter Bright <bugzilla@digitalmars.com>  2009-06-20 23:09:05 PDT ---
This works in D2, the solution is to do the semantics on the parameter types at
the start of the semantic(). I've folded the changes to do this from D2 to D1
(for next update).

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

http://d.puremagic.com/issues/show_bug.cgi?id=854


Walter Bright <bugzilla@digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED




--- Comment #7 from Walter Bright <bugzilla@digitalmars.com>  2009-07-09 02:53:34 PDT ---
Fixed dmd 1.046

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------