Do you want me to repoduce the behaviour on the Sandbox?
I think what you were trying to show is easily possible.
Yes please reproduce on another SandBox page and a little
later today I will see if I can solve the problem.
On
http://wiki.axiom-developer.org/SandBoxDomainNotValid
you'll find the construction with the macro instead of the category.
a: CI := new(2, 1)
Complex2 Integer is not a valid type.
Interestingly, if one really expends the macro by hand, then Aldor
allows a construction of the form
A: with {foo: % -> %} with == add {...}
Well, it looks weird, but I think the language definition doesn't forbid
that.
Ralf
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
