No. subdomain is already part of Spad. Spad implements things this way
but Aldor does not. If I am discussing changing anything it would be
Aldor not Spad.
Bill, I hope I can convince you otherwise during the Aldor meeting or we
can work out something better.
But writing
PositiveInteger == SubDomain(Integer, #1 > 0)
or something similar only *looks* nicer than it actually is. I do not
think that there is any gain from keeping SubDomain in the SPAD language.
Let's report about this after the workshop.
Ralf
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
