www.digitalmars.com         C & C++   DMDScript  

digitalmars.D - Pattern matching value template parameters

reply Andrei Alexandrescu <SeeWebsiteForEmail erdani.org> writes:
Does anyone have a workaround for 
https://issues.dlang.org/show_bug.cgi?id=16428? Thanks! -- Andrei
Aug 25 2016
parent reply Meta <jared771 gmail.com> writes:
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.
Aug 25 2016
parent reply Meta <jared771 gmail.com> writes:
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.
Aug 25 2016
parent Andrei Alexandrescu <SeeWebsiteForEmail erdani.org> writes:
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
Aug 25 2016