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

           Summary: template, tuple or static foreach issue; wrong values
           Product: D
           Version: unspecified
          Platform: PC
        OS/Version: Windows
            Status: NEW
          Severity: normal
          Priority: P3
         Component: DMD
        AssignedTo: bugzilla@digitalmars.com
        ReportedBy: chris@dprogramming.com


Gives the wrong value for i and writefln prints out extra garbage. version=BROKEN output:

foo
(char[],int)CALLBACK int = 0
bar


correct output, when version is not set to BROKEN:

foo
CALLBACK int = 333
bar


Code:


import std.stdarg, std.traits;

void Goat(Callbacks ...)(TypeInfo[] arguments, void* argptr)
{
        args_loop:
        foreach(argti; arguments)
        {
                version(BROKEN)
                {
                        foreach(Cb; Callbacks)
                        {
                                alias ParameterTypeTuple!(Cb) CBArgTypes;

                                if(typeid(CBArgTypes[0]) == argti)
                                {
                                        Cb(va_arg!(CBArgTypes[0])(argptr));
                                }
                        }
                }
                else
                {
                        alias Callbacks[0] Cb;
                        alias ParameterTypeTuple!(Cb) CBArgTypes;

                        if(typeid(CBArgTypes[0]) == argti)
                        {
                                Cb(va_arg!(CBArgTypes[0])(argptr));
                        }
                }
        }
}

import std.stdio;

void foo(...)
{
        writefln("foo");
        Goat!(
                (int i)
                {
                        writefln("CALLBACK int = %s", i);
                }
                )(_arguments, _argptr);
        writefln("bar");
}

void main()
{
        foo(333);
}


-- 

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


Don <clugdbug@yahoo.com.au> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|template, tuple or static   |alias template, typeof, or
                   |foreach issue; wrong values |tuple issue; wrong varags
                   |                            |values


--- Comment #1 from Don <clugdbug@yahoo.com.au> 2010-04-26 00:57:58 PDT ---
Reduced test case shows it has nothing to do with static foreach.

import std.stdarg;

void Goat(Callbacks ...)(void* argptr) {
    auto Cb = Callbacks[0];  // fails
//  alias Callbacks[0] Cb;  // works

    static if (is(typeof(Cb) P == delegate))
        static if (is(P Q == function))
           alias Q CBArgTypes;
    Cb(va_arg!(CBArgTypes[0])(argptr));
}

void foo(...){
    Goat!(
        (int i) { assert(i==333); }
    )(_argptr);
}

void main() {
    foo(333);
}

-- 
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=1350


Don <clugdbug@yahoo.com.au> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|alias template, typeof, or  |delegate inside tuple;
                   |tuple issue; wrong varags   |wrong values
                   |values                      |


--- Comment #2 from Don <clugdbug@yahoo.com.au> 2010-04-26 01:55:37 PDT ---
Even further reduced. Nothing to do with varargs.
-------------
void Goat(Callbacks ...)() {
    alias Callbacks[0] Cb;
    Callbacks[0](333); // fails
//    Cb(333); // but this works
}

void main() {
    Goat!(
        (int i) { assert(i==333); }
    )();
}

-- 
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=1350


Don <clugdbug@yahoo.com.au> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bugzilla@kyllingen.net


--- Comment #3 from Don <clugdbug@yahoo.com.au> 2010-07-16 10:20:02 PDT ---
*** Issue 4359 has been marked as a duplicate of this issue. ***

-- 
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=1350


Don <clugdbug@yahoo.com.au> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |sandford@jhu.edu


--- Comment #4 from Don <clugdbug@yahoo.com.au> 2010-07-16 10:20:42 PDT ---
*** Issue 4246 has been marked as a duplicate of this issue. ***

-- 
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=1350


Don <clugdbug@yahoo.com.au> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|delegate inside tuple;      |delegate literal inside
                   |wrong values                |tuple; wrong values


--- Comment #5 from Don <clugdbug@yahoo.com.au> 2010-07-22 02:26:16 PDT ---
This is happening because the delegate literal is passed as an alias template parameter. This parameter never gets resolved properly. In the example below, the compiler thinks that the parent of the delegate literal is 'Goat', whereas the true parent is 'main'. The problem might be in TupleExp::semantic(): if an element of the tuple is a symbol, maybe it should be attempting to resolve it.

--------
void Goat(Callbacks ...)() {
    Callbacks[0](333); // fails
}

void main() {
    Goat!(
        (int i) { assert(i==333); }
    )();
}

-- 
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=1350


Maxim Fomin <maxim@maxim-fomin.ru> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |maxim@maxim-fomin.ru
         Resolution|                            |FIXED


--- Comment #6 from Maxim Fomin <maxim@maxim-fomin.ru> 2012-12-27 08:07:55 PST ---
Fixed in issue 8774

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