• d-bugmail puremagic.com Aug 31 2007
• BCS <BCS pathlink.com> Aug 31 2007
• Reiner Pope <some address.com> Aug 31 2007
• BCS <BCS pathlink.com> Aug 31 2007
• d-bugmail puremagic.com Sep 28 2007

d-bugmail puremagic.com writes:

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

           Summary: "static" foreach breaks CTFE
           Product: D
           Version: 2.003
          Platform: PC
        OS/Version: Windows
            Status: NEW
          Keywords: rejects-valid
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: bugzilla digitalmars.com
        ReportedBy: reiner.pope gmail.com


The following code gives compile-time error, "cannot evaluate gen() at compile
time." Removing the "i" from the foreach fixes this.

template Tuple(T...)
{
        alias T val;
}

alias Tuple!(int) Tup;

string gen()
{
    foreach (i, type; Tup.val)
    {
    }
    return null;
}

string text = gen();


-- 

BCS <BCS pathlink.com> writes:

d-bugmail puremagic.com wrote:
 http://d.puremagic.com/issues/show_bug.cgi?id=1464
 
            Summary: "static" foreach breaks CTFE
            Product: D
            Version: 2.003
           Platform: PC
         OS/Version: Windows
             Status: NEW
           Keywords: rejects-valid
           Severity: normal
           Priority: P2
          Component: DMD
         AssignedTo: bugzilla digitalmars.com
         ReportedBy: reiner.pope gmail.com
 
 
 The following code gives compile-time error, "cannot evaluate gen() at compile
 time." Removing the "i" from the foreach fixes this.
 
 template Tuple(T...)
 {
         alias T val;
 }
 
 alias Tuple!(int) Tup;
 
 string gen()
 {
     foreach (i, type; Tup.val)
     {
     }
     return null;
 }
 
 string text = gen();
 
 



That compiles at all? in the 1.x versions you can't have an alias of a 
tuple in a template other than if the tuple name is the same as the name 
of the template (It's a known bug, not a language restriction)

Reiner Pope <some address.com> writes:

BCS wrote:
 d-bugmail puremagic.com wrote:
 http://d.puremagic.com/issues/show_bug.cgi?id=1464

            Summary: "static" foreach breaks CTFE
            Product: D
            Version: 2.003
           Platform: PC
         OS/Version: Windows
             Status: NEW
           Keywords: rejects-valid
           Severity: normal
           Priority: P2
          Component: DMD
         AssignedTo: bugzilla digitalmars.com
         ReportedBy: reiner.pope gmail.com


 The following code gives compile-time error, "cannot evaluate gen() at 
 compile
 time." Removing the "i" from the foreach fixes this.

 template Tuple(T...)
 {
         alias T val;
 }

 alias Tuple!(int) Tup;

 string gen()
 {
     foreach (i, type; Tup.val)
     {
     }
     return null;
 }

 string text = gen();


 
 That compiles at all? in the 1.x versions you can't have an alias of a 
 tuple in a template other than if the tuple name is the same as the name 
 of the template (It's a known bug, not a language restriction)


It's aliasing the template instantiation, not the tuple. It should 
compile in 1.x as well as 2.x.

BCS <BCS pathlink.com> writes:

Reiner Pope wrote:
 template Tuple(T...)
 {
         alias T val;
 }




 It's aliasing the template instantiation, not the tuple. It should 
 compile in 1.x as well as 2.x.


I'm looking at the above line.

this is related to issues #1241

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

However I seem to remember that the problem is a bit more general than 
the fist listed case.

Well I'll gave to revisit some of that.

d-bugmail puremagic.com writes:

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


bugzilla digitalmars.com changed:

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




------- Comment #2 from bugzilla digitalmars.com  2007-09-28 22:16 -------
Fixed dmd 1.021 and 2.004


--