[m-rev.] for post-commit review: fix mantis bug 415
zoltan.somogyi at runbox.com
Wed Aug 31 14:46:47 AEST 2016
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?
More information about the reviews