I don't know how Aldor solves this parsing problem, but you certainly know that Aldor allows to write
+: (%, %) -> % for the fixed number of possible operators. The compiler must know something about + anyway since otherwise it would not be possible to use + as an infix operator. Would it be hard to remove the need of quotes in SPAD in this special occasion? I guess SPAD already allows _+: (%, %) -> % but that also looks unnatural. Ralf On 01/09/2008 09:27 AM, Gabriel Dos Reis wrote: > On Wed, 9 Jan 2008, Ralf Hemmecke wrote: > > | AbelianSemiGroup(): Category == SetCategory with > | --operations > | "+": (%,%) -> % ++ x+y computes the sum of x and y. > | "*": (PositiveInteger,%) -> % > > It is a parsing problem. Somehow, the operator needs to be quoted so > that it can be interpreted as a name, instead of a keyword. ------------------------------------------------------------------------- Check out the new SourceForge.net Marketplace. It's the best place to buy or sell services for just about anything Open Source. http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/marketplace _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
