[dmd-beta] dmd 1.062 and 2.047 beta

[Rainer Schuetze]

Hi Andrei,

I think Walter has just committed a fix for this. See  
http://d.puremagic.com/issues/show_bug.cgi?id=4302

I could not verify it yet, because the current dmd/phobos combination 
causes an error for me

std\xml.d(373): Error: cannot implicitly convert expression 
(result.data()) of type string to char[]
std\xml.d(1148): Error: template instance std.xml.encode!(char[]) error 
instantiating

This seems to have to crept in with the recent Appender changes.

Rainer

Andrei Alexandrescu wrote:
> Hello Rainer,
>
> Catching up with my email backlog. Was there a fix on this issue?
>
> Andrei
>
> On 6/11/10 11:30 PDT, Rainer Schuetze wrote:
>> Hi,
>>
>> I've tried to untangle the startsWith code, and here's the minimal test
>> case I could come up with so far:
>>
>> ///////////////////////
>> template binaryFunImpl(bool b)
>> {
>> template Body()
>> {
>> static assert(b);
>> alias bool BodyType;
>> }
>> alias Body!().BodyType ReturnType; // line 9
>> }
>>
>> uint startsWith(A)(A a) if (is(binaryFunImpl!(true ).ReturnType)) {
>> return 1; }
>> uint startsWith(A)(A a) if (is(binaryFunImpl!(false).ReturnType)) {
>> return 0; } // line 13
>>
>> const uint var = startsWith(1);
>> ///////////////////////
>> dmd produces:
>>
>> test.d(6): Error: static assert (b) is false
>> test.d(9): instantiated from here: Body!()
>> test.d(13): instantiated from here: binaryFunImpl!(false)
>>
>> The error does not show up if var is not const. Also, dmd 2.032 to 2.045
>> do not produce this error (2.046 fails), so it must be some compiler
>> regression.
>>
>> As it seems, the compile time evaluation of startsWith uses the wrong
>> specialization. Maybe, it is just not gagging error output?
>>
>> Any other ideas? I have not yet dived too deep into the template code of
>> the compiler, but if nobody has a better clue (and time), I can give it
>> a try.
>>
>> Rainer
>>
>> Andrei Alexandrescu wrote:
>>> Thanks. It may take a while before I can tend to this. Could someone
>>> else look at it?
>>>
>>> Andrei
>>>
>>> On 06/10/2010 12:53 PM, Rainer Schuetze wrote:
>>>> Sorry, but it still doesn't work. The error occurs when the expression
>>>> is evaluated at compile time, so the code added to the unittest 
>>>> does not
>>>> cover the issue.
>>>>
>>>> Rainer
>>>>
>>>> Andrei Alexandrescu wrote:
>>>>> Apologies. svn up should fix it, and bring some more goodies too :o).
>>>>>
>>>>> Andrei
>>>>>
>>>>> On 06/10/2010 10:14 AM, Don Clugston wrote:
>>>>>> const bool fails = startsWith("ab", "a");
>>>>> _______________________________________________
>>>>> dmd-beta mailing list
>>>>> dmd-beta at puremagic.com
>>>>> http://lists.puremagic.com/mailman/listinfo/dmd-beta
>>>>>
>>>>
>>>> _______________________________________________
>>>> dmd-beta mailing list
>>>> dmd-beta at puremagic.com
>>>> http://lists.puremagic.com/mailman/listinfo/dmd-beta
>>>
>>
>> _______________________________________________
>> dmd-beta mailing list
>> dmd-beta at puremagic.com
>> http://lists.puremagic.com/mailman/listinfo/dmd-beta
> _______________________________________________
> dmd-beta mailing list
> dmd-beta at puremagic.com
> http://lists.puremagic.com/mailman/listinfo/dmd-beta
>