[m-rev.] for review: pragma consider_used

[Zoltan Somogyi]

On Mon, 14 Dec 2015 10:12:30 +1100 (AEDT), Julien Fischer <jfischer at opturion.com> wrote:
> > I will add public documentation once we have a consensus on
> > the name.
> 
> The concept and name are fine by me.

The proposed documentation is attached.

> > As the log message says, I have tested the diff on stratify.m.
> > After two or three weeks, when this diff has been installed
> > on all our development systems, I intend to add these pragmas
> > to the compiler itself, so separate test cases aren't needed.
> 
> Not quite; presumably the pragmas cannot refer to non-existent
> predicates, so there should be a test case add to tests/invalid for
> that.

Done.

I intend to commit a diff that uses the new pragma in the compiler
in two weeks, on dec 28. Please tell me if that is too soon,
and you haven't installed a compiler with this diff by then.

Zoltan.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.cu2
Type: application/octet-stream
Size: 1732 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20151214/b35044ae/attachment.obj>