[m-users.] documentation for foreign_export_enum

[Julien Fischer]

Hi,

On Fri, 22 May 2015, Matthias Güdemann wrote:

> in section 14.5 of the language reference, it is stated that for
>
>> :- pragma foreign_export_enum("Lang", MercuryType, Attributes, Overrides).
>
> "The argument Attributes is a list of optional attributes. If empty,
>  it may be omitted from the ‘pragma foreign_export_enum’ declaration."
>
> But when I omit the Attributes list in mmc 14.01.1, I get the following
> error:
>
>> Error: malformed attributes list in `:- pragma foreign_export_enum' declaration.

The reference manual is incomplete at that point: it should say that the
Attributes argument can only be omitted if it is empty *and* the
Overrides argument is also omitted.

Cheers,
Julien.