[m-rev.] for review: reserve builtin inst and mode names

[Julien Fischer]

On Mon, 24 Aug 2015, Zoltan Somogyi wrote:

>>> Any opinions? And any opinions about doing the same for type definitions?
>>> E.g. should a user module be able to define ":- type int ---> ..."?
>>
>> Builtin types: yes.
>
> Yes to which sentence? Yes, do the same for type defns, or yes,
> users *should* be able to define :- type int ---> ...?

Sorry, I meant do the same for type defns (in fact, there's already an
XXX comment to that effect in library/builtin.m), users should *not* be
able to define :- type int ---> ..., etc.

>> Standard library types: definitely not (just in case you were thinking
>> of that too!)
>
> From this, it seems you mean the former. Can you confirm that?

Yes.

Julien.