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

Julien Fischer jfischer at opturion.com
Fri Feb 5 09:27:11 AEDT 2016

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


More information about the reviews mailing list