[m-users.] Mercury operators explained
jfischer at opturion.com
Wed Feb 19 11:35:12 AEDT 2014
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.
More information about the users