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

[Julien Fischer]

On Fri, 5 Feb 2016, Zoltan Somogyi wrote:

> 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.

Ditto; I also suggest not allowing types to be named ':'.

Julien.