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

[Zoltan Somogyi]

On Thu, 09 Nov 2017 17:07:17 +1100 (AEDT), "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.

The attached diff enables the new option by default when compiling
the Mercury system (not other programs).

Zoltan.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.warn_inst_no_type
Type: application/octet-stream
Size: 477 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20171122/b7b46205/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.warn_inst_no_type
Type: application/octet-stream
Size: 3786 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20171122/b7b46205/attachment-0001.obj>