Discussion:
template constraint diagnostics
(too old to reply)
Trass3r via Digitalmars-d
2014-10-15 17:29:33 UTC
Permalink


I wish we had diagnostics like that in D.
Atila Neves via Digitalmars-d
2014-10-16 08:21:27 UTC
Permalink
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
2014-10-16 13:08:15 UTC
Permalink
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
2014-10-16 21:12:16 UTC
Permalink
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
2014-10-16 21:18:08 UTC
Permalink
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
2014-10-17 06:00:03 UTC
Permalink
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!
--
Marco
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 473 bytes
Desc: not available
URL: <http://lists.puremagic.com/pipermail/digitalmars-d/attachments/20141017/53a6799b/attachment.sig>
Continue reading on narkive:
Loading...