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

[Zoltan Somogyi]

On Wed, 8 Nov 2017 17:20:17 +1100, Julien Fischer <jfischer at opturion.com> wrote:

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

Ok, the attached diff adds this option. The inst definitions I modified
an hour ago were all found by this new option.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.inst_no_type
Type: application/octet-stream
Size: 449 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20171109/69821f5c/attachment-0002.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.inst_no_type
Type: application/octet-stream
Size: 6302 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20171109/69821f5c/attachment-0003.obj>