[mercury-users] Mercury grammar definition

[Julien Fischer]

Hi,

On Mon, 2 Jul 2012, Gabor Bakos wrote:

>> Like Prolog, Mercury allows user-defined operators, so it is not clear
>> to me how you can build an LL(1) parser unless it can process those
>> declarations.

> Yeah, I did know about this from Prolog, but I thought in Mercury these
> are more limited, ex. they can have only precedence 120, they should be
> between backquotes ("a name, a module qualified name (see The module
> system
> <http://www.mercury.csse.unimelb.edu.au/information/doc-release/mercury_ref/The-module-system.html#The-module-system>),
> or a variable between grave accents (backquotes)"). Could you please
> provide a link to this definition?

Richard is mistaken, Mercury does not support Prolog style user-defined
operators.

Julien.
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------