Martin Rubey <[EMAIL PROTECTED]> writes:
| Dear Gaby, Waldek,
|
| Waldek Hebisch <[EMAIL PROTECTED]> writes:
|
| > I have just removed support for a few constructs that I consider
| > obsolete:
| > - usage of '(|', '|)', '(<' and '>)' insted of '[', ']', '{' and '}'
| > - APL like syntax for maps
| > - "scripted symbols" in the Spad parser.
| >
| > Rationalle: I would like to merge old and new parser -- those constructs
| > were present only in old parser. IMHO they are useless (while
| > "scripted symbols" may be usefull, the implementation was useless).
|
| I wonder whether Gaby didn't do similar things in open-axiom already? Does
| open-axiom still have the two different parsers "old" and "new"?
I have different perspective on those tokens. I don't think they
are used that much to mean their alternatives. So, I agree
that the alternate tokens to mean the same thing is obfuscation.
However, I do intent to retain them -- to mean something different.
Recently OpenAxiom introduces '[|' and '|]' in the old parser to mean
something else -- they are already part of the new parser.
-- Gaby
-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
open-axiom-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel