[m-rev.] for post-commit review: fix mantis bug 415

[Zoltan Somogyi]

On Wed, 31 Aug 2016 14:07:55 +1000 (AEST), Julien Fischer <jfischer at opturion.com> wrote:
> Actually, I have one suggestion here.  Since the language allows us to
> omit the inst constraint when the constraint is 'ground', we should do
> the same in error messages.  For example,

That would be trivial to implement, but I am not sure whether it is
a good idea. Regardless of what the language definition says,
I think it is likely that for some users, just "I" will tell them less
about an inst than "I =< ground". I think that error messages
should prioritise clarity ahead of brevity.

What do other people think?

Zoltan.