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.