January 23, 2007
http://d.puremagic.com/issues/show_bug.cgi?id=875

           Summary: crash in glue.c line 700
           Product: D
           Version: 1.00
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: bugzilla@digitalmars.com
        ReportedBy: kevinbealer@gmail.com


Boiled down code shown below; I'm not sure how legal this syntax should be, but its enough to derail dmd.  What I'm trying to do is specialize on two variadic type lists by wrapping them in tuples.

Thanks,
Kevin
-----
import std.traits;

int main(char[][] args)
{
    double bongos(int flux, char[] soup)
    {
        return 0.0;
    }

    auto foo = mk_future(& bongos, 99, "soup"[]);

    return 0;
}

int mk_future(A, B...)(A cmd, B args)
{
    typedef ReturnType!(A) TReturn;
    typedef ParameterTypeTuple!(A) TParams;
    typedef B TArgs;

    alias Foo!(TReturn, TParams, TArgs) TFoo;

    return 0;
}

class Foo(A, B, C) {
    this(A delegate(B), C)
    {
    }
}
-----
dmd -ofbasic basic.d
dmd: glue.c:700: virtual unsigned int Type::totym(): Assertion `0' failed.


-- 

February 27, 2007
http://d.puremagic.com/issues/show_bug.cgi?id=875





------- Comment #2 from thomas-dloop@kuehne.cn  2007-02-27 10:48 -------
Added to DStress as http://dstress.kuehne.cn/run/b/bug_glue_700_A.d http://dstress.kuehne.cn/run/b/bug_glue_700_B.d http://dstress.kuehne.cn/run/b/bug_glue_700_C.d http://dstress.kuehne.cn/run/b/bug_glue_700_D.d


--