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

[Zoltan Somogyi]

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.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.for
Type: text/x-fortran
Size: 668 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20171108/4fec965f/attachment-0002.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.for
Type: text/x-fortran
Size: 43985 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20171108/4fec965f/attachment-0003.bin>