[m-rev.] for review: combined higher-order types and insts

[Zoltan Somogyi]

On Fri, 5 Feb 2016 00:44:22 +1100, Mark Brown <mark at mercurylang.org> wrote:
> Some of the errors are not very pertinent, because the parser allows
> for the type '::'/2 to be defined. Should it?

I vote no.

Zoltan.