Thread overview | ||||||
---|---|---|---|---|---|---|
|
August 25, 2016 Pattern matching value template parameters | ||||
---|---|---|---|---|
| ||||
Does anyone have a workaround for https://issues.dlang.org/show_bug.cgi?id=16428? Thanks! -- Andrei |
August 25, 2016 Re: Pattern matching value template parameters | ||||
---|---|---|---|---|
| ||||
Posted in reply to Andrei Alexandrescu | On Thursday, 25 August 2016 at 14:35:06 UTC, Andrei Alexandrescu wrote:
> Does anyone have a workaround for https://issues.dlang.org/show_bug.cgi?id=16428? Thanks! -- Andrei
I don't get that error message, surprisingly. For your example code from that bug report, I get this error message using 2.071.1:
test.d(4): Error: static assert (is(A!(int, 42) == A!(T, x), __isexp_id52, T, x)) is false
Which certainly looks like a bug to me.
|
August 25, 2016 Re: Pattern matching value template parameters | ||||
---|---|---|---|---|
| ||||
Posted in reply to Meta | On Thursday, 25 August 2016 at 14:53:46 UTC, Meta wrote:
> On Thursday, 25 August 2016 at 14:35:06 UTC, Andrei Alexandrescu wrote:
>> Does anyone have a workaround for https://issues.dlang.org/show_bug.cgi?id=16428? Thanks! -- Andrei
>
> I don't get that error message, surprisingly. For your example code from that bug report, I get this error message using 2.071.1:
>
> test.d(4): Error: static assert (is(A!(int, 42) == A!(T, x), __isexp_id52, T, x)) is false
>
> Which certainly looks like a bug to me.
Sorry, I misunderstood and thought you were getting an error message about matching value parameters from a template declaration. I can confirm that I am experiencing the *same* issue with the assert failing.
|
August 25, 2016 Re: Pattern matching value template parameters | ||||
---|---|---|---|---|
| ||||
Posted in reply to Meta | On 08/25/2016 10:56 AM, Meta wrote:
> On Thursday, 25 August 2016 at 14:53:46 UTC, Meta wrote:
>> On Thursday, 25 August 2016 at 14:35:06 UTC, Andrei Alexandrescu wrote:
>>> Does anyone have a workaround for
>>> https://issues.dlang.org/show_bug.cgi?id=16428? Thanks! -- Andrei
>>
>> I don't get that error message, surprisingly. For your example code
>> from that bug report, I get this error message using 2.071.1:
>>
>> test.d(4): Error: static assert (is(A!(int, 42) == A!(T, x),
>> __isexp_id52, T, x)) is false
>>
>> Which certainly looks like a bug to me.
>
> Sorry, I misunderstood and thought you were getting an error message
> about matching value parameters from a template declaration. I can
> confirm that I am experiencing the *same* issue with the assert failing.
Yah, that's right. The _isexp_id52 is an additional sign something odd is happening. -- Andrei
|
Copyright © 1999-2021 by the D Language Foundation