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 <dle...@angelbase.com> To: FPC-Pascal users discussions <fpc-pascal@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@lists.freepascal.org > http://lists.freepascal.org/mailman/listinfo/fpc-pascal -- Best Regards, J.-c. Chu _______________________________________________ fpc-pascal maillist - fpc-pascal@lists.freepascal.org http://lists.freepascal.org/mailman/listinfo/fpc-pascal