Thread overview
[Issue 8421] New: assertion
Jul 23, 2012
Lukasz Wrzosek
[Issue 8421] ICE template.c:5540: Identifier* TemplateInstance::genIdent(Objects*): Assertion `global.errors' failed.
Jul 23, 2012
Lukasz Wrzosek
Oct 07, 2013
Walter Bright
July 23, 2012
http://d.puremagic.com/issues/show_bug.cgi?id=8421

           Summary: assertion
           Product: D
           Version: D2
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: nobody@puremagic.com
        ReportedBy: luk.wrzosek@gmail.com


--- Comment #0 from Lukasz Wrzosek <luk.wrzosek@gmail.com> 2012-07-23 15:20:46 PDT ---


-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
July 23, 2012
http://d.puremagic.com/issues/show_bug.cgi?id=8421



--- Comment #1 from Lukasz Wrzosek <luk.wrzosek@gmail.com> 2012-07-23 15:24:59 PDT ---
dmd loops endlessly on this code:
----------------
import std.typecons;
string bug(T..., U : tuple!T)(tuple!T t);


dmd aborts on this code:
----------------
import std.typecons;
string bug(T, U : tuple!T)(tuple!T t);
enum e = bug(tuple!int);

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
October 07, 2013
http://d.puremagic.com/issues/show_bug.cgi?id=8421


Walter Bright <bugzilla@digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |bugzilla@digitalmars.com
         Resolution|                            |WORKSFORME


--- Comment #2 from Walter Bright <bugzilla@digitalmars.com> 2013-10-06 23:32:59 PDT ---
(In reply to comment #1)
> dmd loops endlessly on this code:
> ----------------
> import std.typecons;
> string bug(T..., U : tuple!T)(tuple!T t);

Produces the message:

test.d(2): Error: template test.bug(T..., U : tuple!T)(tuple!T t) template
tuple parameter must be last one

> dmd aborts on this code:
> ----------------
> import std.typecons;
> string bug(T, U : tuple!T)(tuple!T t);
> enum e = bug(tuple!int);

Produces the message:

test.d(3): Error: tuple (int _param_0) is not callable using argument types ()

This is with dmd 2.064 head.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
October 09, 2013
http://d.puremagic.com/issues/show_bug.cgi?id=8421



--- Comment #3 from hsteoh@quickfur.ath.cx 2013-10-09 09:45:18 PDT ---
Should this be added to the test suite to prevent regression?

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