[m-rev.] for review: Improve coerce mode error messages.

[Peter Wang]

On Mon, 17 May 2021 12:48:32 +1000 Julien Fischer <jfischer at opturion.com> wrote:
> 
> Hi Peter,
> 
> On Mon, 17 May 2021, Peter Wang wrote:
> 
> > On Sat, 15 May 2021 00:06:07 +1000 Julien Fischer <jfischer at opturion.com> wrote:
> >>
> >> Hi Peter,
> >>
> >> On Wed, 12 May 2021, Peter Wang wrote:
> >>
> 
> >>> -coerce_clobbered.m:021:   mode error: `X' has instantiatedness `clobbered',
> >>> -coerce_clobbered.m:021:   but it must be ground.
> >>> +coerce_clobbered.m:021:   mode error: the input term has instantiatedness
> >>> +coerce_clobbered.m:021:   `clobbered', but it must be ground.
> >>
> >> I would be inclined to use "argument" rather than "input term"  (Or
> >> perhaps, "argument term".)
> >
> > Done.
> 
> Looking at one of the revised messages below, I would prefer "argument
> term".
> 

Done.

> >> Also, ground should be quoted there.
> >>
> >
> > It needs to be a ground inst, but not necessarily `ground'.
> 
> Ok, then:
> 
>      but it must have a ground inst.
> 

Done.

Peter