[fpc-pascal] commutative operators

[Jetcheng Chu]

I think you need to make sure that `a' and `b' are in the same algebraic
system before making the commutativity of the operator meaningful.
Maybe you can merge `one_type' with `another_type' into a common type,
or cast one to the other?

----- Original Message -----
Subject: [fpc-pascal] commutative operators
From: David Emerson <dle3ab at angelbase.com>
To: FPC-Pascal users discussions <fpc-pascal at lists.freepascal.org>
Time: Wed, 29 Dec 2010 10:38:14 -0800
MUA: KMail/1.9.9

> suppose I define an operator:
> 
> operator + (a: one_type; b: another_type) : one_type;
> 
> Is there any way to specify that it should be "commutative", so I don't have to 
> additionally define the reverse:
> 
> operator + (a: another_type; b: one_type) : one_type;
> 
> Thanks
> ~David.
> 
> _______________________________________________
> fpc-pascal maillist  -  fpc-pascal at lists.freepascal.org
> http://lists.freepascal.org/mailman/listinfo/fpc-pascal

-- 
Best Regards,
J.-c. Chu