[m-rev.] for review: improve instance diagostics

[Zoltan Somogyi]

On Thu, 28 Jun 2018 03:16:46 +1000 (AEST), Julien Fischer <jfischer at opturion.com> wrote:
> > compiler/check_typeclass.m:
> >     When a type is an instance declaration is not a type constructor,
> >     don't just say what it is; say also what it should be.
> 
> s/is an/in an/
> 
> >     When a type is an instance declaration is a type constructor but some
> 
> Ditto

Done, in both copies.

> That looks fine otherwise.

Thanks for the review.

Zoltan.