[mercury-users] Mercury grammar definition

Julien Fischer juliensf at csse.unimelb.edu.au
Tue Jul 3 04:57:55 AEST 2012


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

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

More information about the users mailing list