[m-dev.] Array modes

[Julien Fischer]

Hi,

On Sat, 25 Oct 2014, Zoltan Somogyi wrote:

> On Sat, 25 Oct 2014 15:32:10 +1100, Mark Brown <mark at mercurylang.org> wrote:
>> I think these "bogus" constructors are really useful for foreign types
>> that act as containers for Mercury terms, of which arrays are one
>> example, so I don't agree with disallowing them entirely as is
>> suggested in that thread.
>
> I have long thought that having insts that are not bound to a specific type
> is a bad idea. I would even support a change in the language to require
> each inst definition to say what type it is for.

As would I.  I don't think it's going to be possible to ever clear up
<https://www.mercurylang.org/bugs/view.php?id=89> without such a change.

Cheers,
Julien.