template constraint diagnostics

[Trass3r via Digitalmars-d]

I wish we had diagnostics like that in D.

[Atila Neves via Digitalmars-d]

Same here. I've been thinking of a DIP for a while, just haven't
had time to put it together.

Atila

Post by Trass3r via Digitalmars-d
http://youtu.be/qwXq5MqY2ZA
I wish we had diagnostics like that in D.

[Steven Schveighoffer via Digitalmars-d]

Same here. I've been thinking of a DIP for a while, just haven't had
time to put it together.
Atila

Post by Trass3r via Digitalmars-d
http://youtu.be/qwXq5MqY2ZA
I wish we had diagnostics like that in D.

It would be nice.

I don't think it would be too difficult. You are analyzing an expression
that evaluates to false, and it wouldn't take much to dig down to find
out which subexpressions cause the false to occur.

-Steve

[Trass3r via Digitalmars-d]

Post by Steven Schveighoffer via Digitalmars-d
I don't think it would be too difficult. You are analyzing an
expression that evaluates to false, and it wouldn't take much
to dig down to find out which subexpressions cause the false to
occur.

I think it's not that straightforward in dmd as it simply
delegates the constraint to the interpreter and uses the
resulting bool.

[ketmar via Digitalmars-d]

On Thu, 16 Oct 2014 21:12:16 +0000

Post by Trass3r via Digitalmars-d
I think it's not that straightforward in dmd as it simply
delegates the constraint to the interpreter and uses the
resulting bool.

as there is no parallel execution, evaluator can store results in
expression objects. and then simple visitor can do what it wants with
this results.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 181 bytes
Desc: not available
URL: <http://lists.puremagic.com/pipermail/digitalmars-d/attachments/20141017/0a938316/attachment.sig>

[Marco Leise via Digitalmars-d]

Am Fri, 17 Oct 2014 00:18:08 +0300

Post by ketmar via Digitalmars-d
On Thu, 16 Oct 2014 21:12:16 +0000

Post by Trass3r via Digitalmars-d
I think it's not that straightforward in dmd as it simply
delegates the constraint to the interpreter and uses the
resulting bool.

as there is no parallel execution, evaluator can store results in
expression objects. and then simple visitor can do what it wants with
this results.

ketmar gtfo ... oh wait, that's a great idea actually!