[m-users.] Mercury operators explained

[Julien Fischer]

On Wed, 19 Feb 2014, Paul Bone wrote:

> On Tue, Feb 18, 2014 at 10:49:23PM +0000, Piotr Trojanek wrote:
>> Thank you both for a detailed and prompt reply!
>>
>> I am making my first steps with Mercury and perhaps I need a less
>> trial-and-error approach. However, I still can not find an explanation
>> of the "=\\=" operator. Is there any other reference/book/guide that I
>> should consult?
>>
>
> I didn't know we had such an operator, I guess I never needed it :-).  I'm
> affraid I don't know where or if it is documented.

There is no "=\\=" operator.  Whoever cut-and-pasted the operator table
into the reference manual neglected to remove the character escapes,
i.e. "=\\=" is really "=\=", "\\+" is really "\+" etc.

Cheers,
Julien.