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

Julien Fischer jfischer at opturion.com
Wed Nov 8 17:20:17 AEDT 2017

No objections from me.


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

> 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>

More information about the reviews mailing list