On Wed, 9 Jan 2008, Francois Maltey wrote:

| 
| Hello Gabriel and all !
| 
| > On Wed, 9 Jan 2008, Ralf Hemmecke wrote:
| > 
| > | I guess SPAD already allows
| > | 
| > |    _+: (%, %) -> %
| > 
| > This is what I refered to earlier as `the operator needs to be quoted
| > somehow'
| 
| Is it possible to add easily an operator in the interpreter ?

With a table based parser, that is easy to do; but the interpreter
uses a hand-written recursive descent parser.

| 
| Suppose I test with students :
| star (x, y) == x + y - x*y
| 
| Then I prefer the command (x *%* y) *%* z to star (star (x, y), z)...

If you use domains, you can overload + and *.

-- Gaby

-------------------------------------------------------------------------
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

Reply via email to