> In OpenAxiom-1.2.0, you can use { } to construct sets directly.
Gaby,
I don't know whether you want to make SPAD syntax more similar to Aldor,
but in case Integer and Set(Integer) are the only things in scope, what
should
a := {1}
stand for?
Would the compiler complain because of ambiguities or what type would
'a' have?
If braces are allowed to enclose blocks of code (like in Aldor), I don't
think the set construction with braces is a good idea.
Just my 2 cents.
Ralf
-------------------------------------------------------------------------
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
