More bugs...

[James Miller]

On Saturday, 28 April 2012 at 04:45:59 UTC, Mehrdad wrote:
> Okay, final exams are coming up again, and so are my bugs (I 
> have no idea what the correlation is, don't ask...)
> I guess I should post this on bugzilla, but oh well... I 
> continued the thread instead.
>
> Try compiling this (I did this on Windows, DMD 2.059):
>
> void main() { Foo!(int[])([[1], [2]]); }
> struct Foo(T) { auto foo() { Foo!(T[]) t; return t; } }

You expected that to work? Extra extra, infinite recursion is 
infinite! You are asking the compiler to instantiate Foo with the 
type int[], then use that type to instantiate Foo with int[][], 
which then instantiates Foo with type int[][][].

Try thinking about your code before mouthing off here. Would you 
fault C for causing a stack overflow in this case:

int rec(int a){
   return rec(a + 1);
}

I mean what did you expect, that the compiler could magically 
create infinite types? I can't even see where you might have gone 
wrong here, since the code is so simple. What I can see is that 
the constructor wouldn't work because there are no fields. I can 
see that you have some very strange ideas about templates, Foo(T) 
instantiates Foo(T[]), which is a different type, so it goes 
through and instantiates Foo(T[][]) which is, again, a different 
type.

Think before declaring D to have bugs.

--
James Miller