[Issue 351] New: Recursive string template doesn't work if the terminating specialisation is given first

[Thomas Kuehne]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

d-bugmail at puremagic.com schrieb am 2006-09-16:
> http://d.puremagic.com/issues/show_bug.cgi?id=351

> ----------
> import std.stdio;
>
> template Reverse(char[] s: "") {
>     const char[] Reverse = "";
> }
>
> template Reverse(char[] s) {
>     const char[] Reverse = Reverse!(s[1..$]) ~ s[0];
> }
>
> void main() {
>     writefln(Reverse!("Recursive string template"));
> }
> ----------
> D:\My Documents\Programming\D\Tests\bugs\string_template1.d(8): string slice [1
> .. 0] is out of bounds
> D:\My Documents\Programming\D\Tests\bugs\string_template1.d(8): string slice [1
> .. 0] is out of bounds
> D:\My Documents\Programming\D\Tests\bugs\string_template1.d(8): void has no
> value
> D:\My Documents\Programming\D\Tests\bugs\string_template1.d(8): incompatible
> types for ((Reverse!(""[1..0])) ~ (cast(int)(""[0]))): 'void' and 'int'
> D:\My Documents\Programming\D\Tests\bugs\string_template1.d(8): Can only
> concatenate arrays, not (void ~ int)
> D:\My Documents\Programming\D\Tests\bugs\string_template1.d(8): string index 0
> is out of bounds [0 .. 0]
> D:\My Documents\Programming\D\Tests\bugs\string_template1.d(8): cannot
> implicitly convert expression (Reverse!(""[1..0]) ~ cast(int)(""[0])) of type
> int to char[]
> D:\My Documents\Programming\D\Tests\bugs\string_template1.d(8): string index 0
> is out of bounds [0 .. 0]
> D:\My Documents\Programming\D\Tests\bugs\string_template1.d(8): template
> instance string_template1.Reverse!("") error instantiating
> D:\My Documents\Programming\D\Tests\bugs\string_template1.d(8): string index 0
> is out of bounds [0 .. 0]
> D:\My Documents\Programming\D\Tests\bugs\string_template1.d(8): string index 0
> is out of bounds [0 .. 0]
> D:\My Documents\Programming\D\Tests\bugs\string_template1.d(8): string index 0
> is out of bounds [0 .. 0]
> D:\My Documents\Programming\D\Tests\bugs\string_template1.d(8): template
> instance string_template1.Reverse!("e") error instantiating
> D:\My Documents\Programming\D\Tests\bugs\string_template1.d(8): string index 0
> is out of bounds [0 .. 0]
> D:\My Documents\Programming\D\Tests\bugs\string_template1.d(8): string index 0
> is out of bounds [0 .. 0]
> D:\My Documents\Programming\D\Tests\bugs\string_template1.d(8): string index 0
> is out of bounds [0 .. 0]
> D:\My Documents\Programming\D\Tests\bugs\string_template1.d(8): template
> instance string_template1.Reverse!("te") error instantiating
> [and so on....]
> ----------
>
> If the two definitions of template Reverse are swapped, then the code compiles
> and runs correctly.

Added to DStress as
http://dstress.kuehne.cn/compile/t/template_44_A.d
http://dstress.kuehne.cn/compile/t/template_44_B.d

Thomas


-----BEGIN PGP SIGNATURE-----

iD8DBQFFEZkzLK5blCcjpWoRApT/AJ4uytg24UNRfmR6fO+mrVEx9eeF/ACfZ6+L
65qbqePX/9303yq/FqDmMMI=
=wuy3
-----END PGP SIGNATURE-----