[m-rev.] diff: specify types for insts

[Julien Fischer]

No objections from me.

Julien.

On 8 November 2017 at 16:53, Zoltan Somogyi <zoltan.somogyi at runbox.com>
wrote:

> I am considering adding a compiler option to generate warnings
> for :- inst definitions that don't specify a type despite mentioning
> function symbols, and enabling it for the Mercury system (in the
> directory specific Mmakefiles, not in options.m). Any opinions?
>
> Zoltan.
> _______________________________________________
> reviews mailing list
> reviews at lists.mercurylang.org
> https://lists.mercurylang.org/listinfo/reviews
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20171108/df2dfe9c/attachment.html>